diff options
Diffstat (limited to 'gcc-4.8.1/gcc/testsuite/gcc.dg/tree-ssa/vrp28.c')
-rw-r--r-- | gcc-4.8.1/gcc/testsuite/gcc.dg/tree-ssa/vrp28.c | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/gcc-4.8.1/gcc/testsuite/gcc.dg/tree-ssa/vrp28.c b/gcc-4.8.1/gcc/testsuite/gcc.dg/tree-ssa/vrp28.c deleted file mode 100644 index 6b2a1fd6b..000000000 --- a/gcc-4.8.1/gcc/testsuite/gcc.dg/tree-ssa/vrp28.c +++ /dev/null @@ -1,32 +0,0 @@ -/* { dg-do compile } */ -/* { dg-options "-O2 -fdump-tree-vrp1" } */ - -int f(_Bool a) -{ - int t = a; - if (t != 2) - return 0; - return 1; -} - -int f1(unsigned char a) -{ - int t = a; - if (t != 256) - return 0; - return 1; -} - -int f3 (unsigned char c) -{ - int i = c; - if (i < 0 || i > 255) - return -1; - else - return 0; -} - -/* { dg-final { scan-tree-dump-times "if " 0 "vrp1" } } * / -/* { dg-final { cleanup-tree-dump "vrp1" } } */ - - |