------- Comment #5 from pinskia at gcc dot gnu dot org 2007-05-22 02:09 ------- pointer plus branch helps out with the heap allocated memory, may_alias gets less confused with them. It does not fully fix this bug but it does help out. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=2462