1c4762a1bSJed Brown static char help[] = "Tests checking pointers.\n\n";
2c4762a1bSJed Brown
3c4762a1bSJed Brown #include <petscsys.h>
4c4762a1bSJed Brown #include <petsc/private/petscimpl.h>
5c4762a1bSJed Brown
main(int argc,char * args[])6d71ae5a4SJacob Faibussowitsch int main(int argc, char *args[])
7d71ae5a4SJacob Faibussowitsch {
8c4762a1bSJed Brown PetscInt *ptr;
9c4762a1bSJed Brown
10327415f7SBarry Smith PetscFunctionBeginUser;
11*c8025a54SPierre Jolivet PetscCall(PetscInitialize(&argc, &args, NULL, help));
12c4762a1bSJed Brown if (!PETSC_RUNNING_ON_VALGRIND) { /* PetscCheckPointer always returns TRUE when running on Valgrind */
139566063dSJacob Faibussowitsch PetscCall(PetscMalloc(1024 * 1024 * 8, &ptr)); /* Almost certainly larger than MMAP_THRESHOLD (128 KiB by default) */
149566063dSJacob Faibussowitsch if (!PetscCheckPointer(ptr, PETSC_INT)) PetscCall(PetscPrintf(PETSC_COMM_SELF, "Mistook valid pointer %p for invalid pointer\n", (void *)ptr));
159566063dSJacob Faibussowitsch PetscCall(PetscFree(ptr));
169566063dSJacob Faibussowitsch if (PetscCheckPointer(ptr, PETSC_INT)) PetscCall(PetscPrintf(PETSC_COMM_SELF, "Mistook NULL pointer for valid pointer\n"));
17c4762a1bSJed Brown ptr = (PetscInt *)~(PETSC_UINTPTR_T)0xf; /* Pointer will almost certainly be invalid */
189566063dSJacob Faibussowitsch if (PetscCheckPointer(ptr, PETSC_INT)) PetscCall(PetscPrintf(PETSC_COMM_SELF, "Mistook invalid pointer %p for valid\n", (void *)ptr));
19c4762a1bSJed Brown }
209566063dSJacob Faibussowitsch PetscCall(PetscFinalize());
21b122ec5aSJacob Faibussowitsch return 0;
22c4762a1bSJed Brown }
23c4762a1bSJed Brown
24c4762a1bSJed Brown /*TEST
25c4762a1bSJed Brown
26c4762a1bSJed Brown test:
27c4762a1bSJed Brown args: -check_pointer_intensity 1
28c4762a1bSJed Brown TODO: reports Mistook invalid pointer 0xfffffffffffffff0 for valid or Free'd pointer is still accessible
29c4762a1bSJed Brown
30c4762a1bSJed Brown TEST*/
31