------- Comment #12 from rguenth at gcc dot gnu dot org 2008-06-11 14:17 ------- The warning happens also with the pointer being ref-all as the alias warning code asks for the alias set of the pointed-to type. Thus it probably makes sense to give that alias-set zero as well (or rather special-case the alias check, as tree-ssa-alias.c:may_alias_p does).
I have a patch. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36369