This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] Repair TYPE_REF_CAN_ALIAS_ALL machinery
> Actually, if you marked these things ECF_MALLOC, it would notice and
> generate HEAP variables for them.
Yes, this is the fix I've installed locally. :-) If I understand correctly,
it is sufficient to make the first testcase pass because point-to analysis
can compute the exact alias set of the ref-all pointer, even if the strict
aliasing rules are violated. So I can probably avoid touching the ref-all
pointers that have a NMT "naturally".
Btw, I'm not sure creating NMT's is necessary since I think I also need to
create SMT's for non-SSA pointers. And TYPE_REF_CAN_ALIAS_ALL is a property
of pointer types so 1 SMT per TYPE_REF_CAN_ALIAS_ALL type would be enough.
--
Eric Botcazou