xref: /petsc/src/sys/tests/linter/testValidPointers.c (revision 7a2f837dfb5b1b0a1e6bb2716a3d28bcaab1482d)
1cff829a2SJacob Faibussowitsch #include <petsc/private/petscimpl.h>
2064a246eSJacob Faibussowitsch 
3447bcd8fSJacob Faibussowitsch PetscErrorCode testValidPointers(void *a, char *b, PetscInt *c, PetscMPIInt *d, PetscInt *e, PetscBool *f, PetscScalar *g, PetscReal *h)
4d71ae5a4SJacob Faibussowitsch {
5064a246eSJacob Faibussowitsch   /* incorrect */
6*7a2f837dSToby Isaac   PetscValidPointer(a, 2);
7cff829a2SJacob Faibussowitsch   PetscValidPointer(b, 3);
8cff829a2SJacob Faibussowitsch   PetscValidPointer(c, 4);
9cff829a2SJacob Faibussowitsch   PetscValidPointer(d, 5);
10cff829a2SJacob Faibussowitsch   PetscValidPointer(e, 6);
11cff829a2SJacob Faibussowitsch   PetscValidPointer(f, 7);
12cff829a2SJacob Faibussowitsch   PetscValidPointer(g, 8);
13cff829a2SJacob Faibussowitsch   PetscValidPointer(h, 9);
14cff829a2SJacob Faibussowitsch 
15cff829a2SJacob Faibussowitsch   /* correct */
16cff829a2SJacob Faibussowitsch   PetscValidPointer(a, 1);
17*7a2f837dSToby Isaac   PetscValidPointer(b, 2);
18*7a2f837dSToby Isaac   PetscValidPointer(c, 3);
19*7a2f837dSToby Isaac   PetscValidPointer(d, 4);
20*7a2f837dSToby Isaac   PetscValidPointer(e, 5);
21*7a2f837dSToby Isaac   PetscValidPointer(f, 6);
22*7a2f837dSToby Isaac   PetscValidPointer(g, 7);
23*7a2f837dSToby Isaac   PetscValidPointer(h, 8);
24*7a2f837dSToby Isaac   return 0;
25*7a2f837dSToby Isaac }
26*7a2f837dSToby Isaac 
27*7a2f837dSToby Isaac void testValidPointers2(void *a, char *b, PetscInt *c, PetscMPIInt *d, PetscInt *e, PetscBool *f, PetscScalar *g, PetscReal *h)
28*7a2f837dSToby Isaac {
29*7a2f837dSToby Isaac   /* incorrect */
30*7a2f837dSToby Isaac   PetscValidPointer(a, 2);
31*7a2f837dSToby Isaac   PetscValidPointer(b, 3);
32*7a2f837dSToby Isaac   PetscValidPointer(c, 4);
33*7a2f837dSToby Isaac   PetscValidPointer(d, 5);
34*7a2f837dSToby Isaac   PetscValidPointer(e, 6);
35*7a2f837dSToby Isaac   PetscValidPointer(f, 7);
36*7a2f837dSToby Isaac   PetscValidPointer(g, 8);
37*7a2f837dSToby Isaac   PetscValidPointer(h, 9);
38*7a2f837dSToby Isaac 
39*7a2f837dSToby Isaac   /* correct */
40*7a2f837dSToby Isaac   PetscValidPointer(a, 1);
41*7a2f837dSToby Isaac   PetscValidPointer(b, 2);
42*7a2f837dSToby Isaac   PetscValidPointer(c, 3);
43*7a2f837dSToby Isaac   PetscValidPointer(d, 4);
44*7a2f837dSToby Isaac   PetscValidPointer(e, 5);
45*7a2f837dSToby Isaac   PetscValidPointer(f, 6);
46*7a2f837dSToby Isaac   PetscValidPointer(g, 7);
47*7a2f837dSToby Isaac   PetscValidPointer(h, 8);
48cff829a2SJacob Faibussowitsch   return;
49cff829a2SJacob Faibussowitsch }
50cff829a2SJacob Faibussowitsch 
51447bcd8fSJacob Faibussowitsch void testValidPointers3(void **a, char **b, PetscInt **c, PetscMPIInt **d, PetscInt **e, PetscBool **f, PetscScalar **g, PetscReal **h)
52d71ae5a4SJacob Faibussowitsch {
53cff829a2SJacob Faibussowitsch   /* incorrect */
54*7a2f837dSToby Isaac   PetscValidPointer(a, 1);
55*7a2f837dSToby Isaac   PetscValidPointer(b, 2);
56*7a2f837dSToby Isaac   PetscValidPointer(c, 3);
57*7a2f837dSToby Isaac   PetscValidPointer(d, 4);
58*7a2f837dSToby Isaac   PetscValidPointer(e, 5);
59*7a2f837dSToby Isaac   PetscValidPointer(f, 6);
60*7a2f837dSToby Isaac   PetscValidPointer(g, 7);
61*7a2f837dSToby Isaac   PetscValidPointer(h, 8);
62cff829a2SJacob Faibussowitsch 
63cff829a2SJacob Faibussowitsch   /* correct */
64cff829a2SJacob Faibussowitsch   PetscValidPointer(a, 1);
65cff829a2SJacob Faibussowitsch   PetscValidPointer(b, 2);
66cff829a2SJacob Faibussowitsch   PetscValidPointer(c, 3);
67cff829a2SJacob Faibussowitsch   PetscValidPointer(d, 4);
68cff829a2SJacob Faibussowitsch   PetscValidPointer(e, 5);
69cff829a2SJacob Faibussowitsch   PetscValidPointer(f, 6);
70cff829a2SJacob Faibussowitsch   PetscValidPointer(g, 7);
71cff829a2SJacob Faibussowitsch   PetscValidPointer(h, 8);
72cff829a2SJacob Faibussowitsch   return;
73cff829a2SJacob Faibussowitsch }
74