annotate gcc/testsuite/gcc.c-torture/execute/pr48197.c @ 145:1830386684a0

gcc-9.2.0
author anatofuz
date Thu, 13 Feb 2020 11:34:05 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 /* PR c/48197 */
kono
parents:
diff changeset
2
kono
parents:
diff changeset
3 extern void abort (void);
kono
parents:
diff changeset
4 static int y = 0x8000;
kono
parents:
diff changeset
5
kono
parents:
diff changeset
6 int
kono
parents:
diff changeset
7 main ()
kono
parents:
diff changeset
8 {
kono
parents:
diff changeset
9 unsigned int x = (short)y;
kono
parents:
diff changeset
10 if (sizeof (0LL) == sizeof (0U))
kono
parents:
diff changeset
11 return 0;
kono
parents:
diff changeset
12 if (0LL > (0U ^ (short)-0x8000))
kono
parents:
diff changeset
13 abort ();
kono
parents:
diff changeset
14 if (0LL > (0U ^ x))
kono
parents:
diff changeset
15 abort ();
kono
parents:
diff changeset
16 if (0LL > (0U ^ (short)y))
kono
parents:
diff changeset
17 abort ();
kono
parents:
diff changeset
18 if ((0U ^ (short)-0x8000) < 0LL)
kono
parents:
diff changeset
19 abort ();
kono
parents:
diff changeset
20 if ((0U ^ x) < 0LL)
kono
parents:
diff changeset
21 abort ();
kono
parents:
diff changeset
22 if ((0U ^ (short)y) < 0LL)
kono
parents:
diff changeset
23 abort ();
kono
parents:
diff changeset
24 return 0;
kono
parents:
diff changeset
25 }