On Tue, Jan 3, 2012 at 9:36 AM, Eric Botcazou <ebotca...@adacore.com> wrote: >> AFAICT, we previously wanted to handle "restart safety" by adding >> abnormal edges to all calls to the TM runtime library (which could in >> turn call the libitm longjmp that actually restarts a transaction). >> Richard mentioned that we could drop this code (I think he meant this, >> and others pieces perhaps) if the returns-twice approach works. > > Why does the explicit CFG approach not work exactly? cfun->calls_setjmp is > thought to be quite a big hammer.
Indeed. And I wonder if it really works - given the restrictions on automatic variable use with these functions (IIRC you have to be careful and mark them all 'volatile'). Richard. > -- > Eric Botcazou
