|
131
|
1 /* { dg-options "-fdiagnostics-show-caret -Wpointer-sign" } */
|
|
111
|
2
|
|
|
3 /* A collection of calls where argument 2 is of the wrong type. */
|
|
|
4
|
|
|
5 /* decl, with argname. */
|
|
|
6
|
|
|
7 extern int callee_1 (int one, const char *two, float three); /* { dg-line callee_1 } */
|
|
|
8
|
|
|
9 int test_1 (int first, int second, float third)
|
|
|
10 {
|
|
|
11 return callee_1 (first, second, third); /* { dg-warning "passing argument 2 of 'callee_1' makes pointer from integer without a cast" } */
|
|
|
12 /* { dg-begin-multiline-output "" }
|
|
|
13 return callee_1 (first, second, third);
|
|
|
14 ^~~~~~
|
|
131
|
15 |
|
|
|
16 int
|
|
111
|
17 { dg-end-multiline-output "" } */
|
|
|
18 /* { dg-message "expected 'const char \\*' but argument is of type 'int'" "" { target *-*-* } callee_1 } */
|
|
|
19 /* { dg-begin-multiline-output "" }
|
|
|
20 extern int callee_1 (int one, const char *two, float three);
|
|
|
21 ~~~~~~~~~~~~^~~
|
|
|
22 { dg-end-multiline-output "" } */
|
|
|
23 }
|
|
|
24
|
|
|
25 /* decl, without argname. */
|
|
|
26
|
|
|
27 extern int callee_2 (int, const char *, float); /* { dg-line callee_2 } */
|
|
|
28
|
|
|
29 int test_2 (int first, int second, float third)
|
|
|
30 {
|
|
|
31 return callee_2 (first, second, third); /* { dg-warning "passing argument 2 of 'callee_2' makes pointer from integer without a cast" } */
|
|
|
32 /* { dg-begin-multiline-output "" }
|
|
|
33 return callee_2 (first, second, third);
|
|
|
34 ^~~~~~
|
|
131
|
35 |
|
|
|
36 int
|
|
111
|
37 { dg-end-multiline-output "" } */
|
|
|
38 /* { dg-message "expected 'const char \\*' but argument is of type 'int'" "" { target *-*-* } callee_2 } */
|
|
|
39 /* { dg-begin-multiline-output "" }
|
|
|
40 extern int callee_2 (int, const char *, float);
|
|
|
41 ^~~~~~~~~~~~
|
|
|
42 { dg-end-multiline-output "" } */
|
|
|
43 }
|
|
|
44
|
|
|
45 /* defn, with argname. */
|
|
|
46
|
|
|
47 static int callee_3 (int one, const char *two, float three) /* { dg-line callee_3 } */
|
|
|
48 {
|
|
|
49 return callee_2 (one, two, three);
|
|
|
50 }
|
|
|
51
|
|
|
52 int test_3 (int first, int second, float third)
|
|
|
53 {
|
|
|
54 return callee_3 (first, second, third); // { dg-warning "passing argument 2 of 'callee_3' makes pointer from integer without a cast" }
|
|
|
55 /* { dg-begin-multiline-output "" }
|
|
|
56 return callee_3 (first, second, third);
|
|
|
57 ^~~~~~
|
|
131
|
58 |
|
|
|
59 int
|
|
111
|
60 { dg-end-multiline-output "" } */
|
|
|
61 /* { dg-message "expected 'const char \\*' but argument is of type 'int'" "" { target *-*-* } callee_3 } */
|
|
|
62 /* { dg-begin-multiline-output "" }
|
|
|
63 static int callee_3 (int one, const char *two, float three)
|
|
|
64 ~~~~~~~~~~~~^~~
|
|
|
65 { dg-end-multiline-output "" } */
|
|
|
66 }
|
|
|
67
|
|
|
68 /* Trivial decl, with argname. */
|
|
|
69
|
|
|
70 extern int callee_4 (int one, float two, float three); /* { dg-line callee_4 } */
|
|
|
71
|
|
|
72 int test_4 (int first, const char *second, float third)
|
|
|
73 {
|
|
|
74 return callee_4 (first, second, third); /* { dg-error "incompatible type for argument 2 of 'callee_4'" } */
|
|
|
75 /* { dg-begin-multiline-output "" }
|
|
|
76 return callee_4 (first, second, third);
|
|
|
77 ^~~~~~
|
|
131
|
78 |
|
|
|
79 const char *
|
|
111
|
80 { dg-end-multiline-output "" } */
|
|
|
81 /* { dg-message "expected 'float' but argument is of type 'const char \\*'" "" { target *-*-* } callee_4 } */
|
|
|
82 /* { dg-begin-multiline-output "" }
|
|
|
83 extern int callee_4 (int one, float two, float three);
|
|
|
84 ~~~~~~^~~
|
|
|
85 { dg-end-multiline-output "" } */
|
|
|
86 }
|
|
|
87
|
|
|
88 /* Trivial decl, without argname. */
|
|
|
89
|
|
|
90 extern int callee_5 (int, float, float); /* { dg-line callee_5 } */
|
|
|
91
|
|
|
92 int test_5 (int first, const char *second, float third)
|
|
|
93 {
|
|
|
94 return callee_5 (first, second, third); /* { dg-error "incompatible type for argument 2 of 'callee_5'" } */
|
|
|
95 /* { dg-begin-multiline-output "" }
|
|
|
96 return callee_5 (first, second, third);
|
|
|
97 ^~~~~~
|
|
131
|
98 |
|
|
|
99 const char *
|
|
111
|
100 { dg-end-multiline-output "" } */
|
|
|
101 /* { dg-message "expected 'float' but argument is of type 'const char \\*'" "" { target *-*-* } callee_5 } */
|
|
|
102 /* { dg-begin-multiline-output "" }
|
|
|
103 extern int callee_5 (int, float, float);
|
|
|
104 ^~~~~
|
|
|
105 { dg-end-multiline-output "" } */
|
|
|
106 }
|
|
|
107
|
|
|
108 /* Callback with name. */
|
|
|
109
|
|
|
110 extern int callee_6 (int one, int (*two)(int, int), float three); /* { dg-line callee_6 } */
|
|
|
111
|
|
|
112 int test_6 (int first, int second, float third)
|
|
|
113 {
|
|
|
114 return callee_6 (first, second, third); /* { dg-warning "passing argument 2 of 'callee_6' makes pointer from integer without a cast" } */
|
|
|
115 /* { dg-begin-multiline-output "" }
|
|
|
116 return callee_6 (first, second, third);
|
|
|
117 ^~~~~~
|
|
131
|
118 |
|
|
|
119 int
|
|
111
|
120 { dg-end-multiline-output "" } */
|
|
|
121 /* { dg-message " expected 'int \\(\\*\\)\\(int, int\\)' but argument is of type 'int'" "" { target *-*-* } callee_6 } */
|
|
|
122 /* { dg-begin-multiline-output "" }
|
|
|
123 extern int callee_6 (int one, int (*two)(int, int), float three);
|
|
|
124 ~~~~~~^~~~~~~~~~~~~~
|
|
|
125 { dg-end-multiline-output "" } */
|
|
|
126 }
|
|
|
127
|
|
|
128 /* Callback without name. */
|
|
|
129
|
|
|
130 extern int callee_7 (int one, int (*)(int, int), float three); /* { dg-line callee_7 } */
|
|
|
131
|
|
|
132 int test_7 (int first, int second, float third)
|
|
|
133 {
|
|
|
134 return callee_7 (first, second, third); /* { dg-warning "passing argument 2 of 'callee_7' makes pointer from integer without a cast" } */
|
|
|
135 /* { dg-begin-multiline-output "" }
|
|
|
136 return callee_7 (first, second, third);
|
|
|
137 ^~~~~~
|
|
131
|
138 |
|
|
|
139 int
|
|
111
|
140 { dg-end-multiline-output "" } */
|
|
|
141 /* { dg-message " expected 'int \\(\\*\\)\\(int, int\\)' but argument is of type 'int'" "" { target *-*-* } callee_7 } */
|
|
|
142 /* { dg-begin-multiline-output "" }
|
|
|
143 extern int callee_7 (int one, int (*)(int, int), float three);
|
|
|
144 ^~~~~~~~~~~~~~~~~
|
|
|
145 { dg-end-multiline-output "" } */
|
|
|
146 }
|
|
131
|
147
|
|
|
148 /* -Wincompatible-pointer-types for a parameter. */
|
|
|
149
|
|
|
150 extern int callee_8 (int one, float *two, float (three)); /* { dg-line callee_8 } */
|
|
|
151
|
|
|
152 int test_8 (int first, int *second, float third)
|
|
|
153 {
|
|
|
154 return callee_8 (first, second, third); /* { dg-warning "passing argument 2 of 'callee_8' from incompatible pointer type" } */
|
|
|
155 /* { dg-begin-multiline-output "" }
|
|
|
156 return callee_8 (first, second, third);
|
|
|
157 ^~~~~~
|
|
|
158 |
|
|
|
159 int *
|
|
|
160 { dg-end-multiline-output "" } */
|
|
|
161 /* { dg-message "expected 'float \\*' but argument is of type 'int \\*'" "" { target *-*-* } callee_8 } */
|
|
|
162 /* { dg-begin-multiline-output "" }
|
|
|
163 extern int callee_8 (int one, float *two, float (three));
|
|
|
164 ~~~~~~~^~~
|
|
|
165 { dg-end-multiline-output "" } */
|
|
|
166 }
|
|
|
167
|
|
|
168 /* -Wpointer-sign for a parameter. */
|
|
|
169
|
|
|
170 extern int callee_9 (int one, int *two, float (three)); /* { dg-line callee_9 } */
|
|
|
171
|
|
|
172 int test_9 (int first, unsigned int *second, float third)
|
|
|
173 {
|
|
|
174 return callee_9 (first, second, third); /* { dg-warning "pointer targets in passing argument 2 of 'callee_9' differ in signedness" } */
|
|
|
175 /* { dg-begin-multiline-output "" }
|
|
|
176 return callee_9 (first, second, third);
|
|
|
177 ^~~~~~
|
|
|
178 |
|
|
|
179 unsigned int *
|
|
|
180 { dg-end-multiline-output "" } */
|
|
|
181 /* { dg-message "expected 'int \\*' but argument is of type 'unsigned int \\*'" "" { target *-*-* } callee_9 } */
|
|
|
182 /* { dg-begin-multiline-output "" }
|
|
|
183 extern int callee_9 (int one, int *two, float (three));
|
|
|
184 ~~~~~^~~
|
|
|
185 { dg-end-multiline-output "" } */
|
|
|
186 }
|
