icc 17.0.1 miscompiles valid C code at all optimization levels (including -O0) 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 

$ gcc -O0 small.c; ./a.out
$ clang -O0 small.c; ./a.out
$
$ icc -O0 small.c
$ timeout -s 9 10 ./a.out
Killed
$
$ cat small.c
int main ()
{
  goto L1;
  if (0) {
  L2:
    ;
  }
  else {
  L1:
    goto L2;
  }
  return 0;
}
$