annotate gcc/testsuite/gcc.dg/torture/pr94392.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 /* { dg-do compile } */
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
2 /* { dg-skip-if "finite loops" { *-*-* } { "-ffinite-loops" } } */
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
3 /* { dg-skip-if "LTO optimizes the test" { *-*-* } { "-flto" } } */
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
4 /* { dg-additional-options "-fdump-tree-optimized" } */
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
5
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
6 int a, b;
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
7
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
8 int
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
9 main()
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
10 {
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
11 while (1)
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
12 {
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
13 /* Try really hard. */
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
14 if (a != b)
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
15 return 1;
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
16 }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
17 return 0;
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
18 }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
19
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
20 /* ISO C does not guarantee forward progress like C++ does so we
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
21 cannot assume the loop is finite and optimize it to return 1. */
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
22 /* { dg-final { scan-tree-dump "if" "optimized" } } */