Actual source code: ex2.c

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