https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83685
--- Comment #1 from Matthias Klose <doko at gcc dot gnu.org> --- $ cat score.i int b; char c; int _setjmp(); void a(); void d() { int e; while (b) { if (_setjmp()) a(e); if (c) { e--; a(); } e++; } }