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++;
}
}
