Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/gcc.dg/tree-ssa/vrp69.c @ 131:84e7813d76e9
gcc-8.2
author | mir3636 |
---|---|
date | Thu, 25 Oct 2018 07:37:49 +0900 |
parents | 04ced10e8804 |
children |
line wrap: on
line source
/* { dg-do link } */ /* { dg-options "-O2 -fdump-tree-vrp1" } */ #include "vrp.h" void test1(int i, int j) { RANGE(i, 1, 5); RANGE(j, 7, 10); CHECK_RANGE(i + j, 8, 15); } #define UINT_MAX 2*(unsigned)__INT_MAX__ + 1 void test2(unsigned int i) { RANGE(i, UINT_MAX - 0x4, UINT_MAX - 0x1); CHECK_ANTI_RANGE(i + 0x2, 0x1, UINT_MAX - 0x3); } void test3(unsigned int i) { RANGE(i, UINT_MAX - 0x4, UINT_MAX - 0x1); CHECK_RANGE(i + 0x5, 0x0, 0x3); } void test4(unsigned int i) { RANGE(i, 2, 4); CHECK_ANTI_RANGE(i - 4, 1, UINT_MAX - 2); } void test5(unsigned int i) { RANGE(i, 2, 4); CHECK_RANGE(i - 8, UINT_MAX - 5, UINT_MAX - 3); } int main() {} /* { dg-final { scan-tree-dump-times "link_error" 0 "vrp1" } } */