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