On 02/14/2012 10:39 AM, Torvald Riegel wrote: > Will it inline transaction_pure into transaction_callable too? That > would not be good if we actually instrument the transaction_callable.
No, it restricts pure into pure and into nothing else. > Inlining transaction_pure into completely nontransactional code is fine > though. We don't know what is in fact "nontransactional code" until we've examined the entire call graph. And as far as the information available at the spot that Aldy is patching, we don't have all the call graph info anyway. r~
