summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.dg/tree-ssa/vrp101.c
blob: 95b4d2b05a8735faf8ecc372e4165b24553a7e5a (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
/* { dg-do compile } */
/* { dg-options "-O2 -fdump-tree-optimized" } */

int x = 1;

int main ()
{
  int t = (1/(1>=x))>>1;
  if (t != 0) __builtin_abort();
  return 0;
}

/* { dg-final { scan-tree-dump "<bb 2> \\\[local count: \[0-9INV\]*\\\]:\[\n\r \]*return 0;" "optimized" } } */