> 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. -- Eric Botcazou