icc 17.0.0 miscompiles valid C code at -Os, -O2 and -O3 on x86_64-linux-gnu

[Zhendong_Su]

Compiler version and platform: 

Intel(R) C Intel(R) 64 Compiler for applications running on Intel(R) 64, Version 17.0.0.098 Build 20160721

$ icc -O1 small.c; ./a.out
$    
$ icc -Os small.c
$ timeout -s 9 10 ./a.out
Killed
$ 
$ cat small.c
char a, b = 1;

int main ()
{
  for (; a < 1; a++)
    for (; b; b++)
      ;
  return 0; 
}
$ 

[Melanie_B_Intel]

I added this test case to (internal bug tracking number) DPD200415454.  it looks like the same bug.  Thank you.

[Zhendong_Su]

Thank you, Melanie.