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