------- 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

Reply via email to