xref: /petsc/src/sys/tests/linter/testValidPointers.c (revision d5b43468fb8780a8feea140ccd6fa3e6a50411cc)
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