1 /* { dg-do run } */
2 /* { dg-additional-options "-fdisable-tree-evrp" } */
3 
4 unsigned char c;
5 
main()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 }
16