This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/54935] No way to do if converison
- From: "rguenth at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Tue, 27 Nov 2012 09:16:01 +0000
- Subject: [Bug tree-optimization/54935] No way to do if converison
- Auto-submitted: auto-generated
- References: <bug-54935-4@http.gcc.gnu.org/bugzilla/>
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).