annotate gcc/testsuite/g++.dg/tree-ssa/strlenopt-1.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 /* PR tree-optimization/92765 - wrong code for strcmp of a union member
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
2 { dg-do run }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
3 { dg-options "-O2 -Wall" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
4
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
5 typedef __SIZE_TYPE__ size_t;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
6
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
7 inline void* operator new (size_t, void *p)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
8 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
9 return p;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
10 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
11
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
12 struct A { char a2[2]; };
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
13 struct B { char a4[4]; };
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
14
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
15 __attribute__((noipa)) void
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
16 sink (void*) { }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
17
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
18 __attribute__((noipa)) void
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
19 copy (char *d, const char *s)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
20 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
21 while ((*d++ = *s++));
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
22 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
23
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
24 __attribute__((noipa)) void
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
25 store_and_compare (void *p)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
26 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
27 A *a = new (p) A;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
28 sink (a->a2);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
29
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
30 B *b = new (p) B;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
31 char *q = (char *) b->a4;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
32 copy (q, "abc");
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
33
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
34 if (__builtin_strcmp (q, "abc"))
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
35 __builtin_abort ();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
36 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
37
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
38 int main ()
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
39 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
40 char a [sizeof (A) > sizeof (B) ? sizeof (A) : sizeof (B)];
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
41 store_and_compare (a);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
42 }