annotate gcc/testsuite/gcc.c-torture/execute/20031003-1.c @ 152:2b5abeee2509

update gcc11
author anatofuz
date Mon, 25 May 2020 07:50:57 +0900
parents 1830386684a0
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 /* PR optimization/9325 */
kono
parents:
diff changeset
2
kono
parents:
diff changeset
3 #include <limits.h>
kono
parents:
diff changeset
4
kono
parents:
diff changeset
5 extern void abort (void);
kono
parents:
diff changeset
6
kono
parents:
diff changeset
7 int f1()
kono
parents:
diff changeset
8 {
kono
parents:
diff changeset
9 return (int)2147483648.0f;
kono
parents:
diff changeset
10 }
kono
parents:
diff changeset
11
kono
parents:
diff changeset
12 int f2()
kono
parents:
diff changeset
13 {
kono
parents:
diff changeset
14 return (int)(float)(2147483647);
kono
parents:
diff changeset
15 }
kono
parents:
diff changeset
16
kono
parents:
diff changeset
17 int main()
kono
parents:
diff changeset
18 {
kono
parents:
diff changeset
19 #if INT_MAX == 2147483647
kono
parents:
diff changeset
20 if (f1() != 2147483647)
kono
parents:
diff changeset
21 abort ();
kono
parents:
diff changeset
22 if (f2() != 2147483647)
kono
parents:
diff changeset
23 abort ();
kono
parents:
diff changeset
24 #endif
kono
parents:
diff changeset
25 return 0;
kono
parents:
diff changeset
26 }
kono
parents:
diff changeset
27