]>
Commit | Line | Data |
---|---|---|
9abd8e8b JJ |
1 | /* PR tree-optimization/55236 */ |
2 | /* { dg-do run } */ | |
3 | /* { dg-options "-O2 -fwrapv" } */ | |
4 | ||
5 | extern void abort (); | |
6 | ||
7 | __attribute__((noinline, noclone)) void | |
8 | foo (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 | |
19 | bar (int i) | |
20 | { | |
21 | if (i > 0 || (-i) >= 0) | |
22 | abort (); | |
23 | } | |
24 | ||
25 | int | |
26 | main () | |
27 | { | |
28 | foo (-__INT_MAX__ - 1); | |
29 | bar (-__INT_MAX__ - 1); | |
30 | return 0; | |
31 | } |