2: static char help[] = "Tests PetscInt64Mult()\n"; 4: #include <petscsys.h> 6: int main(int argc,char **argv) 7: { 9: PetscInt a = 2009,b = 5612,result,tresult; 10: PetscInt64 r64; 12: PetscInitialize(&argc,&argv,(char*)0,help); 13: 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: PetscIntMultError(a,b,&result); 18: PetscFinalize(); 19: return 0; 20: }