]>
Commit | Line | Data |
---|---|---|
9c233ad0 MS |
1 | /* PR tree-optimization/92157 - incorrect strcmp() == 0 result for unknown |
2 | strings​ | |
3 | { dg-do run } | |
4 | { dg-options "-O2 -Wall" } */ | |
5 | ||
6 | #include "strlenopt.h" | |
7 | ||
8 | ||
9 | char a2[2], a3[3]; | |
10 | ||
11 | ||
12 | static inline __attribute__ ((always_inline)) int | |
13 | verify_not_equal (const char *s, const char *t, int x) | |
14 | { | |
15 | int n = x < 0 ? strlen (s) : 0 < x ? strlen (t) : strlen (s) + strlen (t); | |
16 | ||
17 | if (strcmp (t, s) == 0) | |
18 | abort (); | |
19 | ||
20 | return n; | |
21 | } | |
22 | ||
23 | __attribute__ ((noipa)) int test_a2_s (const char *s) | |
24 | { | |
25 | return verify_not_equal (a2, s, 0); | |
26 | } | |
27 | ||
28 | __attribute__ ((noipa)) int test_a2_a3 (void) | |
29 | { | |
30 | return verify_not_equal (a2, a3, 0); | |
31 | } | |
32 | ||
33 | __attribute__ ((noipa)) int test_a3_a2 (void) | |
34 | { | |
35 | return verify_not_equal (a3, a2, 0); | |
36 | } | |
37 | ||
38 | __attribute__ ((noipa)) int test_s_a2 (const char *s) | |
39 | { | |
40 | return verify_not_equal (s, a2, 0); | |
41 | } | |
42 | ||
43 | ||
44 | __attribute__ ((noipa)) int test_a2_s_1 (const char *s) | |
45 | { | |
46 | return verify_not_equal (a2, s, -1); | |
47 | } | |
48 | ||
49 | __attribute__ ((noipa)) int test_a2_a3_1 (void) | |
50 | { | |
51 | return verify_not_equal (a2, a3, -1); | |
52 | } | |
53 | ||
54 | __attribute__ ((noipa)) int test_a3_a2_1 (void) | |
55 | { | |
56 | return verify_not_equal (a3, a2, -1); | |
57 | } | |
58 | ||
59 | __attribute__ ((noipa)) int test_s_a2_1 (const char *s) | |
60 | { | |
61 | return verify_not_equal (s, a2, -1); | |
62 | } | |
63 | ||
64 | ||
65 | __attribute__ ((noipa)) int test_a2_s_2 (const char *s) | |
66 | { | |
67 | return verify_not_equal (a2, s, +1); | |
68 | } | |
69 | ||
70 | __attribute__ ((noipa)) int test_a2_a3_2 (void) | |
71 | { | |
72 | return verify_not_equal (a2, a3, +1); | |
73 | } | |
74 | ||
75 | __attribute__ ((noipa)) int test_a3_a2_2 (void) | |
76 | { | |
77 | return verify_not_equal (a3, a2, +1); | |
78 | } | |
79 | ||
80 | __attribute__ ((noipa)) int test_s_a2_2 (const char *s) | |
81 | { | |
82 | return verify_not_equal (s, a2, +1); | |
83 | } | |
84 | ||
85 | int main (void) | |
86 | { | |
87 | a2[0] = '1'; | |
88 | a3[0] = '1'; | |
89 | a3[0] = '2'; | |
90 | ||
91 | test_a2_s (""); | |
92 | test_a2_a3 (); | |
93 | test_a3_a2 (); | |
94 | test_s_a2 (""); | |
95 | ||
96 | test_a2_s_1 (""); | |
97 | test_a2_a3_1 (); | |
98 | test_a3_a2_1 (); | |
99 | test_s_a2_1 (""); | |
100 | ||
101 | test_a2_s_2 (""); | |
102 | test_a2_a3_2 (); | |
103 | test_a3_a2_2 (); | |
104 | test_s_a2_2 (""); | |
105 | } |