This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] Remove special-casing of PTR_IS_REF_ALL pointers from alias analysis
> ? What do you think PTR_IS_REF_ALL was doing?
A more clever flow-insensitive alias analysis when PTA punts.
> ? I merely changed flow-insensitive aliasing to treat all pointed-to
> alias set zero memory like TYPE_REF_CAN_ALIAS_ALL. This shows that
> flow-insensitive aliasing for TYPE_REF_CAN_ALIAS_ALL pointers is broken.
Didn't you overlook the is_escape_site bits? If TYPE_REF_CAN_ALIAS_ALL was
not set on the relevant types, this would indeed break.
> TYPE_REF_CAN_ALIAS_ALL itself is not very well tested (two or three
> testcases, ada only and not in a torture).
Remember when Daniel was saying it was an abomination? ;-)
--
Eric Botcazou