> > Why not > > > > if (gcState.signalIsPending and 0 == gcState.canHandle) > > GC_gc (&gcState, ...); > > That seems reasonable to me. > > > If we do this, then we could tweak signal check insertion to know that > > blocks with atomicEnd automatically break loops. > > That won't fall out automatically from the fact that atomicEnd get's > translated to a GC_gc? Good point.