xref: /petsc/src/sys/tests/linter/output/testValidPetscObject.out (revision fbf9dbe564678ed6eff1806adbc4c4f01b9743f4)
1<--- FIXED --->
2--------------------------------------------------------------------------------------------
3ERROR 0: ./src/sys/tests/linter/testValidPetscObject.c:12:25
4'2' of type 'int'
5  10: {
6  11:   /* incorrect */
7> 12:   PetscValidHeader(obj, 2);
8                              ^
9  13:   PetscValidHeader(dobj, 600);
10  14:
11
12Argument number doesn't match for 'obj'. Expected '1', found '2' [-fmatching-arg-num]
13
14./src/sys/tests/linter/testValidPetscObject.c:9:33 Note: 'obj' is traceable to argument #1 'obj' in enclosing function here:
15  7 : typedef struct _p_PetscLinterDummyObj *PetscLinterDummyObj;
16  8 :
17> 9 : PetscErrorCode ValidPetscObject(PetscObject obj, PetscLinterDummyObj dobj)
18                                      ^^^^^^^^^^^^^^^
19  10: {
20  11:   /* incorrect */
21
22ERROR 2: ./src/sys/tests/linter/testValidPetscObject.c:13:26
23'600' of type 'int'
24  11: /* incorrect */
25  12: PetscValidHeader(obj, 2);
26> 13: PetscValidHeader(dobj, 600);
27                             ^^^
28  14:
29  15: /* correct */
30
31Argument number doesn't match for 'dobj'. Expected '2', found '600' [-fmatching-arg-num]
32
33./src/sys/tests/linter/testValidPetscObject.c:9:50 Note: 'dobj' is traceable to argument #2 'dobj' in enclosing function here:
34  7 : typedef struct _p_PetscLinterDummyObj *PetscLinterDummyObj;
35  8 :
36> 9 : PetscErrorCode ValidPetscObject(PetscObject obj, PetscLinterDummyObj dobj)
37                                                       ^^^^^^^^^^^^^^^^^^^^^^^^
38  10: {
39  11:   /* incorrect */
40--------------------------------------------------------------------------------------------
41<--- LEFT --->
42--------------------------------------------------------------------------------------------
43ERROR 1: ./src/sys/tests/linter/testValidPetscObject.c:13:20
44'dobj' of type 'PetscLinterDummyObj' (a.k.a. '_p_PetscLinterDummyObj *')
45  11: /* incorrect */
46  12: PetscValidHeader(obj, 2);
47> 13: PetscValidHeader(dobj, 600);
48                       ^^^^
49  14:
50  15: /* correct */
51
52Invalid type '_p_PetscLinterDummyObj', expected a PetscObject (or derived class) [-fincompatible-type-petscobject]:
53./src/sys/tests/linter/testValidPetscObject.c:3:8
54  2:
55> 3: struct _p_PetscLinterDummyObj {
56     ^
57> 4:   void *data;
58> 5: };
59  6:
60  7: typedef struct _p_PetscLinterDummyObj *PetscLinterDummyObj;
61
62./src/sys/tests/linter/testValidPetscObject.c:3:1 Note: Type '_p_PetscLinterDummyObj' is prefixed with '_p_' to indicate it is a PetscObject but its definition is missing a PETSCHEADER as the first struct member. Either replace '_p_' with '_n_' to indicate it is not a PetscObject or add a PETSCHEADER declaration as the first member.
63
64./src/sys/tests/linter/testValidPetscObject.c:3:1 Note: It is ambiguous whether 'dobj' is intended to be a PetscObject.
65--------------------------------------------------------------------------------------------