On Mon, Oct 8, 2012 at 1:42 PM, Ludovic Courtès <l...@gnu.org> wrote: > Richard Guenther <richard.guent...@gmail.com> skribis: > >> On Mon, Oct 8, 2012 at 11:58 AM, Ludovic Courtès <l...@gnu.org> wrote: >>> Richard Guenther <richard.guent...@gmail.com> skribis: >>> >>>> At -O0 no virtual operands are produced. TODO_rebuild_alias only computes >>>> points-to sets which are in itself not useful. >>>> >>>> What do you want to achieve with TODO_rebuild_alias? >>> >>> I basically want to use ‘ptr_derefs_may_alias_p’ in this particular pass. >> >> That should work. > > It actually does, except that ‘ptr_derefs_may_alias_p’ returns true for > two SSA names in cases like this: > > double *p, *q; > p = malloc (123); > q = malloc (234); > > (Where ‘malloc’ has the ‘malloc’ attribute.) > > For some reason, there’s no such false positive when using TODO_rebuild_alias.
Well, "that should work" means it works non-conservatively with TODO_rebuild_alias, of course. Richard. > Ludo’.