annotate gcc/testsuite/gcc.dg/strcmpopt_11.c @ 145:1830386684a0

gcc-9.2.0
author anatofuz
date Thu, 13 Feb 2020 11:34:05 +0900
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
145
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
1 /* Verify that strcmp doesn't make assumptions about the size of a weak
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
2 symbol.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
3 { dg-do compile }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
4 { dg-options "-O2 -Wall" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
5
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
6 /* An ordinary definition of A with more elements might be provided
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
7 in another translation unit. Even though that would be undefined
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
8 (the type of the actual definition must be the same as the type
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
9 of the weak declaration) this test verifies that GCC doesn't rely
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
10 on the size of this A for optimization (as a matter of QoI). */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
11 __attribute__ ((weak)) char a[3];
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
12
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
13 int cmp_a3_x (void)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
14 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
15 return __builtin_strcmp (a, "1234567") == 0;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
16 }