xref: /petsc/src/sys/tests/linter/output/testReferences.out (revision fbf9dbe564678ed6eff1806adbc4c4f01b9743f4) 
1<--- FIXED --->
2--------------------------------------------------------------------------------------------
3ERROR 0: ./src/sys/tests/linter/testReferences.c:18:26
4'-1' of type 'int'
5  16:
6  17: /* incorrect */
7> 18: PetscValidPointer(foo, -1);
8                             ^^
9  19: PetscValidPointer(bar, -2);
10  20: PetscValidPointer(baz, -3);
11
12Argument number doesn't match for 'foo'. Expected '1', found '-1' [-fmatching-arg-num]
13
14./src/sys/tests/linter/testReferences.c:7:39 Note: 'foo' is traceable to argument #1 'v' in enclosing function here:
15  5: void extractFunc(PetscViewer, void **);
16  6:
17> 7: PetscErrorCode testOutOfLineReference(PetscViewer v, PetscViewer v2)
18                                           ^^^^^^^^^^^^^
19  8: {
20  9:   /* linter should be able to connect all of these to v */
21
22./src/sys/tests/linter/testReferences.c:18:21 Note: starting with 'foo' of type 'void *'
23  16:
24  17: /* incorrect */
25> 18: PetscValidPointer(foo, -1);
26                        ^^^
27  19: PetscValidPointer(bar, -2);
28  20: PetscValidPointer(baz, -3);
29
30./src/sys/tests/linter/testReferences.c:10:17 Note: via 'v' of type 'PetscViewer' (a.k.a. '_p_PetscViewer *')
31  8 : {
32  9 :   /* linter should be able to connect all of these to v */
33> 10:   void  *foo  = v->data, *bar, *baz, *blop;
34                      ^
35  11:   void **blip = &v->data;
36  12:
37
38ERROR 1: ./src/sys/tests/linter/testReferences.c:19:26
39'-2' of type 'int'
40  17: /* incorrect */
41  18: PetscValidPointer(foo, -1);
42> 19: PetscValidPointer(bar, -2);
43                             ^^
44  20: PetscValidPointer(baz, -3);
45  21: PetscValidPointer((void *)v->data, -4);
46
47Argument number doesn't match for 'bar'. Expected '1', found '-2' [-fmatching-arg-num]
48
49./src/sys/tests/linter/testReferences.c:7:39 Note: 'bar' is traceable to argument #1 'v' in enclosing function here:
50  5: void extractFunc(PetscViewer, void **);
51  6:
52> 7: PetscErrorCode testOutOfLineReference(PetscViewer v, PetscViewer v2)
53                                           ^^^^^^^^^^^^^
54  8: {
55  9:   /* linter should be able to connect all of these to v */
56
57./src/sys/tests/linter/testReferences.c:19:21 Note: starting with 'bar' of type 'void *'
58  17: /* incorrect */
59  18: PetscValidPointer(foo, -1);
60> 19: PetscValidPointer(bar, -2);
61                        ^^^
62  20: PetscValidPointer(baz, -3);
63  21: PetscValidPointer((void *)v->data, -4);
64
65./src/sys/tests/linter/testReferences.c:13:10 Note: via 'v' of type 'PetscViewer' (a.k.a. '_p_PetscViewer *')
66  11: void **blip = &v->data;
67  12:
68> 13: bar  = v->data;
69             ^
70  14: blop = blip[0];
71  15: extractFunc(v, &baz);
72
73ERROR 2: ./src/sys/tests/linter/testReferences.c:20:26
74'-3' of type 'int'
75  18: PetscValidPointer(foo, -1);
76  19: PetscValidPointer(bar, -2);
77> 20: PetscValidPointer(baz, -3);
78                             ^^
79  21: PetscValidPointer((void *)v->data, -4);
80  22: PetscValidPointer(*blip, -5);
81
82Argument number doesn't match for 'baz'. Expected '1', found '-3' [-fmatching-arg-num]
83
84./src/sys/tests/linter/testReferences.c:7:39 Note: 'baz' is traceable to argument #1 'v' in enclosing function here:
85  5: void extractFunc(PetscViewer, void **);
86  6:
87> 7: PetscErrorCode testOutOfLineReference(PetscViewer v, PetscViewer v2)
88                                           ^^^^^^^^^^^^^
89  8: {
90  9:   /* linter should be able to connect all of these to v */
91
92./src/sys/tests/linter/testReferences.c:20:21 Note: starting with 'baz' of type 'void *'
93  18: PetscValidPointer(foo, -1);
94  19: PetscValidPointer(bar, -2);
95> 20: PetscValidPointer(baz, -3);
96                        ^^^
97  21: PetscValidPointer((void *)v->data, -4);
98  22: PetscValidPointer(*blip, -5);
99
100./src/sys/tests/linter/testReferences.c:15:15 Note: via 'v' of type 'PetscViewer' (a.k.a. '_p_PetscViewer *')
101  13: bar  = v->data;
102  14: blop = blip[0];
103> 15: extractFunc(v, &baz);
104                  ^
105  16:
106  17: /* incorrect */
107
108ERROR 3: ./src/sys/tests/linter/testReferences.c:21:38
109'-4' of type 'int'
110  19: PetscValidPointer(bar, -2);
111  20: PetscValidPointer(baz, -3);
112> 21: PetscValidPointer((void *)v->data, -4);
113                                         ^^
114  22: PetscValidPointer(*blip, -5);
115  23: PetscValidPointer(blop, -6);
116
117Argument number doesn't match for 'data'. Expected '1', found '-4' [-fmatching-arg-num]
118
119./src/sys/tests/linter/testReferences.c:7:39 Note: 'data' is traceable to argument #1 'v' in enclosing function here:
120  5: void extractFunc(PetscViewer, void **);
121  6:
122> 7: PetscErrorCode testOutOfLineReference(PetscViewer v, PetscViewer v2)
123                                           ^^^^^^^^^^^^^
124  8: {
125  9:   /* linter should be able to connect all of these to v */
126
127./src/sys/tests/linter/testReferences.c:21:21 Note: starting with 'data' of type 'void *'
128  19: PetscValidPointer(bar, -2);
129  20: PetscValidPointer(baz, -3);
130> 21: PetscValidPointer((void *)v->data, -4);
131                        ^^^^^^^^^^^^^^^
132  22: PetscValidPointer(*blip, -5);
133  23: PetscValidPointer(blop, -6);
134
135./src/sys/tests/linter/testReferences.c:21:29 Note: via 'v' of type 'PetscViewer' (a.k.a. '_p_PetscViewer *')
136  19: PetscValidPointer(bar, -2);
137  20: PetscValidPointer(baz, -3);
138> 21: PetscValidPointer((void *)v->data, -4);
139                                ^
140  22: PetscValidPointer(*blip, -5);
141  23: PetscValidPointer(blop, -6);
142
143ERROR 4: ./src/sys/tests/linter/testReferences.c:22:28
144'-5' of type 'int'
145  20: PetscValidPointer(baz, -3);
146  21: PetscValidPointer((void *)v->data, -4);
147> 22: PetscValidPointer(*blip, -5);
148                               ^^
149  23: PetscValidPointer(blop, -6);
150  24:
151
152Argument number doesn't match for 'blip'. Expected '1', found '-5' [-fmatching-arg-num]
153
154./src/sys/tests/linter/testReferences.c:7:39 Note: 'blip' is traceable to argument #1 'v' in enclosing function here:
155  5: void extractFunc(PetscViewer, void **);
156  6:
157> 7: PetscErrorCode testOutOfLineReference(PetscViewer v, PetscViewer v2)
158                                           ^^^^^^^^^^^^^
159  8: {
160  9:   /* linter should be able to connect all of these to v */
161
162./src/sys/tests/linter/testReferences.c:22:21 Note: starting with 'blip' of type 'void *'
163  20: PetscValidPointer(baz, -3);
164  21: PetscValidPointer((void *)v->data, -4);
165> 22: PetscValidPointer(*blip, -5);
166                        ^^^^^
167  23: PetscValidPointer(blop, -6);
168  24:
169
170./src/sys/tests/linter/testReferences.c:22:22 Note: via 'blip' of type 'void **'
171  20: PetscValidPointer(baz, -3);
172  21: PetscValidPointer((void *)v->data, -4);
173> 22: PetscValidPointer(*blip, -5);
174                         ^^^^
175  23: PetscValidPointer(blop, -6);
176  24:
177
178./src/sys/tests/linter/testReferences.c:11:18 Note: via 'v' of type 'PetscViewer' (a.k.a. '_p_PetscViewer *')
179  9 : /* linter should be able to connect all of these to v */
180  10: void  *foo  = v->data, *bar, *baz, *blop;
181> 11: void **blip = &v->data;
182                     ^
183  12:
184  13: bar  = v->data;
185
186ERROR 5: ./src/sys/tests/linter/testReferences.c:23:27
187'-6' of type 'int'
188  21: PetscValidPointer((void *)v->data, -4);
189  22: PetscValidPointer(*blip, -5);
190> 23: PetscValidPointer(blop, -6);
191                              ^^
192  24:
193  25: /* correct */
194
195Argument number doesn't match for 'blop'. Expected '1', found '-6' [-fmatching-arg-num]
196
197./src/sys/tests/linter/testReferences.c:7:39 Note: 'blop' is traceable to argument #1 'v' in enclosing function here:
198  5: void extractFunc(PetscViewer, void **);
199  6:
200> 7: PetscErrorCode testOutOfLineReference(PetscViewer v, PetscViewer v2)
201                                           ^^^^^^^^^^^^^
202  8: {
203  9:   /* linter should be able to connect all of these to v */
204
205./src/sys/tests/linter/testReferences.c:23:21 Note: starting with 'blop' of type 'void *'
206  21: PetscValidPointer((void *)v->data, -4);
207  22: PetscValidPointer(*blip, -5);
208> 23: PetscValidPointer(blop, -6);
209                        ^^^^
210  24:
211  25: /* correct */
212
213./src/sys/tests/linter/testReferences.c:14:10 Note: via 'blip' of type 'void **'
214  12:
215  13: bar  = v->data;
216> 14: blop = blip[0];
217             ^^^^
218  15: extractFunc(v, &baz);
219  16:
220
221./src/sys/tests/linter/testReferences.c:11:18 Note: via 'v' of type 'PetscViewer' (a.k.a. '_p_PetscViewer *')
222  9 : /* linter should be able to connect all of these to v */
223  10: void  *foo  = v->data, *bar, *baz, *blop;
224> 11: void **blip = &v->data;
225                     ^
226  12:
227  13: bar  = v->data;
228--------------------------------------------------------------------------------------------
229<--- LEFT --->
230