blob: 063617f5b9c18a86434f988583a8ff7fe7dedf80 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
/* PR middle-end/111151 */
int
main ()
{
unsigned a = (1U + __INT_MAX__) / 2U;
unsigned b = 1U;
unsigned c = (a * 2U > b * 2U ? a * 2U : b * 2U) * 2U;
if (c != 0U)
__builtin_abort ();
int d = (-__INT_MAX__ - 1) / 2;
int e = 10;
int f = (d * 2 > e * 5 ? d * 2 : e * 5) * 6;
if (f != 300)
__builtin_abort ();
int g = (-__INT_MAX__ - 1) / 2;
int h = 0;
int i = (g * 2 > h * 5 ? g * 2 : h * 5) / -1;
if (i != 0)
__builtin_abort ();
}
|