[Bug ada/13142] gnat1 generating call to library 'setjmp', not using __buitin_setjmp

[charlet at gcc dot gnu dot org]

------- Additional Comments From charlet at gcc dot gnu dot org  2003-11-21 13:05 -------
The change can't hurt, so you can go ahead and make it if it indeed
improves things.

Arno

-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13142