[Bug c++/47541] [4.5/4.6 Regression] For integer pointers, the value of ++*p is not written back to memory

[jakub at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47541

--- Comment #7 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-01-31 
15:57:28 UTC ---
Created attachment 23180
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=23180
pr47541.ii

For Richard:
x86_64-linux, trunk from today, ./cc1plus -O2 -fdump-tree-alias
-fdump-tree-dse-all pr47541.ii
;; Function virtual void B::Push(Wrapper) (_ZN1B4PushE7Wrapper)
...
Deleted dead store '*D.10321_19 = D.10324_22;
'
and the delete is invalid.
*.alias has:
ptr = &PARM_NOALIAS.204.64+64
D.10321_19 = *ptr + 128
...
D.10321_19 = { }
...
D.10321_19, points-to vars: { }