xref: /petsc/src/sys/tests/ex3.c (revision a69119a591a03a9d906b29c0a4e9802e4d7c9795)
1 
2 static char help[] = "Tests catching of floating point exceptions.\n\n";
3 
4 #include <petscsys.h>
5 
6 int CreateError(PetscReal x) {
7   PetscFunctionBegin;
8   x = 1.0 / x;
9   PetscCall(PetscPrintf(PETSC_COMM_SELF, "x = %g\n", (double)x));
10   PetscFunctionReturn(0);
11 }
12 
13 int main(int argc, char **argv) {
14   PetscFunctionBeginUser;
15   PetscCall(PetscInitialize(&argc, &argv, (char *)0, help));
16   PetscCall(PetscPrintf(PETSC_COMM_SELF, "This is a contrived example to test floating pointing\n"));
17   PetscCall(PetscPrintf(PETSC_COMM_SELF, "It is not a true error.\n"));
18   PetscCall(PetscPrintf(PETSC_COMM_SELF, "Run with -fp_trap to catch the floating point error\n"));
19   PetscCall(CreateError(0.0));
20   return 0;
21 }
22 
23 /*
24 
25     Because this example may produce different output on different machines we filter out everything.
26     This makes the test ineffective but currently we don't have a good way to know which machines should handle
27     the floating point exceptions properly.
28 
29 */
30 /*TEST
31 
32    test:
33       args: -fp_trap -error_output_stdout
34       filter: Error: true
35 
36 TEST*/
37