http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60043

--- Comment #2 from Andrey Belevantsev <abel at gcc dot gnu.org> ---
And indeed, if we change the test case to

int foo (long long *a, short *b, int n)
{
  int k = *b + 1000;
  *a = (long long) (n * 100);

  return k;
}

then we get the desired anti-dependency because alias.c:write_dependence will
dispatch to rtx_refs_may_alias_p with tbaa_p = false.  So I don't see an issue
here wrt the ML thread discussion.

Reply via email to