------- Comment #3 from rguenth at gcc dot gnu dot org 2010-08-26 09:46 ------- Well, you need flow-sensitive analysis to figure out that when visiting ss.j += 88; you can assume that ss.j is still 2.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45410
