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

[veksler at il dot ibm.com]

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

--- Comment #3 from Michael Veksler <veksler at il dot ibm.com> 2011-01-30 12:39:04 UTC ---
Created attachment 23168
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=23168
This is a minimal file to reproduce this error

Strange, it got lost somehow. Here it is, again.