1 2 static char help[] = "Tests PetscInt64Mult()\n"; 3 4 #include <petscsys.h> 5 6 int main(int argc,char **argv) 7 { 8 PetscErrorCode ierr; 9 PetscInt a = 2009,b = 5612,result,tresult; 10 PetscInt64 r64; 11 12 ierr = PetscInitialize(&argc,&argv,(char*)0,help);if (ierr) return ierr; 13 CHKERRQ(PetscIntMultError(a,b,&result)); 14 a = PETSC_MPI_INT_MAX-22,b = PETSC_MPI_INT_MAX/22; 15 r64 = PetscInt64Mult(a,b); 16 tresult = PetscIntMultTruncate(a,b); 17 CHKERRQ(PetscIntMultError(a,b,&result)); 18 ierr = ierr = PetscFinalize(); 19 return ierr; 20 } 21