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

p.p1 {margin: 0.0px 0.0px 0.0px 0.0px; font: 18.0px Menlo; color: #000000; background-color: #ffffff}
span.s1 {font-variant-ligatures: no-common-ligatures}

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
$
$ icc -O1 small.c
$ ./a.out
Aborted (core dumped)
$
$ cat small.c
struct
{
  int a:2;
  int b:4;
} volatile c = { 0, 2 };

int main ()
{
  if (!(c.a < 1 && c.a < 1))
    __builtin_abort ();
  return 0;
}
$

p.p1 {margin: 0.0px 0.0px 0.0px 0.0px; font: 18.0px Menlo; color: #000000; background-color: #ffffff}
span.s1 {font-variant-ligatures: no-common-ligatures}