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

update gcc11
author anatofuz
date Mon, 25 May 2020 07:50:57 +0900
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
152
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
1 /* PR rtl-optimization/90311 */
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
2
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
3 int a, b;
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
4
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
5 int
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
6 main ()
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
7 {
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
8 unsigned long long x;
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
9 unsigned int c;
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
10 __builtin_add_overflow ((unsigned char) a, b, &c);
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
11 b -= c < (unsigned char) a;
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
12 x = b;
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
13 if (x)
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
14 __builtin_abort ();
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
15 return 0;
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
16 }