> Apparently the authors of the SPARC psABI thought that the last part of your > sentence is an interpolation and that the (historical) requirements were > vague enough to allow their interpretation, IOW that the compiler can do > the work.
And, as PR target/83368 showed, both the GNU and the Solaris libc make use of the leeway given by the psABI for setjmp at least in some cases. -- Eric Botcazou
