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

Reply via email to