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*/