]> git.ipfire.org Git - thirdparty/gcc.git/blame - gcc/testsuite/gcc.dg/pr55236.c
Update copyright years.
[thirdparty/gcc.git] / gcc / testsuite / gcc.dg / pr55236.c
CommitLineData
9abd8e8b
JJ
1/* PR tree-optimization/55236 */
2/* { dg-do run } */
3/* { dg-options "-O2 -fwrapv" } */
4
5extern void abort ();
6
7__attribute__((noinline, noclone)) void
8foo (int i)
9{
10 if (i > 0)
11 abort ();
12 i = -i;
13 if (i < 0)
14 return;
15 abort ();
16}
17
18__attribute__((noinline, noclone)) void
19bar (int i)
20{
21 if (i > 0 || (-i) >= 0)
22 abort ();
23}
24
25int
26main ()
27{
28 foo (-__INT_MAX__ - 1);
29 bar (-__INT_MAX__ - 1);
30 return 0;
31}