------- Comment #3 from rguenth at gcc dot gnu dot org 2008-03-06 10:10 ------- Actually, CCP propagates the invariant address in
D.1547_2 = &"/dev/ptyXX"[8]; *D.1547_2 ={v} 1; which we cannot undo easily, so we indeed should fold the stmt to a trap representation. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35468