Displaying 1 result from an estimated 1 matches for "hardekopf07".
Did you mean:
hardekopf
2015 Jun 15
2
[LLVMdev] Expressing ambiguous points-to info in AliasAnalysis::alias(...) results?
On Mon, Jun 15, 2015 at 11:02 AM, Daniel Berlin <dberlin at dberlin.org> wrote:
> Points-to analysis on LLVM-IR itself is fine (see the current CFL-AA,
> or the old deleted andersen's implementations), and giving may-alias
> and no-alias results also works. Giving must-alias answers, however,
> is difficult.
>
> In particular, i would not simply ignore some types of