------- Comment #7 from hubicka at gcc dot gnu dot org 2010-09-03 20:28 ------- In #5 the expression is created by PRE via create_expression_by_pieces that uses normal fold that is not able of constant variable folding. The statement does not get folded later and survives. I guess one can fold all statements in commit_edge_insertions but it seems by symptomatic?
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45522