1 static char help[] = "Tests checking pointers.\n\n"; 2 3 #include <petscsys.h> 4 #include <petsc/private/petscimpl.h> 5 6 int main(int argc, char *args[]) { 7 PetscInt *ptr; 8 9 PetscFunctionBeginUser; 10 PetscCall(PetscInitialize(&argc, &args, (char *)0, 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 } 22 23 /*TEST 24 25 test: 26 args: -check_pointer_intensity 1 27 TODO: reports Mistook invalid pointer 0xfffffffffffffff0 for valid or Free'd pointer is still accessible 28 29 TEST*/ 30