This is the mail archive of the
mailing list for the GCC project.
Re: [PATCH] Make alias_sets_conflict_p less conservative
> This is because the the type based rules (at least for C) say "access
> through pointer char can validly alias anything" but not "access
> through pointer to anything can validly alias char".
I note there is no char * in sight there. Are we, by some chance, assigning
char to alias set zero? That seems wrong. Rather char * should be
marked as type-pointed-to-can-alias-all.