xref: /petsc/src/sys/error/tests/ex2.c (revision 2da392cc7c10228af19ad9843ce5155178acb644)
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 #include <petscvalgrind.h>
6c4762a1bSJed Brown 
7c4762a1bSJed Brown int main(int argc, char *args[])
8c4762a1bSJed Brown {
9c4762a1bSJed Brown   PetscErrorCode ierr;
10c4762a1bSJed Brown   PetscInt *ptr;
11c4762a1bSJed Brown 
12*2da392ccSBarry Smith   ierr = PetscInitialize(&argc, &args, (char*) 0, help);if (ierr) return ierr;
13c4762a1bSJed Brown   if (ierr) return ierr;
14c4762a1bSJed Brown   if (!PETSC_RUNNING_ON_VALGRIND) {                         /* PetscCheckPointer always returns TRUE when running on Valgrind */
15c4762a1bSJed Brown     ierr = PetscMalloc(1024 * 1024 * 8,&ptr);CHKERRQ(ierr); /* Almost certainly larger than MMAP_THRESHOLD (128 KiB by default) */
16c4762a1bSJed Brown     if (!PetscCheckPointer(ptr,PETSC_INT)) {ierr = PetscPrintf(PETSC_COMM_SELF,"Mistook valid pointer %p for invalid pointer\n",(void*)ptr);CHKERRQ(ierr);}
17c4762a1bSJed Brown     ierr = PetscFree(ptr);CHKERRQ(ierr);
18c4762a1bSJed Brown     if (PetscCheckPointer(ptr,PETSC_INT)) {ierr = PetscPrintf(PETSC_COMM_SELF,"Mistook NULL pointer for valid pointer\n");CHKERRQ(ierr);}
19c4762a1bSJed Brown     ptr = (PetscInt*) ~(PETSC_UINTPTR_T)0xf; /* Pointer will almost certainly be invalid */
20c4762a1bSJed Brown     if (PetscCheckPointer(ptr,PETSC_INT)) {ierr = PetscPrintf(PETSC_COMM_SELF,"Mistook invalid pointer %p for valid\n",(void*)ptr);CHKERRQ(ierr);}
21c4762a1bSJed Brown   }
22c4762a1bSJed Brown   ierr = PetscFinalize();
23c4762a1bSJed Brown   return ierr;
24c4762a1bSJed Brown }
25c4762a1bSJed Brown 
26c4762a1bSJed Brown /*TEST
27c4762a1bSJed Brown 
28c4762a1bSJed Brown    test:
29c4762a1bSJed Brown      args: -check_pointer_intensity 1
30c4762a1bSJed Brown      TODO: reports Mistook invalid pointer 0xfffffffffffffff0 for valid or Free'd pointer is still accessible
31c4762a1bSJed Brown 
32c4762a1bSJed Brown TEST*/
33