#include <petsc/private/petscimpl.h>

void testValidPointers(void *a, char *b, PetscInt *c, PetscMPIInt *d, PetscInt64 *e, PetscBool *f, PetscScalar *g, PetscReal *h) {
  /* incorrect */
  PetscValidCharPointer(a, 2);
  PetscValidIntPointer(b, 3);
  PetscValidBoolPointer(c, 4);
  PetscValidRealPointer(d, 5);
  PetscValidScalarPointer(e, 6);
  PetscValidIntPointer(f, 7);
  PetscValidRealPointer(g, 8);
  PetscValidScalarPointer(h, 9);

  /* correct */
  PetscValidPointer(a, 1);
  PetscValidCharPointer(b, 2);
  PetscValidIntPointer(c, 3);
  PetscValidIntPointer(d, 4);
  PetscValidIntPointer(e, 5);
  PetscValidBoolPointer(f, 6);
  PetscValidScalarPointer(g, 7);
  PetscValidRealPointer(h, 8);
  return;
}

void testValidPointers2(void *a, char *b, PetscInt *c, PetscMPIInt *d, PetscInt64 *e, PetscBool *f, PetscScalar *g, PetscReal *h) {
  /* incorrect */
  PetscValidCharPointer(a, 2);
  PetscValidPointer(b, 3);
  PetscValidPointer(c, 4);
  PetscValidPointer(d, 5);
  PetscValidPointer(e, 6);
  PetscValidPointer(f, 7);
  PetscValidPointer(g, 8);
  PetscValidPointer(h, 9);

  /* correct */
  PetscValidPointer(a, 1);
  PetscValidCharPointer(b, 2);
  PetscValidIntPointer(c, 3);
  PetscValidIntPointer(d, 4);
  PetscValidIntPointer(e, 5);
  PetscValidBoolPointer(f, 6);
  PetscValidScalarPointer(g, 7);
  PetscValidRealPointer(h, 8);
  return;
}

void testValidPointers3(void **a, char **b, PetscInt **c, PetscMPIInt **d, PetscInt64 **e, PetscBool **f, PetscScalar **g, PetscReal **h) {
  /* incorrect */
  PetscValidCharPointer(a, 1);
  PetscValidCharPointer(b, 2);
  PetscValidIntPointer(c, 3);
  PetscValidIntPointer(d, 4);
  PetscValidIntPointer(e, 5);
  PetscValidBoolPointer(f, 6);
  PetscValidScalarPointer(g, 7);
  PetscValidRealPointer(h, 8);

  /* correct */
  PetscValidPointer(a, 1);
  PetscValidPointer(b, 2);
  PetscValidPointer(c, 3);
  PetscValidPointer(d, 4);
  PetscValidPointer(e, 5);
  PetscValidPointer(f, 6);
  PetscValidPointer(g, 7);
  PetscValidPointer(h, 8);
  return;
}