On Sat, Aug 20, 2016 at 06:09:15PM -0700, H. Peter Anvin wrote: > >Sorry for the bogus noise. I don't know why I was so convinced setjmp > >needed special gcc semantics. > > > > Linus > > I think the specific name setjmp() is magic in gcc.
It is; attribute equivalent is returns_twice. I wonder if "explicitly clobber everything if we got false" + asm volatile to prevent reordering would suffice for our purposes, but that's really a question for gcc folks...
