------- Comment #2 from steven at gcc dot gnu dot org 2009-01-17 18:05 ------- That code is ancient, and wrong from day 1 if your analysis is correct :-) http://gcc.gnu.org/viewcvs/trunk/gcc/alias.c?r1=21967&r2=23060
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38879