icc 17.0.1 miscompiles valid C code at -O1 and above on x86_64-linux-gnu

Compiler version and platform: 

Intel(R) C Intel(R) 64 Compiler for applications running on Intel(R) 64, Version 17.0.1.132 Build 20161005 

$ icc -O0 small.c; ./a.out
0
$
$ icc -O1 small.c; ./a.out
1
$
$
$ cat small.c
int printf (const char *, ...);

int a[1];
static char b = 1;

int foo ()
{
  while (0)
    while (1)
      return b;
  return a[0];
}

int main ()
{
  printf ("%d\n", foo ());
  return 0;
}
$