1cff829a2SJacob Faibussowitsch #include <petsc/private/petscimpl.h> 2064a246eSJacob Faibussowitsch 3*447bcd8fSJacob Faibussowitsch PetscErrorCode testValidPointers(void *a, char *b, PetscInt *c, PetscMPIInt *d, PetscInt *e, PetscBool *f, PetscScalar *g, PetscReal *h) 4d71ae5a4SJacob 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); 24*447bcd8fSJacob Faibussowitsch return 0; 25064a246eSJacob Faibussowitsch } 26cff829a2SJacob Faibussowitsch 27*447bcd8fSJacob Faibussowitsch void testValidPointers2(void *a, char *b, PetscInt *c, PetscMPIInt *d, PetscInt *e, PetscBool *f, PetscScalar *g, PetscReal *h) 28d71ae5a4SJacob Faibussowitsch { 29cff829a2SJacob Faibussowitsch /* incorrect */ 30cff829a2SJacob Faibussowitsch PetscValidCharPointer(a, 2); 31cff829a2SJacob Faibussowitsch PetscValidPointer(b, 3); 32cff829a2SJacob Faibussowitsch PetscValidPointer(c, 4); 33cff829a2SJacob Faibussowitsch PetscValidPointer(d, 5); 34cff829a2SJacob Faibussowitsch PetscValidPointer(e, 6); 35cff829a2SJacob Faibussowitsch PetscValidPointer(f, 7); 36cff829a2SJacob Faibussowitsch PetscValidPointer(g, 8); 37cff829a2SJacob Faibussowitsch PetscValidPointer(h, 9); 38cff829a2SJacob Faibussowitsch 39cff829a2SJacob Faibussowitsch /* correct */ 40cff829a2SJacob Faibussowitsch PetscValidPointer(a, 1); 41cff829a2SJacob Faibussowitsch PetscValidCharPointer(b, 2); 42cff829a2SJacob Faibussowitsch PetscValidIntPointer(c, 3); 43cff829a2SJacob Faibussowitsch PetscValidIntPointer(d, 4); 44cff829a2SJacob Faibussowitsch PetscValidIntPointer(e, 5); 45cff829a2SJacob Faibussowitsch PetscValidBoolPointer(f, 6); 46cff829a2SJacob Faibussowitsch PetscValidScalarPointer(g, 7); 47cff829a2SJacob Faibussowitsch PetscValidRealPointer(h, 8); 48cff829a2SJacob Faibussowitsch return; 49cff829a2SJacob Faibussowitsch } 50cff829a2SJacob Faibussowitsch 51*447bcd8fSJacob Faibussowitsch void testValidPointers3(void **a, char **b, PetscInt **c, PetscMPIInt **d, PetscInt **e, PetscBool **f, PetscScalar **g, PetscReal **h) 52d71ae5a4SJacob Faibussowitsch { 53cff829a2SJacob Faibussowitsch /* incorrect */ 54cff829a2SJacob Faibussowitsch PetscValidCharPointer(a, 1); 55cff829a2SJacob Faibussowitsch PetscValidCharPointer(b, 2); 56cff829a2SJacob Faibussowitsch PetscValidIntPointer(c, 3); 57cff829a2SJacob Faibussowitsch PetscValidIntPointer(d, 4); 58cff829a2SJacob Faibussowitsch PetscValidIntPointer(e, 5); 59cff829a2SJacob Faibussowitsch PetscValidBoolPointer(f, 6); 60cff829a2SJacob Faibussowitsch PetscValidScalarPointer(g, 7); 61cff829a2SJacob Faibussowitsch PetscValidRealPointer(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