summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.dg/tree-ssa/vrp101.c
blob: aad41f91f4746388fd31cc010f603791ae29e902 (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> \\\[\[0-9.\]+%\\\] \\\[count: \[0-9INV\]*\\\]:\[\n\r \]*return 0;" "optimized" { xfail aarch64*-*-* } } } */