------- Comment #40 from ebotcazou at gcc dot gnu dot org 2006-10-03 14:13 ------- > Agreed. The Ada FE should either change or prove that there is a > design/implementation flaw in the aliasing machinery.
I think we can prove that there is a discrepancy between the Tree type-based aliasing analysis and the RTL type-based aliasing analysis when these flags are set, i.e. they don't agree on the alias set used to access some objects. Where they should meet is unclear for the time being... -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25737
