1: static char help[] = "Tests checking pointers.\n\n"; 3: #include <petscsys.h> 4: #include <petsc/private/petscimpl.h> 6: int main(int argc, char *args[]) 7: { 8: PetscInt *ptr; 11: PetscInitialize(&argc, &args, (char *)0, help); 13: PetscMalloc(1024 * 1024 * 8, &ptr); /* Almost certainly larger than MMAP_THRESHOLD (128 KiB by default) */ 15: PetscFree(ptr); 17: ptr = (PetscInt *)~(PETSC_UINTPTR_T)0xf; /* Pointer will almost certainly be invalid */ 19: } 20: PetscFinalize(); 21: return 0; 22: } 24: /*TEST 26: test: 27: args: -check_pointer_intensity 1 28: TODO: reports Mistook invalid pointer 0xfffffffffffffff0 for valid or Free'd pointer is still accessible 30: TEST*/