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.