1: static char help[] = "Tests checking pointers.\n\n";

  3: #include <petsc/private/petscimpl.h>

  5: int main(int argc, char *args[])
  6: {
  7:   PetscInt *ptr;

  9:   PetscFunctionBeginUser;
 10:   PetscCall(PetscInitialize(&argc, &args, NULL, help));
 11:   if (!PETSC_RUNNING_ON_VALGRIND) {                /* PetscCheckPointer always returns TRUE when running on Valgrind */
 12:     PetscCall(PetscMalloc(1024 * 1024 * 8, &ptr)); /* Almost certainly larger than MMAP_THRESHOLD (128 KiB by default) */
 13:     if (!PetscCheckPointer(ptr, PETSC_INT)) PetscCall(PetscPrintf(PETSC_COMM_SELF, "Mistook valid pointer %p for invalid pointer\n", (void *)ptr));
 14:     PetscCall(PetscFree(ptr));
 15:     if (PetscCheckPointer(ptr, PETSC_INT)) PetscCall(PetscPrintf(PETSC_COMM_SELF, "Mistook NULL pointer for valid pointer\n"));
 16:     ptr = (PetscInt *)~(PETSC_UINTPTR_T)0xf; /* Pointer will almost certainly be invalid */
 17:     if (PetscCheckPointer(ptr, PETSC_INT)) PetscCall(PetscPrintf(PETSC_COMM_SELF, "Mistook invalid pointer %p for valid\n", (void *)ptr));
 18:   }
 19:   PetscCall(PetscFinalize());
 20:   return 0;
 21: }

 23: /*TEST

 25:    test:
 26:      args: -check_pointer_intensity 1
 27:      TODO: reports Mistook invalid pointer 0xfffffffffffffff0 for valid or Free'd pointer is still accessible

 29: TEST*/