1 /* { dg-do compile } */
2 /* { dg-options "-O -fdump-tree-ccp1" } */
3 
4 /* Make sure we propagate through builtins.  */
5 
foo(unsigned b)6 int foo (unsigned b)
7 {
8   unsigned t = -1;
9   int x = b <= t;
10   long l = __builtin_expect (x, 0);
11   return l;
12 }
13 
14 /* { dg-final { scan-tree-dump "return 1;" "ccp1" } } */
15