[thirdparty/gcc.git] / gcc / testsuite / gcc.dg / tree-ssa / vrp101.c

/* { 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" } } */
Commit	Line	Data
90b72e84 RB	1	/* { dg-do compile } */
	2	/* { dg-options "-O2 -fdump-tree-optimized" } */
	3
	4	int x = 1;
	5
	6	int main ()
	7	{
	8	int t = (1/(1>=x))>>1;
	9	if (t != 0) __builtin_abort();
	10	return 0;
	11	}
	12
c8ce479d	13	/* { dg-final { scan-tree-dump "<bb 2> \\\[local count: \[0-9INV\]\\\]:\[\n\r \]return 0;" "optimized" } } */