Вот суть ошибки по анализу кода на С.

Вот так хорошо (вынесvertв глобальные):
## Код:
```
l30:
  i10 = i6>=0;
  i11 = BugFix__vert;
  if (!i10) goto l38;
  if (i11) goto l35;
  i3 = i3+i2;
```


А вот так плохо:
## Код:
```
l30:
  i12 = i8>=0;
  if (!i12) goto l38;
  if ((i5>i4)) goto l35;
  i3 = i3+i2;
  y = i3;
```


Вместо переменной компилятор подставляет выражение i5>i4.