blob: 1efe0168577438805a80c0f69f7256072a3aeaa5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
#include <limits.h>
extern void abort (void);
static __attribute__((noinline)) void foo (int a)
{
int b = (a - 1) + INT_MIN;
if (b != INT_MIN)
abort ();
}
int main (void)
{
foo (1);
return 0;
}
|