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