1  /* { dg-do run } */
       2  /* { dg-additional-options "-fdisable-tree-evrp" } */
       3  
       4  unsigned char c;
       5  
       6  int main() {
       7  volatile short b = 4066;
       8    unsigned short bp = b;
       9    unsigned d = bp & 2305;
      10    signed char e = d;
      11    c = e ? : e;
      12    if (!d)
      13      __builtin_abort ();
      14    return 0;
      15  }