http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52142
--- Comment #4 from Aldy Hernandez <aldyh at gcc dot gnu.org> 2012-02-14 15:15:36 UTC --- Created attachment 26659 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=26659 proposed patch Actually Richard (rth), the restriction is less strict than that. We are currently disallowing inling of TM_pure functions into TM_safe functions. Should we be disallowing TM_pure functions into non-TM_pure functions? This approach (attached) definitely fixes the PR. Please let me know so I can formally submit this patch. p.s. FYI, the original disallowing came here: http://gcc.gnu.org/ml/gcc-patches/2011-01/msg01003.html