Mercurial > hg > CbC > CbC_gcc

annotate gcc/testsuite/gcc.dg/attr-nonstring-2.c @ 131:84e7813d76e9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents
children 1830386684a0
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
131
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
1 /* PR middle-end/81384 - built-in form of strnlen missing
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
2 { dg-do compile }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
3 { dg-options "-O2 -Wall -ftrack-macro-expansion=0" } */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
4
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
5 #include "range.h"
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
6
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
7 extern void* memcpy (void*, const void*, size_t);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
8 extern size_t strnlen (const char*, size_t);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
9
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
10 #define NONSTRING __attribute__ ((nonstring))
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
11
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
12 #define _CAT(s, n) s ## n
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
13 #define CAT(s, n) _CAT (s, n)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
14 #define UNIQ(n) CAT (n, __LINE__)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
15
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
16 void sink (size_t, ...);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
17
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
18 #define T(expr) sink (expr)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
19
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
20 void test_strnlen_array_cst (void)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
21 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
22 NONSTRING char ns3[3];
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
23 sink (0, ns3); // "initialize" ns3
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
24
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
25 T (strnlen (ns3, 0));
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
26 T (strnlen (ns3, 1));
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
27 T (strnlen (ns3, 2));
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
28 T (strnlen (ns3, 3));
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
29 T (strnlen (ns3, 4)); /* { dg-warning "argument 1 declared attribute .nonstring. is smaller than the specified bound 4" } */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
30 T (strnlen (ns3, DIFF_MAX)); /* { dg-warning "argument 1 declared attribute .nonstring. is smaller than the specified bound \[0-9\]+" } */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
31 T (strnlen (ns3, SIZE_MAX)); /* { dg-warning "specified bound \[0-9\]+ exceeds maximum object size \[0-9\]+" } */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
32
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
33 NONSTRING char ns5[5];
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
34 sink (0, ns5);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
35
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
36 T (strnlen (ns5, 0));
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
37 T (strnlen (ns5, 1));
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
38 T (strnlen (ns5, 2));
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
39 T (strnlen (ns5, 3));
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
40 T (strnlen (ns5, 6)); /* { dg-warning "argument 1 declared attribute .nonstring. is smaller than the specified bound 6" } */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
41 T (strnlen (ns5, DIFF_MAX)); /* { dg-warning "argument 1 declared attribute .nonstring. is smaller than the specified bound \[0-9\]+" } */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
42 T (strnlen (ns5, SIZE_MAX)); /* { dg-warning "specified bound \[0-9\]+ exceeds maximum object size \[0-9\]+" } */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
43 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
44
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
45
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
46 void test_strnlen_array_range (void)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
47 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
48 NONSTRING char ns3[3];
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
49 sink (0, ns3); // "initialize" ns3
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
50
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
51 T (strnlen (ns3, UR (0, 3)));
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
52 T (strnlen (ns3, UR (0, 9)));
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
53 T (strnlen (ns3, UR (3, 4)));
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
54 T (strnlen (ns3, UR (3, DIFF_MAX)));
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
55 T (strnlen (ns3, UR (4, 5))); /* { dg-warning "argument 1 declared attribute .nonstring. is smaller than the specified bound \\\[4, 5]" } */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
56 T (strnlen (ns3, UR (DIFF_MAX, SIZE_MAX))); /* { dg-warning "argument 1 declared attribute .nonstring. is smaller " } */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
57 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
58
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
59
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
60 #undef T
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
61 #define T(N, init, nelts, bound) \
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
62 do { \
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
63 extern NONSTRING char UNIQ (arr)[N]; \
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
64 memcpy (UNIQ (arr), init, nelts); \
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
65 sink (strnlen (UNIQ (arr), bound), UNIQ (arr)); \
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
66 } while (0)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
67
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
68 void test_strnlen_string_cst (void)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
69 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
70 T (3, "1", 2, 1);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
71 T (3, "1", 2, 2);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
72 T (3, "1", 2, 3);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
73 T (3, "12", 3, 1);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
74 T (3, "12", 3, 9);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
75 T (3, "123", 3, 1);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
76 T (3, "123", 3, 4); /* { dg-warning "argument 1 declared attribute .nonstring. is smaller than the specified bound 4" "bug 86688" { xfail *-*-* } } */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
77 T (3, "123", 3, 9); /* { dg-warning "argument 1 declared attribute .nonstring. is smaller than the specified bound 9" "bug 86688" { xfail *-*-* } } */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
78
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
79 T (5, "1", 2, 1);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
80 T (5, "1", 2, 2);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
81 T (5, "1", 2, 9);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
82
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
83 T (5, "12", 3, 1);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
84 T (5, "12", 3, 9);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
85 T (5, "123", 3, 1);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
86 T (5, "123", 3, 5);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
87 T (5, "123", 3, 6); /* { dg-warning "argument 1 declared attribute .nonstring. is smaller than the specified bound 6" } */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
88
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
89 /* Strnlen shouldn't trigger a warning for arrays of unknown size
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
90 (except for accesses to uninitialized elements when those are
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
91 detected). */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
92 T (/* [] */, "1", 1, 1);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
93 T (/* [] */, "1", 1, 2);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
94 T (/* [] */, "1", 2, 1);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
95 T (/* [] */, "1", 2, 2);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
96 T (/* [] */, "1", 2, 3);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
97 T (/* [] */, "1", 2, 9);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
98 T (/* [] */, "1", 2, DIFF_MAX);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
99 T (/* [] */, "1", 2, SIZE_MAX);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
100
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
101 size_t n = DIFF_MAX;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
102 T (/* [] */, "123", 3, n);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
103 T (/* [] */, "123", 3, n + 1); /* { dg-warning "specified bound \[0-9\]+ exceeds maximum object size " } */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
104 n = SIZE_MAX;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
105 T (/* [] */, "123", 3, n); /* { dg-warning "specified bound \[0-9\]+ exceeds maximum object size " } */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
106 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
107
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
108
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
109 void test_strnlen_string_range (void)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
110 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
111 T (3, "1", 2, UR (0, 1));
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
112 T (3, "1", 2, UR (3, 9));
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
113 T (3, "123", 3, UR (4, 5)); /* { dg-warning "argument 1 declared attribute .nonstring. is smaller than the specified bound \\\[4, 5]" "bug 86688" { xfail *-*-* } } */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
114 T (3, "123", 3, UR (5, 9)); /* { dg-warning "argument 1 declared attribute .nonstring. is smaller than the specified bound \\\[5, 9]" "bug 86688" { xfail *-*-* } } */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
115 }