------- Comment #1 from rguenth at gcc dot gnu dot org 2008-04-22 22:17 -------
Confirmed. The tree level gets this right and we expand from
# VUSE <SMT.4_7(D)>
D.1761 = *p;
# SMT.5_9 = VDEF <SMT.5_8(D)>
*D.1761 = 1;
# SMT.5_10 = VDEF <SMT.5_9>
**q = 2;
if (*D.1761 != 2)
and cse1 removes the comparison.
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |rguenth at gcc dot gnu dot
| |org
Status|UNCONFIRMED |NEW
Ever Confirmed|0 |1
Keywords| |wrong-code
Known to fail| |4.1.3 4.3.0
Known to work| |4.0.4 4.2.3
Last reconfirmed|0000-00-00 00:00:00 |2008-04-22 22:17:50
date| |
Summary|Wrong code involving |[4.1/4.3 Regression] Wrong
|restricted pointers to non- |code involving restricted
|restricted pointers |pointers to non-restricted
| |pointers
Target Milestone|--- |4.1.3
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36013
