http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54935
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Last reconfirmed| |2012-11-27
Ever Confirmed|0 |1
--- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> 2012-11-27
09:16:01 UTC ---
ISTR the argument that one can do mprotect on allocated memory, thus one way
to relax this is to see if the access is to a decl and check if that resides
in .rodata. Other than that there is of course the issue of introducing
store data races - thus if !write_memrefs_written_at_least_once we may
not introduce an unconditional store in the C++ memory model (or in the
transactional memory model).
