1*cff829a2SJacob Faibussowitsch #include <petsc/private/petscimpl.h> 2064a246eSJacob Faibussowitsch 3064a246eSJacob Faibussowitsch void testValidPointers(void *a, char *b, PetscInt *c, PetscMPIInt *d, PetscInt64 *e, PetscBool *f, PetscScalar *g, PetscReal *h) 4064a246eSJacob Faibussowitsch { 5064a246eSJacob Faibussowitsch /* incorrect */ 6064a246eSJacob Faibussowitsch PetscValidCharPointer(a,2); 7064a246eSJacob Faibussowitsch PetscValidIntPointer(b,3); 8064a246eSJacob Faibussowitsch PetscValidBoolPointer(c,4); 9064a246eSJacob Faibussowitsch PetscValidRealPointer(d,5); 10064a246eSJacob Faibussowitsch PetscValidScalarPointer(e,6); 11064a246eSJacob Faibussowitsch PetscValidIntPointer(f,7); 12064a246eSJacob Faibussowitsch PetscValidRealPointer(g,8); 13064a246eSJacob Faibussowitsch PetscValidScalarPointer(h,9); 14064a246eSJacob Faibussowitsch 15064a246eSJacob Faibussowitsch /* correct */ 16064a246eSJacob Faibussowitsch PetscValidPointer(a,1); 17064a246eSJacob Faibussowitsch PetscValidCharPointer(b,2); 18064a246eSJacob Faibussowitsch PetscValidIntPointer(c,3); 19064a246eSJacob Faibussowitsch PetscValidIntPointer(d,4); 20064a246eSJacob Faibussowitsch PetscValidIntPointer(e,5); 21064a246eSJacob Faibussowitsch PetscValidBoolPointer(f,6); 22064a246eSJacob Faibussowitsch PetscValidScalarPointer(g,7); 23064a246eSJacob Faibussowitsch PetscValidRealPointer(h,8); 24064a246eSJacob Faibussowitsch return; 25064a246eSJacob Faibussowitsch } 26*cff829a2SJacob Faibussowitsch 27*cff829a2SJacob Faibussowitsch void testValidPointers2(void *a, char *b, PetscInt *c, PetscMPIInt *d, PetscInt64 *e, PetscBool *f, PetscScalar *g, PetscReal *h) 28*cff829a2SJacob Faibussowitsch { 29*cff829a2SJacob Faibussowitsch /* incorrect */ 30*cff829a2SJacob Faibussowitsch PetscValidCharPointer(a,2); 31*cff829a2SJacob Faibussowitsch PetscValidPointer(b,3); 32*cff829a2SJacob Faibussowitsch PetscValidPointer(c,4); 33*cff829a2SJacob Faibussowitsch PetscValidPointer(d,5); 34*cff829a2SJacob Faibussowitsch PetscValidPointer(e,6); 35*cff829a2SJacob Faibussowitsch PetscValidPointer(f,7); 36*cff829a2SJacob Faibussowitsch PetscValidPointer(g,8); 37*cff829a2SJacob Faibussowitsch PetscValidPointer(h,9); 38*cff829a2SJacob Faibussowitsch 39*cff829a2SJacob Faibussowitsch /* correct */ 40*cff829a2SJacob Faibussowitsch PetscValidPointer(a,1); 41*cff829a2SJacob Faibussowitsch PetscValidCharPointer(b,2); 42*cff829a2SJacob Faibussowitsch PetscValidIntPointer(c,3); 43*cff829a2SJacob Faibussowitsch PetscValidIntPointer(d,4); 44*cff829a2SJacob Faibussowitsch PetscValidIntPointer(e,5); 45*cff829a2SJacob Faibussowitsch PetscValidBoolPointer(f,6); 46*cff829a2SJacob Faibussowitsch PetscValidScalarPointer(g,7); 47*cff829a2SJacob Faibussowitsch PetscValidRealPointer(h,8); 48*cff829a2SJacob Faibussowitsch return; 49*cff829a2SJacob Faibussowitsch } 50*cff829a2SJacob Faibussowitsch 51*cff829a2SJacob Faibussowitsch void testValidPointers3(void **a, char **b, PetscInt **c, PetscMPIInt **d, PetscInt64 **e, PetscBool **f, PetscScalar **g, PetscReal **h) 52*cff829a2SJacob Faibussowitsch { 53*cff829a2SJacob Faibussowitsch /* incorrect */ 54*cff829a2SJacob Faibussowitsch PetscValidCharPointer(a,1); 55*cff829a2SJacob Faibussowitsch PetscValidCharPointer(b,2); 56*cff829a2SJacob Faibussowitsch PetscValidIntPointer(c,3); 57*cff829a2SJacob Faibussowitsch PetscValidIntPointer(d,4); 58*cff829a2SJacob Faibussowitsch PetscValidIntPointer(e,5); 59*cff829a2SJacob Faibussowitsch PetscValidBoolPointer(f,6); 60*cff829a2SJacob Faibussowitsch PetscValidScalarPointer(g,7); 61*cff829a2SJacob Faibussowitsch PetscValidRealPointer(h,8); 62*cff829a2SJacob Faibussowitsch 63*cff829a2SJacob Faibussowitsch /* correct */ 64*cff829a2SJacob Faibussowitsch PetscValidPointer(a,1); 65*cff829a2SJacob Faibussowitsch PetscValidPointer(b,2); 66*cff829a2SJacob Faibussowitsch PetscValidPointer(c,3); 67*cff829a2SJacob Faibussowitsch PetscValidPointer(d,4); 68*cff829a2SJacob Faibussowitsch PetscValidPointer(e,5); 69*cff829a2SJacob Faibussowitsch PetscValidPointer(f,6); 70*cff829a2SJacob Faibussowitsch PetscValidPointer(g,7); 71*cff829a2SJacob Faibussowitsch PetscValidPointer(h,8); 72*cff829a2SJacob Faibussowitsch return; 73*cff829a2SJacob Faibussowitsch } 74