[Bug middle-end/52142] [trans-mem] inlined transaction_pure functions are instrumented

[rguenth at gcc dot gnu.org]

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

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2012-02-07
     Ever Confirmed|0                           |1

--- Comment #2 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-02-07 09:27:46 UTC ---
You'd need to lower transaction_pure into some IL constructs (similar to
how stmts only throw if they are in EH tables, or similar to how we set
TREE_NO_TRAP).  The other variant would be to never inline transaction_pure
functions into non-transaction_pure functions (see can_inline_edge_p
for how we for example check DECL_FUNCTION_SPECIFIC_OPTIMIZATION there).