| #include <stdint.h> |
| #include <stddef.h> |
| #include <stdlib.h> |
| #include <stdio.h> |
| |
| int test_1(int ly) __attribute__((noinline)); |
| int test_1(int ly) { |
| if (ly <= INT32_MIN) |
| ly = INT32_MIN + 1; |
| |
| return ly; |
| } |
| |
| int test_2(int ly) __attribute__((noinline)); |
| int test_2(int ly) { |
| if (INT32_MIN >= ly) |
| ly = INT32_MIN + 1; |
| |
| return ly; |
| } |
| |
| int main () { |
| int x = 37; |
| |
| printf ("x = %d (0x%x)\n", x, x); |
| |
| int r1 = test_1(x); |
| printf ("test_1(x) = %d (0x%x)\n", r1, r1); |
| |
| int r2 = test_2(x); |
| printf ("test_2(x) = %d (0x%x)\n", r2, r2); |
| |
| return 0; |
| } |