This is the mail archive of the gcc-bugs@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

[Bug tree-optimization/54935] No way to do if converison


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).


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]