------- Comment #5 from rguenth at gcc dot gnu dot org 2009-02-03 09:08 ------- The testcase lays the way to proof that whatever PTA ends up putting in the ESCAPED solution (which includes all globals) TBAA disambiguation on these is invalid. This basically means that TBAA is nearly useless, as if PTA has more precise information we can as well use that.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38964