icc 17.0.1 miscompiles valid C code at -O2 (only) 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 -Os small.c; ./a.out
$ icc -O3 small.c; ./a.out
$
$ icc -O2 small.c
$ ./a.out
Segmentation fault (core dumped)
$
$ cat small.c
int a, *b, c, d;

int fn1 ()
{
  int e = 0;
  for (; e < 4; e++)
    if (d && *b)
      break;
  if (e & a)
    while (1)
      ;
  return c;
}

int main ()
{
  fn1 ();
  return 0;
}
$