[Bug tree-optimization/102131] [12 Regression] wrong code at -O1 and above on x86_64-linux-gnu since r12-3136

[zhendong.su at inf dot ethz.ch via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102131

--- Comment #9 from Zhendong Su <zhendong.su at inf dot ethz.ch> ---
Perhaps the following is due to the same root cause?

[558] % gcctk -O0 small.c; ./a.out
[559] % gcctk -O1 small.c; ./a.out
Aborted
[560] % cat small.c
int a;
int main() {
  unsigned b = 0;
  for (a = 2; a < 8; a += 2)
    if (++b > a)
      __builtin_abort();
  return 0;
}