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