]>
git.ipfire.org Git - thirdparty/gcc.git/blob - gcc/testsuite/gcc.dg/tree-ssa/pr61839_4.c
5c026c89c7d128db00d570c95ef6d222acd01dcc
1 /* PR tree-optimization/61839. */
3 /* { dg-options "-O2 -fdump-tree-vrp1 -fdump-tree-optimized" } */
4 /* { dg-require-effective-target int32plus } */
6 __attribute__ ((noinline
))
7 int foo (int a
, unsigned b
)
10 if (b
>= 1 && b
<= ((unsigned)(-1) - 1))
22 volatile unsigned b
= (unsigned)(-1);
26 /* Scan for ~[1, 4294967294] >> 4 in function foo. */
27 /* { dg-final { scan-tree-dump-times "0 : 268435455" 1 "vrp1" } } */
28 /* { dg-final { scan-tree-dump-times "268435455" 0 "optimized" } } */