blob: 8df557cddaab0711fb2514accb8a2457d619651a [file] [log] [blame]
/* { dg-require-effective-target int32plus } */
extern void exit (int);
extern void abort ();
void test(unsigned int a, unsigned int b)
{
if (a < 5)
abort();
if (b < 5)
abort();
if (a + b != 0U)
abort();
}
int main(int argc, char *argv[])
{
unsigned int x = 0x80000000;
test(x, x);
exit (0);
}