xref: /petsc/src/sys/error/fp.c (revision 811af0c4b09a35de4306c442f88bd09fdc09897d)
17d0a6c19SBarry Smith 
2e5c89e4eSSatish Balay /*
30e3d61c9SBarry Smith    IEEE error handler for all machines. Since each OS has
40e3d61c9SBarry Smith    enough slight differences we have completely separate codes for each one.
5e5c89e4eSSatish Balay */
6b014e56cSJed Brown 
7b014e56cSJed Brown /*
8b014e56cSJed Brown   This feature test macro provides FE_NOMASK_ENV on GNU.  It must be defined
9b014e56cSJed Brown   at the top of the file because other headers may pull in fenv.h even when
10b014e56cSJed Brown   not strictly necessary.  Strictly speaking, we could include ONLY petscconf.h,
11b014e56cSJed Brown   check PETSC_HAVE_FENV_H, and only define _GNU_SOURCE in that case, but such
12b014e56cSJed Brown   shenanigans ought to be unnecessary.
13b014e56cSJed Brown */
14519f805aSKarl Rupp #if !defined(_GNU_SOURCE)
15b014e56cSJed Brown #define _GNU_SOURCE
1676a6984eSJed Brown #endif
17b014e56cSJed Brown 
1827104ee2SJacob Faibussowitsch #include <petsc/private/petscimpl.h> /*I  "petscsys.h"  I*/
19e5c89e4eSSatish Balay #include <signal.h>
20e5c89e4eSSatish Balay 
21670f3ff9SJed Brown struct PetscFPTrapLink {
22670f3ff9SJed Brown   PetscFPTrap             trapmode;
23670f3ff9SJed Brown   struct PetscFPTrapLink *next;
24670f3ff9SJed Brown };
25aba4c478SBarry Smith static PetscFPTrap             _trapmode = PETSC_FP_TRAP_OFF; /* Current trapping mode; see PetscDetermineInitialFPTrap() */
26670f3ff9SJed Brown static struct PetscFPTrapLink *_trapstack;                    /* Any pushed states of _trapmode */
27670f3ff9SJed Brown 
28670f3ff9SJed Brown /*@
29*811af0c4SBarry Smith    PetscFPTrapPush - push a floating point trapping mode, restored using `PetscFPTrapPop()`
30670f3ff9SJed Brown 
31670f3ff9SJed Brown    Not Collective
32670f3ff9SJed Brown 
334165533cSJose E. Roman    Input Parameter:
34*811af0c4SBarry Smith .    trap - `PETSC_FP_TRAP_ON` or `PETSC_FP_TRAP_OFF` or any of the values passable to `PetscSetFPTrap()`
35670f3ff9SJed Brown 
36670f3ff9SJed Brown    Level: advanced
37670f3ff9SJed Brown 
38cc9df77eSBarry Smith    Notes:
39cc9df77eSBarry Smith      This only changes the trapping if the new mode is different than the current mode.
40cc9df77eSBarry Smith 
41cc9df77eSBarry Smith      This routine is called to turn off trapping for certain LAPACK routines that assume that dividing
42cc9df77eSBarry Smith      by zero is acceptable. In particular the routine ieeeck().
43cc9df77eSBarry Smith 
44cc9df77eSBarry Smith      Most systems by default have all trapping turned off, but certain Fortran compilers have
45cc9df77eSBarry Smith      link flags that turn on trapping before the program begins.
46cc9df77eSBarry Smith $       gfortran -ffpe-trap=invalid,zero,overflow,underflow,denormal
47cc9df77eSBarry Smith $       ifort -fpe0
48cc9df77eSBarry Smith 
49db781477SPatrick Sanan .seealso: `PetscFPTrapPop()`, `PetscSetFPTrap()`, `PetscDetermineInitialFPTrap()`
50670f3ff9SJed Brown @*/
519371c9d4SSatish Balay PetscErrorCode PetscFPTrapPush(PetscFPTrap trap) {
52670f3ff9SJed Brown   struct PetscFPTrapLink *link;
53670f3ff9SJed Brown 
54670f3ff9SJed Brown   PetscFunctionBegin;
559566063dSJacob Faibussowitsch   PetscCall(PetscNew(&link));
561f006be4SPierre Jolivet #if defined(PETSC_HAVE_THREADSAFETY) && defined(PETSC_HAVE_OPENMP)
571f006be4SPierre Jolivet #pragma omp critical
581f006be4SPierre Jolivet #endif
591f006be4SPierre Jolivet   {
60670f3ff9SJed Brown     link->trapmode = _trapmode;
61670f3ff9SJed Brown     link->next     = _trapstack;
62670f3ff9SJed Brown     _trapstack     = link;
631f006be4SPierre Jolivet   }
649566063dSJacob Faibussowitsch   if (trap != _trapmode) PetscCall(PetscSetFPTrap(trap));
65670f3ff9SJed Brown   PetscFunctionReturn(0);
66670f3ff9SJed Brown }
67670f3ff9SJed Brown 
68670f3ff9SJed Brown /*@
69*811af0c4SBarry Smith    PetscFPTrapPop - push a floating point trapping mode, to be restored using `PetscFPTrapPop()`
70670f3ff9SJed Brown 
71670f3ff9SJed Brown    Not Collective
72670f3ff9SJed Brown 
73670f3ff9SJed Brown    Level: advanced
74670f3ff9SJed Brown 
75db781477SPatrick Sanan .seealso: `PetscFPTrapPush()`, `PetscSetFPTrap()`, `PetscDetermineInitialFPTrap()`
76670f3ff9SJed Brown @*/
779371c9d4SSatish Balay PetscErrorCode PetscFPTrapPop(void) {
78670f3ff9SJed Brown   struct PetscFPTrapLink *link;
79670f3ff9SJed Brown 
80670f3ff9SJed Brown   PetscFunctionBegin;
819566063dSJacob Faibussowitsch   if (_trapstack->trapmode != _trapmode) PetscCall(PetscSetFPTrap(_trapstack->trapmode));
821f006be4SPierre Jolivet #if defined(PETSC_HAVE_THREADSAFETY) && defined(PETSC_HAVE_OPENMP)
831f006be4SPierre Jolivet #pragma omp critical
841f006be4SPierre Jolivet #endif
851f006be4SPierre Jolivet   {
86670f3ff9SJed Brown     link       = _trapstack;
87670f3ff9SJed Brown     _trapstack = _trapstack->next;
881f006be4SPierre Jolivet   }
899566063dSJacob Faibussowitsch   PetscCall(PetscFree(link));
90670f3ff9SJed Brown   PetscFunctionReturn(0);
91670f3ff9SJed Brown }
92670f3ff9SJed Brown 
93e5c89e4eSSatish Balay /*--------------------------------------- ---------------------------------------------------*/
94e5c89e4eSSatish Balay #if defined(PETSC_HAVE_SUN4_STYLE_FPTRAP)
95e5c89e4eSSatish Balay #include <floatingpoint.h>
96e5c89e4eSSatish Balay 
978cc058d9SJed Brown PETSC_EXTERN PetscErrorCode ieee_flags(char *, char *, char *, char **);
988cc058d9SJed Brown PETSC_EXTERN PetscErrorCode ieee_handler(char *, char *, sigfpe_handler_type(int, int, struct sigcontext *, char *));
99e5c89e4eSSatish Balay 
1009371c9d4SSatish Balay static struct {
1019371c9d4SSatish Balay   int   code_no;
1029371c9d4SSatish Balay   char *name;
1039371c9d4SSatish Balay } error_codes[] = {
104e5c89e4eSSatish Balay   {FPE_INTDIV_TRAP,   "integer divide"               },
105e5c89e4eSSatish Balay   {FPE_FLTOPERR_TRAP, "IEEE operand error"           },
106e5c89e4eSSatish Balay   {FPE_FLTOVF_TRAP,   "floating point overflow"      },
107e5c89e4eSSatish Balay   {FPE_FLTUND_TRAP,   "floating point underflow"     },
108e5c89e4eSSatish Balay   {FPE_FLTDIV_TRAP,   "floating pointing divide"     },
109e5c89e4eSSatish Balay   {FPE_FLTINEX_TRAP,  "inexact floating point result"},
110e5c89e4eSSatish Balay   {0,                 "unknown error"                }
111e5c89e4eSSatish Balay };
112e5c89e4eSSatish Balay #define SIGPC(scp) (scp->sc_pc)
113e5c89e4eSSatish Balay 
114cf0818bdSBarry Smith /* this function gets called if a trap has occurred and been caught */
1159371c9d4SSatish Balay sigfpe_handler_type PetscDefaultFPTrap(int sig, int code, struct sigcontext *scp, char *addr) {
1165f80ce2aSJacob Faibussowitsch   int err_ind = -1;
117e5c89e4eSSatish Balay 
118e5c89e4eSSatish Balay   PetscFunctionBegin;
1195f80ce2aSJacob Faibussowitsch   for (int j = 0; error_codes[j].code_no; j++) {
120e5c89e4eSSatish Balay     if (error_codes[j].code_no == code) err_ind = j;
121e5c89e4eSSatish Balay   }
122e5c89e4eSSatish Balay 
123a297a907SKarl Rupp   if (err_ind >= 0) (*PetscErrorPrintf)("*** %s occurred at pc=%X ***\n", error_codes[err_ind].name, SIGPC(scp));
124a297a907SKarl Rupp   else (*PetscErrorPrintf)("*** floating point error 0x%x occurred at pc=%X ***\n", code, SIGPC(scp));
125a297a907SKarl Rupp 
12649c86fc7SBarry Smith   (void)PetscError(PETSC_COMM_SELF, PETSC_ERR_FP, NULL, NULL, PETSC_ERR_FP, PETSC_ERROR_REPEAT, "floating point error");
12741e02c4dSJunchao Zhang   PETSCABORT(MPI_COMM_WORLD, PETSC_ERR_FP);
128e5c89e4eSSatish Balay   PetscFunctionReturn(0);
129e5c89e4eSSatish Balay }
130e5c89e4eSSatish Balay 
131e30d2299SSatish Balay /*@
132cf0818bdSBarry Smith    PetscSetFPTrap - Enables traps/exceptions on common floating point errors. This option may not work on certain systems or only a
133cf0818bdSBarry Smith    subset of exceptions may be trapable.
134e5c89e4eSSatish Balay 
135e5c89e4eSSatish Balay    Not Collective
136e5c89e4eSSatish Balay 
137e5c89e4eSSatish Balay    Input Parameters:
138cf0818bdSBarry Smith .  flag - values are
139cf0818bdSBarry Smith .vb
140cf0818bdSBarry Smith     PETSC_FP_TRAP_OFF   - do not trap any exceptions
141cf0818bdSBarry Smith     PETSC_FP_TRAP_ON - all exceptions that are possible on the system except underflow
142cf0818bdSBarry Smith     PETSC_FP_TRAP_INDIV - integer divide by zero
143cf0818bdSBarry Smith     PETSC_FP_TRAP_FLTOPERR - improper argument to function, for example with real numbers, the square root of a negative number
144cf0818bdSBarry Smith     PETSC_FP_TRAP_FLTOVF - overflow
145cf0818bdSBarry Smith     PETSC_FP_TRAP_FLTUND - underflow - not trapped by default on most systems
146cf0818bdSBarry Smith     PETSC_FP_TRAP_FLTDIV - floating point divide by zero
147cf0818bdSBarry Smith     PETSC_FP_TRAP_FLTINEX - inexact floating point result
148cf0818bdSBarry Smith .ve
149e5c89e4eSSatish Balay 
150e5c89e4eSSatish Balay    Options Database Keys:
151cf0818bdSBarry Smith .  -fp_trap <off,on> - turn on or off trapping of floating point exceptions
152e5c89e4eSSatish Balay 
153e5c89e4eSSatish Balay    Level: advanced
154e5c89e4eSSatish Balay 
155cf0818bdSBarry Smith    Notes:
156*811af0c4SBarry Smith    Currently only `PETSC_FP_TRAP_OFF` and `PETSC_FP_TRAP_ON` are handled. All others are treated as `PETSC_FP_TRAP_ON`.
157cf0818bdSBarry Smith 
158cf0818bdSBarry Smith    The values are bit values and may be |ed together in the function call
159cf0818bdSBarry Smith 
160cf0818bdSBarry Smith    On systems that support it this routine causes floating point
161cf0818bdSBarry Smith    overflow, divide-by-zero, and invalid-operand (e.g., a NaN), but not underflow, to
162e5c89e4eSSatish Balay    cause a message to be printed and the program to exit.
163e5c89e4eSSatish Balay 
164cc9df77eSBarry Smith    On many common systems, the floating
1657d125cddSJed Brown    point exception state is not preserved from the location where the trap
1667d125cddSJed Brown    occurred through to the signal handler.  In this case, the signal handler
1677d125cddSJed Brown    will just say that an unknown floating point exception occurred and which
1687d125cddSJed Brown    function it occurred in.  If you run with -fp_trap in a debugger, it will
169cc9df77eSBarry Smith    break on the line where the error occurred.  On systems that support C99
170cc9df77eSBarry Smith    floating point exception handling You can check which
1717d125cddSJed Brown    exception occurred using fetestexcept(FE_ALL_EXCEPT).  See fenv.h
1727d125cddSJed Brown    (usually at /usr/include/bits/fenv.h) for the enum values on your system.
1737d125cddSJed Brown 
174db781477SPatrick Sanan .seealso: `PetscFPTrapPush()`, `PetscFPTrapPop()`, `PetscDetermineInitialFPTrap()`
175e5c89e4eSSatish Balay @*/
1769371c9d4SSatish Balay PetscErrorCode PetscSetFPTrap(PetscFPTrap flag) {
177e5c89e4eSSatish Balay   char *out;
178e5c89e4eSSatish Balay 
179e5c89e4eSSatish Balay   PetscFunctionBegin;
180e5c89e4eSSatish Balay   /* Clear accumulated exceptions.  Used to suppress meaningless messages from f77 programs */
181e5c89e4eSSatish Balay   (void)ieee_flags("clear", "exception", "all", &out);
182cf0818bdSBarry Smith   if (flag) {
183e5c89e4eSSatish Balay     /*
184a297a907SKarl Rupp       To trap more fp exceptions, including underflow, change the line below to
185e5c89e4eSSatish Balay       if (ieee_handler("set","all",PetscDefaultFPTrap)) {
186e5c89e4eSSatish Balay     */
187a297a907SKarl Rupp     if (ieee_handler("set", "common", PetscDefaultFPTrap)) (*PetscErrorPrintf)("Can't set floatingpoint handler\n");
188a297a907SKarl Rupp   } else if (ieee_handler("clear", "common", PetscDefaultFPTrap)) (*PetscErrorPrintf)("Can't clear floatingpoint handler\n");
189a297a907SKarl Rupp 
190670f3ff9SJed Brown   _trapmode = flag;
191e5c89e4eSSatish Balay   PetscFunctionReturn(0);
192e5c89e4eSSatish Balay }
193e5c89e4eSSatish Balay 
194cc9df77eSBarry Smith /*@
195*811af0c4SBarry Smith    PetscDetermineInitialFPTrap - Attempts to determine the floating point trapping that exists when `PetscInitialize()` is called
196cc9df77eSBarry Smith 
197cc9df77eSBarry Smith    Not Collective
198cc9df77eSBarry Smith 
199*811af0c4SBarry Smith    Note:
200cc9df77eSBarry Smith       Currently only supported on Linux and MacOS. Checks if divide by zero is enable and if so declares that trapping is on.
201cc9df77eSBarry Smith 
202ee300463SSatish Balay    Level: advanced
203cc9df77eSBarry Smith 
204db781477SPatrick Sanan .seealso: `PetscFPTrapPush()`, `PetscFPTrapPop()`, `PetscDetermineInitialFPTrap()`
205cc9df77eSBarry Smith @*/
2069371c9d4SSatish Balay PetscErrorCode PetscDetermineInitialFPTrap(void) {
207cc9df77eSBarry Smith   PetscFunctionBegin;
2089566063dSJacob Faibussowitsch   PetscCall(PetscInfo(NULL, "Unable to determine initial floating point trapping. Assuming it is off\n"));
209cc9df77eSBarry Smith   PetscFunctionReturn(0);
210cc9df77eSBarry Smith }
211cc9df77eSBarry Smith 
212e5c89e4eSSatish Balay /* -------------------------------------------------------------------------------------------*/
213e5c89e4eSSatish Balay #elif defined(PETSC_HAVE_SOLARIS_STYLE_FPTRAP)
214e5c89e4eSSatish Balay #include <sunmath.h>
215e5c89e4eSSatish Balay #include <floatingpoint.h>
216e5c89e4eSSatish Balay #include <siginfo.h>
217e5c89e4eSSatish Balay #include <ucontext.h>
218e5c89e4eSSatish Balay 
2199371c9d4SSatish Balay static struct {
2209371c9d4SSatish Balay   int   code_no;
2219371c9d4SSatish Balay   char *name;
2229371c9d4SSatish Balay } error_codes[] = {
223e5c89e4eSSatish Balay   {FPE_FLTINV, "invalid floating point operand"},
224e5c89e4eSSatish Balay   {FPE_FLTRES, "inexact floating point result" },
225e5c89e4eSSatish Balay   {FPE_FLTDIV, "division-by-zero"              },
226e5c89e4eSSatish Balay   {FPE_FLTUND, "floating point underflow"      },
227e5c89e4eSSatish Balay   {FPE_FLTOVF, "floating point overflow"       },
228e5c89e4eSSatish Balay   {0,          "unknown error"                 }
229e5c89e4eSSatish Balay };
230e5c89e4eSSatish Balay #define SIGPC(scp) (scp->si_addr)
231e5c89e4eSSatish Balay 
2329371c9d4SSatish Balay void PetscDefaultFPTrap(int sig, siginfo_t *scp, ucontext_t *uap) {
2335f80ce2aSJacob Faibussowitsch   int err_ind = -1, code = scp->si_code;
234e5c89e4eSSatish Balay 
235e5c89e4eSSatish Balay   PetscFunctionBegin;
2365f80ce2aSJacob Faibussowitsch   for (int j = 0; error_codes[j].code_no; j++) {
237e5c89e4eSSatish Balay     if (error_codes[j].code_no == code) err_ind = j;
238e5c89e4eSSatish Balay   }
239e5c89e4eSSatish Balay 
240a297a907SKarl Rupp   if (err_ind >= 0) (*PetscErrorPrintf)("*** %s occurred at pc=%X ***\n", error_codes[err_ind].name, SIGPC(scp));
241a297a907SKarl Rupp   else (*PetscErrorPrintf)("*** floating point error 0x%x occurred at pc=%X ***\n", code, SIGPC(scp));
242a297a907SKarl Rupp 
24349c86fc7SBarry Smith   (void)PetscError(PETSC_COMM_SELF, 0, NULL, NULL, PETSC_ERR_FP, PETSC_ERROR_REPEAT, "floating point error");
24441e02c4dSJunchao Zhang   PETSCABORT(MPI_COMM_WORLD, PETSC_ERR_FP);
245e5c89e4eSSatish Balay }
246e5c89e4eSSatish Balay 
2479371c9d4SSatish Balay PetscErrorCode PetscSetFPTrap(PetscFPTrap flag) {
248e5c89e4eSSatish Balay   char *out;
249e5c89e4eSSatish Balay 
250e5c89e4eSSatish Balay   PetscFunctionBegin;
251e5c89e4eSSatish Balay   /* Clear accumulated exceptions.  Used to suppress meaningless messages from f77 programs */
252e5c89e4eSSatish Balay   (void)ieee_flags("clear", "exception", "all", &out);
253e5c89e4eSSatish Balay   if (flag == PETSC_FP_TRAP_ON) {
254a297a907SKarl Rupp     if (ieee_handler("set", "common", (sigfpe_handler_type)PetscDefaultFPTrap)) (*PetscErrorPrintf)("Can't set floating point handler\n");
255cc9df77eSBarry Smith   } else {
256cc9df77eSBarry Smith     if (ieee_handler("clear", "common", (sigfpe_handler_type)PetscDefaultFPTrap)) (*PetscErrorPrintf)("Can't clear floatingpoint handler\n");
257cc9df77eSBarry Smith   }
258670f3ff9SJed Brown   _trapmode = flag;
259e5c89e4eSSatish Balay   PetscFunctionReturn(0);
260e5c89e4eSSatish Balay }
261e5c89e4eSSatish Balay 
2629371c9d4SSatish Balay PetscErrorCode PetscDetermineInitialFPTrap(void) {
263cc9df77eSBarry Smith   PetscFunctionBegin;
2649566063dSJacob Faibussowitsch   PetscCall(PetscInfo(NULL, "Unable to determine initial floating point trapping. Assuming it is off\n"));
265cc9df77eSBarry Smith   PetscFunctionReturn(0);
266cc9df77eSBarry Smith }
267cc9df77eSBarry Smith 
268cc9df77eSBarry Smith /* ------------------------------------------------------------------------------------------*/
269e5c89e4eSSatish Balay #elif defined(PETSC_HAVE_IRIX_STYLE_FPTRAP)
270e5c89e4eSSatish Balay #include <sigfpe.h>
2719371c9d4SSatish Balay static struct {
2729371c9d4SSatish Balay   int   code_no;
2739371c9d4SSatish Balay   char *name;
2749371c9d4SSatish Balay } error_codes[] = {
275e5c89e4eSSatish Balay   {_INVALID, "IEEE operand error"      },
276e5c89e4eSSatish Balay   {_OVERFL,  "floating point overflow" },
277e5c89e4eSSatish Balay   {_UNDERFL, "floating point underflow"},
278e5c89e4eSSatish Balay   {_DIVZERO, "floating point divide"   },
279e5c89e4eSSatish Balay   {0,        "unknown error"           }
280e5c89e4eSSatish Balay };
2819371c9d4SSatish Balay void PetscDefaultFPTrap(unsigned exception[], int val[]) {
2825f80ce2aSJacob Faibussowitsch   int err_ind = -1, code = exception[0];
283e5c89e4eSSatish Balay 
284e5c89e4eSSatish Balay   PetscFunctionBegin;
2855f80ce2aSJacob Faibussowitsch   for (int j = 0; error_codes[j].code_no; j++) {
286e5c89e4eSSatish Balay     if (error_codes[j].code_no == code) err_ind = j;
287e5c89e4eSSatish Balay   }
288a297a907SKarl Rupp   if (err_ind >= 0) (*PetscErrorPrintf)("*** %s occurred ***\n", error_codes[err_ind].name);
289a297a907SKarl Rupp   else (*PetscErrorPrintf)("*** floating point error 0x%x occurred ***\n", code);
290a297a907SKarl Rupp 
29149c86fc7SBarry Smith   (void)PetscError(PETSC_COMM_SELF, 0, NULL, NULL, PETSC_ERR_FP, PETSC_ERROR_REPEAT, "floating point error");
29241e02c4dSJunchao Zhang   PETSCABORT(MPI_COMM_WORLD, PETSC_ERR_FP);
293e5c89e4eSSatish Balay }
294e5c89e4eSSatish Balay 
2959371c9d4SSatish Balay PetscErrorCode PetscSetFPTrap(PetscFPTrap flag) {
296e5c89e4eSSatish Balay   PetscFunctionBegin;
297cf0818bdSBarry Smith   if (flag) handle_sigfpes(_ON, , _EN_UNDERFL | _EN_OVERFL | _EN_DIVZERO | _EN_INVALID, PetscDefaultFPTrap, _ABORT_ON_ERROR, 0);
298cc9df77eSBarry Smith   else handle_sigfpes(_OFF, _EN_UNDERFL | _EN_OVERFL | _EN_DIVZERO | _EN_INVALID, 0, _ABORT_ON_ERROR, 0);
299670f3ff9SJed Brown   _trapmode = flag;
300e5c89e4eSSatish Balay   PetscFunctionReturn(0);
301e5c89e4eSSatish Balay }
302cc9df77eSBarry Smith 
3039371c9d4SSatish Balay PetscErrorCode PetscDetermineInitialFPTrap(void) {
304cc9df77eSBarry Smith   PetscFunctionBegin;
3059566063dSJacob Faibussowitsch   PetscCall(PetscInfo(NULL, "Unable to determine initial floating point trapping. Assuming it is off\n"));
306cc9df77eSBarry Smith   PetscFunctionReturn(0);
307cc9df77eSBarry Smith }
308cc9df77eSBarry Smith 
309e5c89e4eSSatish Balay /* -------------------------------------------------------------------------------------------*/
310cc9df77eSBarry Smith #elif defined(PETSC_HAVE_SOLARIS_STYLE_FPTRAP)
311cc9df77eSBarry Smith #include <sunmath.h>
312cc9df77eSBarry Smith #include <floatingpoint.h>
313cc9df77eSBarry Smith #include <siginfo.h>
314cc9df77eSBarry Smith #include <ucontext.h>
315cc9df77eSBarry Smith 
3169371c9d4SSatish Balay static struct {
3179371c9d4SSatish Balay   int   code_no;
3189371c9d4SSatish Balay   char *name;
3199371c9d4SSatish Balay } error_codes[] = {
320cc9df77eSBarry Smith   {FPE_FLTINV, "invalid floating point operand"},
321cc9df77eSBarry Smith   {FPE_FLTRES, "inexact floating point result" },
322cc9df77eSBarry Smith   {FPE_FLTDIV, "division-by-zero"              },
323cc9df77eSBarry Smith   {FPE_FLTUND, "floating point underflow"      },
324cc9df77eSBarry Smith   {FPE_FLTOVF, "floating point overflow"       },
325cc9df77eSBarry Smith   {0,          "unknown error"                 }
326cc9df77eSBarry Smith };
327cc9df77eSBarry Smith #define SIGPC(scp) (scp->si_addr)
328cc9df77eSBarry Smith 
3299371c9d4SSatish Balay void PetscDefaultFPTrap(int sig, siginfo_t *scp, ucontext_t *uap) {
3305f80ce2aSJacob Faibussowitsch   int err_ind = -1, code = scp->si_code;
331cc9df77eSBarry Smith 
332cc9df77eSBarry Smith   PetscFunctionBegin;
333cc9df77eSBarry Smith   err_ind = -1;
3345f80ce2aSJacob Faibussowitsch   for (int j = 0; error_codes[j].code_no; j++) {
335cc9df77eSBarry Smith     if (error_codes[j].code_no == code) err_ind = j;
336cc9df77eSBarry Smith   }
337cc9df77eSBarry Smith 
338cc9df77eSBarry Smith   if (err_ind >= 0) (*PetscErrorPrintf)("*** %s occurred at pc=%X ***\n", error_codes[err_ind].name, SIGPC(scp));
339cc9df77eSBarry Smith   else (*PetscErrorPrintf)("*** floating point error 0x%x occurred at pc=%X ***\n", code, SIGPC(scp));
340cc9df77eSBarry Smith 
34149c86fc7SBarry Smith   (void)PetscError(PETSC_COMM_SELF, 0, NULL, NULL, PETSC_ERR_FP, PETSC_ERROR_REPEAT, "floating point error");
342cc9df77eSBarry Smith   PETSCABORT(MPI_COMM_WORLD, PETSC_ERR_FP);
343cc9df77eSBarry Smith }
344cc9df77eSBarry Smith 
3459371c9d4SSatish Balay PetscErrorCode PetscSetFPTrap(PetscFPTrap flag) {
346cc9df77eSBarry Smith   char *out;
347cc9df77eSBarry Smith 
348cc9df77eSBarry Smith   PetscFunctionBegin;
349cc9df77eSBarry Smith   /* Clear accumulated exceptions.  Used to suppress meaningless messages from f77 programs */
350cc9df77eSBarry Smith   (void)ieee_flags("clear", "exception", "all", &out);
351cf0818bdSBarry Smith   if (flag) {
352cc9df77eSBarry Smith     if (ieee_handler("set", "common", (sigfpe_handler_type)PetscDefaultFPTrap)) (*PetscErrorPrintf)("Can't set floating point handler\n");
353cc9df77eSBarry Smith   } else {
354cc9df77eSBarry Smith     if (ieee_handler("clear", "common", (sigfpe_handler_type)PetscDefaultFPTrap)) (*PetscErrorPrintf)("Can't clear floatingpoint handler\n");
355cc9df77eSBarry Smith   }
356cc9df77eSBarry Smith   _trapmode = flag;
357cc9df77eSBarry Smith   PetscFunctionReturn(0);
358cc9df77eSBarry Smith }
359cc9df77eSBarry Smith 
3609371c9d4SSatish Balay PetscErrorCode PetscDetermineInitialFPTrap(void) {
361cc9df77eSBarry Smith   PetscFunctionBegin;
3629566063dSJacob Faibussowitsch   PetscCall(PetscInfo(NULL, "Unable to determine initial floating point trapping. Assuming it is off\n"));
363cc9df77eSBarry Smith   PetscFunctionReturn(0);
364cc9df77eSBarry Smith }
365cc9df77eSBarry Smith 
366cc9df77eSBarry Smith /*----------------------------------------------- --------------------------------------------*/
367cc9df77eSBarry Smith #elif defined(PETSC_HAVE_RS6000_STYLE_FPTRAP)
368e5c89e4eSSatish Balay /* In "fast" mode, floating point traps are imprecise and ignored.
369e5c89e4eSSatish Balay    This is the reason for the fptrap(FP_TRAP_SYNC) call */
370e5c89e4eSSatish Balay struct sigcontext;
371e5c89e4eSSatish Balay #include <fpxcp.h>
372e5c89e4eSSatish Balay #include <fptrap.h>
373e5c89e4eSSatish Balay #define FPE_FLTOPERR_TRAP (fptrap_t)(0x20000000)
374e5c89e4eSSatish Balay #define FPE_FLTOVF_TRAP   (fptrap_t)(0x10000000)
375e5c89e4eSSatish Balay #define FPE_FLTUND_TRAP   (fptrap_t)(0x08000000)
376e5c89e4eSSatish Balay #define FPE_FLTDIV_TRAP   (fptrap_t)(0x04000000)
377e5c89e4eSSatish Balay #define FPE_FLTINEX_TRAP  (fptrap_t)(0x02000000)
378e5c89e4eSSatish Balay 
3799371c9d4SSatish Balay static struct {
3809371c9d4SSatish Balay   int   code_no;
3819371c9d4SSatish Balay   char *name;
3829371c9d4SSatish Balay } error_codes[] = {
383e5c89e4eSSatish Balay   {FPE_FLTOPERR_TRAP, "IEEE operand error"           },
384e5c89e4eSSatish Balay   {FPE_FLTOVF_TRAP,   "floating point overflow"      },
385e5c89e4eSSatish Balay   {FPE_FLTUND_TRAP,   "floating point underflow"     },
386e5c89e4eSSatish Balay   {FPE_FLTDIV_TRAP,   "floating point divide"        },
387e5c89e4eSSatish Balay   {FPE_FLTINEX_TRAP,  "inexact floating point result"},
388e5c89e4eSSatish Balay   {0,                 "unknown error"                }
389e5c89e4eSSatish Balay };
390e5c89e4eSSatish Balay #define SIGPC(scp)        (0) /* Info MIGHT be in scp->sc_jmpbuf.jmp_context.iar */
391e5c89e4eSSatish Balay /*
392e5c89e4eSSatish Balay    For some reason, scp->sc_jmpbuf does not work on the RS6000, even though
393e5c89e4eSSatish Balay    it looks like it should from the include definitions.  It is probably
394e5c89e4eSSatish Balay    some strange interaction with the "POSIX_SOURCE" that we require.
395e5c89e4eSSatish Balay */
396e5c89e4eSSatish Balay 
3979371c9d4SSatish Balay void PetscDefaultFPTrap(int sig, int code, struct sigcontext *scp) {
398e5c89e4eSSatish Balay   int      err_ind, j;
399e5c89e4eSSatish Balay   fp_ctx_t flt_context;
400e5c89e4eSSatish Balay 
401e5c89e4eSSatish Balay   PetscFunctionBegin;
402e5c89e4eSSatish Balay   fp_sh_trap_info(scp, &flt_context);
403e5c89e4eSSatish Balay 
404e5c89e4eSSatish Balay   err_ind = -1;
405e5c89e4eSSatish Balay   for (j = 0; error_codes[j].code_no; j++) {
406e5c89e4eSSatish Balay     if (error_codes[j].code_no == flt_context.trap) err_ind = j;
407e5c89e4eSSatish Balay   }
408e5c89e4eSSatish Balay 
409a297a907SKarl Rupp   if (err_ind >= 0) (*PetscErrorPrintf)("*** %s occurred ***\n", error_codes[err_ind].name);
410a297a907SKarl Rupp   else (*PetscErrorPrintf)("*** floating point error 0x%x occurred ***\n", flt_context.trap);
411a297a907SKarl Rupp 
41249c86fc7SBarry Smith   (void)PetscError(PETSC_COMM_SELF, 0, NULL, NULL, PETSC_ERR_FP, PETSC_ERROR_REPEAT, "floating point error");
41341e02c4dSJunchao Zhang   PETSCABORT(MPI_COMM_WORLD, PETSC_ERR_FP);
414e5c89e4eSSatish Balay }
415e5c89e4eSSatish Balay 
4169371c9d4SSatish Balay PetscErrorCode PetscSetFPTrap(PetscFPTrap flag) {
417e5c89e4eSSatish Balay   PetscFunctionBegin;
418cf0818bdSBarry Smith   if (flag) {
419e5c89e4eSSatish Balay     signal(SIGFPE, (void (*)(int))PetscDefaultFPTrap);
420e5c89e4eSSatish Balay     fp_trap(FP_TRAP_SYNC);
421cc9df77eSBarry Smith     fp_enable(TRP_INVALID | TRP_DIV_BY_ZERO | TRP_OVERFLOW | TRP_UNDERFLOW);
422e5c89e4eSSatish Balay     /* fp_enable(mask) for individual traps.  Values are:
423e5c89e4eSSatish Balay        TRP_INVALID
424e5c89e4eSSatish Balay        TRP_DIV_BY_ZERO
425e5c89e4eSSatish Balay        TRP_OVERFLOW
426e5c89e4eSSatish Balay        TRP_UNDERFLOW
427e5c89e4eSSatish Balay        TRP_INEXACT
428e5c89e4eSSatish Balay        Can OR then together.
429e5c89e4eSSatish Balay        fp_enable_all(); for all traps.
430e5c89e4eSSatish Balay     */
431e5c89e4eSSatish Balay   } else {
432e5c89e4eSSatish Balay     signal(SIGFPE, SIG_DFL);
433cc9df77eSBarry Smith     fp_disable(TRP_INVALID | TRP_DIV_BY_ZERO | TRP_OVERFLOW | TRP_UNDERFLOW);
434e5c89e4eSSatish Balay     fp_trap(FP_TRAP_OFF);
435e5c89e4eSSatish Balay   }
436cf0818bdSBarry Smith   _trapmode = flag;
437e5c89e4eSSatish Balay   PetscFunctionReturn(0);
438e5c89e4eSSatish Balay }
439e5c89e4eSSatish Balay 
4409371c9d4SSatish Balay PetscErrorCode PetscDetermineInitialFPTrap(void) {
441cc9df77eSBarry Smith   PetscFunctionBegin;
4429566063dSJacob Faibussowitsch   PetscCall(PetscInfo(NULL, "Unable to determine initial floating point trapping. Assuming it is off\n"));
443cc9df77eSBarry Smith   PetscFunctionReturn(0);
444cc9df77eSBarry Smith }
445cc9df77eSBarry Smith 
446cc9df77eSBarry Smith /* ------------------------------------------------------------*/
447cc9df77eSBarry Smith #elif defined(PETSC_HAVE_WINDOWS_COMPILERS)
448cc9df77eSBarry Smith #include <float.h>
4499371c9d4SSatish Balay void PetscDefaultFPTrap(int sig) {
450cc9df77eSBarry Smith   PetscFunctionBegin;
451cc9df77eSBarry Smith   (*PetscErrorPrintf)("*** floating point error occurred ***\n");
45249c86fc7SBarry Smith   PetscError(PETSC_COMM_SELF, 0, NULL, NULL, PETSC_ERR_FP, PETSC_ERROR_REPEAT, "floating point error");
453cc9df77eSBarry Smith   PETSCABORT(MPI_COMM_WORLD, PETSC_ERR_FP);
454cc9df77eSBarry Smith }
455cc9df77eSBarry Smith 
4569371c9d4SSatish Balay PetscErrorCode PetscSetFPTrap(PetscFPTrap flag) {
457cc9df77eSBarry Smith   unsigned int cw;
458cc9df77eSBarry Smith 
459cc9df77eSBarry Smith   PetscFunctionBegin;
460cf0818bdSBarry Smith   if (flag) {
461cc9df77eSBarry Smith     cw = _EM_INVALID | _EM_ZERODIVIDE | _EM_OVERFLOW | _EM_UNDERFLOW;
46208401ef6SPierre Jolivet     PetscCheck(SIG_ERR != signal(SIGFPE, PetscDefaultFPTrap), PETSC_COMM_SELF, PETSC_ERR_LIB, "Can't set floating point handler");
463cc9df77eSBarry Smith   } else {
464cc9df77eSBarry Smith     cw = 0;
46508401ef6SPierre Jolivet     PetscCheck(SIG_ERR != signal(SIGFPE, SIG_DFL), PETSC_COMM_SELF, PETSC_ERR_LIB, "Can't clear floating point handler");
466cc9df77eSBarry Smith   }
467cc9df77eSBarry Smith   (void)_controlfp(0, cw);
468cf0818bdSBarry Smith   _trapmode = flag;
469cc9df77eSBarry Smith   PetscFunctionReturn(0);
470cc9df77eSBarry Smith }
471cc9df77eSBarry Smith 
4729371c9d4SSatish Balay PetscErrorCode PetscDetermineInitialFPTrap(void) {
473cc9df77eSBarry Smith   PetscFunctionBegin;
4749566063dSJacob Faibussowitsch   PetscCall(PetscInfo(NULL, "Unable to determine initial floating point trapping. Assuming it is off\n"));
475cc9df77eSBarry Smith   PetscFunctionReturn(0);
476cc9df77eSBarry Smith }
477cc9df77eSBarry Smith 
478cc9df77eSBarry Smith /* ------------------------------------------------------------*/
4799a2402e9SBarry Smith #elif defined(PETSC_HAVE_FENV_H) && !defined(__cplusplus)
480b014e56cSJed Brown /*
481b014e56cSJed Brown    C99 style floating point environment.
482b014e56cSJed Brown 
483b014e56cSJed Brown    Note that C99 merely specifies how to save, restore, and clear the floating
484b014e56cSJed Brown    point environment as well as defining an enumeration of exception codes.  In
485b014e56cSJed Brown    particular, C99 does not specify how to make floating point exceptions raise
486b014e56cSJed Brown    a signal.  Glibc offers this capability through FE_NOMASK_ENV (or with finer
487b014e56cSJed Brown    granularity, feenableexcept()), xmmintrin.h offers _MM_SET_EXCEPTION_MASK().
488b014e56cSJed Brown */
489b014e56cSJed Brown #include <fenv.h>
4909371c9d4SSatish Balay typedef struct {
4919371c9d4SSatish Balay   int         code;
4929371c9d4SSatish Balay   const char *name;
4939371c9d4SSatish Balay } FPNode;
494b014e56cSJed Brown static const FPNode error_codes[] = {
495b014e56cSJed Brown   {FE_DIVBYZERO, "divide by zero"                                 },
496b014e56cSJed Brown   {FE_INEXACT,   "inexact floating point result"                  },
497b014e56cSJed Brown   {FE_INVALID,   "invalid floating point arguments (domain error)"},
498b014e56cSJed Brown   {FE_OVERFLOW,  "floating point overflow"                        },
499b014e56cSJed Brown   {FE_UNDERFLOW, "floating point underflow"                       },
500b014e56cSJed Brown   {0,            "unknown error"                                  }
501b014e56cSJed Brown };
50299e0435eSBarry Smith 
5039371c9d4SSatish Balay void PetscDefaultFPTrap(int sig) {
504b014e56cSJed Brown   const FPNode *node;
505b014e56cSJed Brown   int           code;
506ace3abfcSBarry Smith   PetscBool     matched = PETSC_FALSE;
507b014e56cSJed Brown 
508b014e56cSJed Brown   PetscFunctionBegin;
509b014e56cSJed Brown   /* Note: While it is possible for the exception state to be preserved by the
510b014e56cSJed Brown    * kernel, this seems to be rare which makes the following flag testing almost
511b014e56cSJed Brown    * useless.  But on a system where the flags can be preserved, it would provide
5127d125cddSJed Brown    * more detail.
513b014e56cSJed Brown    */
514b014e56cSJed Brown   code = fetestexcept(FE_ALL_EXCEPT);
515b014e56cSJed Brown   for (node = &error_codes[0]; node->code; node++) {
516b014e56cSJed Brown     if (code & node->code) {
517b014e56cSJed Brown       matched = PETSC_TRUE;
518b014e56cSJed Brown       (*PetscErrorPrintf)("*** floating point error \"%s\" occurred ***\n", node->name);
519b014e56cSJed Brown       code &= ~node->code; /* Unset this flag since it has been processed */
520b014e56cSJed Brown     }
521b014e56cSJed Brown   }
522b014e56cSJed Brown   if (!matched || code) { /* If any remaining flags are set, or we didn't process any flags */
523b014e56cSJed Brown     (*PetscErrorPrintf)("*** unknown floating point error occurred ***\n");
5247d125cddSJed Brown     (*PetscErrorPrintf)("The specific exception can be determined by running in a debugger.  When the\n");
5257d125cddSJed Brown     (*PetscErrorPrintf)("debugger traps the signal, the exception can be found with fetestexcept(0x%x)\n", FE_ALL_EXCEPT);
5267d125cddSJed Brown     (*PetscErrorPrintf)("where the result is a bitwise OR of the following flags:\n");
5277d125cddSJed Brown     (*PetscErrorPrintf)("FE_INVALID=0x%x FE_DIVBYZERO=0x%x FE_OVERFLOW=0x%x FE_UNDERFLOW=0x%x FE_INEXACT=0x%x\n", FE_INVALID, FE_DIVBYZERO, FE_OVERFLOW, FE_UNDERFLOW, FE_INEXACT);
528b014e56cSJed Brown   }
5297d125cddSJed Brown 
5307d125cddSJed Brown   (*PetscErrorPrintf)("Try option -start_in_debugger\n");
53127104ee2SJacob Faibussowitsch #if PetscDefined(USE_DEBUG)
5327d125cddSJed Brown   (*PetscErrorPrintf)("likely location of problem given in stack below\n");
5337d125cddSJed Brown   (*PetscErrorPrintf)("---------------------  Stack Frames ------------------------------------\n");
534639ff905SBarry Smith   PetscStackView(PETSC_STDOUT);
53527104ee2SJacob Faibussowitsch #else
5367d125cddSJed Brown   (*PetscErrorPrintf)("configure using --with-debugging=yes, recompile, link, and run \n");
5377d125cddSJed Brown   (*PetscErrorPrintf)("with -start_in_debugger to get more information on the crash.\n");
53827104ee2SJacob Faibussowitsch #endif
53949c86fc7SBarry Smith   PetscError(PETSC_COMM_SELF, 0, NULL, NULL, PETSC_ERR_FP, PETSC_ERROR_INITIAL, "trapped floating point error");
54041e02c4dSJunchao Zhang   PETSCABORT(MPI_COMM_WORLD, PETSC_ERR_FP);
541b014e56cSJed Brown }
542b014e56cSJed Brown 
5439371c9d4SSatish Balay PetscErrorCode PetscSetFPTrap(PetscFPTrap flag) {
544b014e56cSJed Brown   PetscFunctionBegin;
545cf0818bdSBarry Smith   if (flag) {
546b014e56cSJed Brown     /* Clear any flags that are currently set so that activating trapping will not immediately call the signal handler. */
547cc73adaaSBarry Smith     PetscCheck(!feclearexcept(FE_ALL_EXCEPT), PETSC_COMM_SELF, PETSC_ERR_LIB, "Cannot clear floating point exception flags");
548cc9df77eSBarry Smith #if defined(FE_NOMASK_ENV)
549cc9df77eSBarry Smith     /* Could use fesetenv(FE_NOMASK_ENV), but that causes spurious exceptions (like gettimeofday() -> PetscLogDouble). */
550cf0818bdSBarry Smith     /* PetscCheck(feenableexcept(FE_DIVBYZERO | FE_INVALID | FE_OVERFLOW | FE_UNDERFLOW) != -1,PETSC_COMM_SELF,PETSC_ERR_LIB,"Cannot activate floating point exceptions"); */
551cf0818bdSBarry Smith     PetscCheck(feenableexcept(FE_DIVBYZERO | FE_INVALID | FE_OVERFLOW) != -1, PETSC_COMM_SELF, PETSC_ERR_LIB, "Cannot activate floating point exceptions");
552b014e56cSJed Brown #elif defined PETSC_HAVE_XMMINTRIN_H
553cc9df77eSBarry Smith     _MM_SET_EXCEPTION_MASK(_MM_GET_EXCEPTION_MASK() & ~_MM_MASK_DIV_ZERO);
554cc9df77eSBarry Smith     _MM_SET_EXCEPTION_MASK(_MM_GET_EXCEPTION_MASK() & ~_MM_MASK_UNDERFLOW);
555cc9df77eSBarry Smith     _MM_SET_EXCEPTION_MASK(_MM_GET_EXCEPTION_MASK() & ~_MM_MASK_OVERFLOW);
556cc9df77eSBarry Smith     _MM_SET_EXCEPTION_MASK(_MM_GET_EXCEPTION_MASK() & ~_MM_MASK_INVALID);
557b014e56cSJed Brown #else
558b014e56cSJed Brown     /* C99 does not provide a way to modify the environment so there is no portable way to activate trapping. */
559b014e56cSJed Brown #endif
56008401ef6SPierre Jolivet     PetscCheck(SIG_ERR != signal(SIGFPE, PetscDefaultFPTrap), PETSC_COMM_SELF, PETSC_ERR_LIB, "Can't set floating point handler");
561b014e56cSJed Brown   } else {
562cc73adaaSBarry Smith     PetscCheck(!fesetenv(FE_DFL_ENV), PETSC_COMM_SELF, PETSC_ERR_LIB, "Cannot disable floating point exceptions");
563cc9df77eSBarry Smith     /* can use _MM_SET_EXCEPTION_MASK(_MM_GET_EXCEPTION_MASK() | _MM_MASK_UNDERFLOW); if PETSC_HAVE_XMMINTRIN_H exists */
56408401ef6SPierre Jolivet     PetscCheck(SIG_ERR != signal(SIGFPE, SIG_DFL), PETSC_COMM_SELF, PETSC_ERR_LIB, "Can't clear floating point handler");
565b014e56cSJed Brown   }
566cf0818bdSBarry Smith   _trapmode = flag;
567b014e56cSJed Brown   PetscFunctionReturn(0);
568b014e56cSJed Brown }
569b014e56cSJed Brown 
5709371c9d4SSatish Balay PetscErrorCode PetscDetermineInitialFPTrap(void) {
571cc9df77eSBarry Smith #if defined(FE_NOMASK_ENV) || defined PETSC_HAVE_XMMINTRIN_H
572cc9df77eSBarry Smith   unsigned int flags;
573cc9df77eSBarry Smith #endif
574cc9df77eSBarry Smith 
575cc9df77eSBarry Smith   PetscFunctionBegin;
576cc9df77eSBarry Smith #if defined(FE_NOMASK_ENV)
577cc9df77eSBarry Smith   flags = fegetexcept();
578cc9df77eSBarry Smith   if (flags & FE_DIVBYZERO) {
579cc9df77eSBarry Smith #elif defined PETSC_HAVE_XMMINTRIN_H
580cc9df77eSBarry Smith   flags = _MM_GET_EXCEPTION_MASK();
581cc9df77eSBarry Smith   if (!(flags & _MM_MASK_DIV_ZERO)) {
582cc9df77eSBarry Smith #else
5839566063dSJacob Faibussowitsch   PetscCall(PetscInfo(NULL, "Floating point trapping unknown, assuming off\n"));
584cc9df77eSBarry Smith   PetscFunctionReturn(0);
585cc9df77eSBarry Smith #endif
586cc9df77eSBarry Smith #if defined(FE_NOMASK_ENV) || defined PETSC_HAVE_XMMINTRIN_H
587cc9df77eSBarry Smith     _trapmode = PETSC_FP_TRAP_ON;
5889566063dSJacob Faibussowitsch     PetscCall(PetscInfo(NULL, "Floating point trapping is on by default %d\n", flags));
589cc9df77eSBarry Smith   } else {
590cc9df77eSBarry Smith     _trapmode = PETSC_FP_TRAP_OFF;
5919566063dSJacob Faibussowitsch     PetscCall(PetscInfo(NULL, "Floating point trapping is off by default %d\n", flags));
592cc9df77eSBarry Smith   }
593cc9df77eSBarry Smith   PetscFunctionReturn(0);
594cc9df77eSBarry Smith #endif
595cc9df77eSBarry Smith }
596cc9df77eSBarry Smith 
597cc9df77eSBarry Smith /* ------------------------------------------------------------*/
598cc9df77eSBarry Smith #elif defined(PETSC_HAVE_IEEEFP_H)
599cc9df77eSBarry Smith #include <ieeefp.h>
6009371c9d4SSatish Balay void PetscDefaultFPTrap(int sig) {
601cc9df77eSBarry Smith   PetscFunctionBegin;
602cc9df77eSBarry Smith   (*PetscErrorPrintf)("*** floating point error occurred ***\n");
60349c86fc7SBarry Smith   PetscError(PETSC_COMM_SELF, 0, NULL, NULL, PETSC_ERR_FP, PETSC_ERROR_REPEAT, "floating point error");
604cc9df77eSBarry Smith   PETSCABORT(MPI_COMM_WORLD, PETSC_ERR_FP);
605cc9df77eSBarry Smith }
606cc9df77eSBarry Smith 
6079371c9d4SSatish Balay PetscErrorCode PetscSetFPTrap(PetscFPTrap flag) {
608cc9df77eSBarry Smith   PetscFunctionBegin;
609cf0818bdSBarry Smith   if (flag == PETSC_FP_TRAP_ON) {
610cc9df77eSBarry Smith #if defined(PETSC_HAVE_FPPRESETSTICKY)
611cc9df77eSBarry Smith     fpresetsticky(fpgetsticky());
612cc9df77eSBarry Smith #elif defined(PETSC_HAVE_FPSETSTICKY)
613cc9df77eSBarry Smith     fpsetsticky(fpgetsticky());
614cc9df77eSBarry Smith #endif
615cc9df77eSBarry Smith     fpsetmask(FP_X_INV | FP_X_DZ | FP_X_OFL | FP_X_OFL);
61608401ef6SPierre Jolivet     PetscCheck(SIG_ERR != signal(SIGFPE, PetscDefaultFPTrap), PETSC_COMM_SELF, PETSC_ERR_LIB, "Can't set floating point handler");
617cc9df77eSBarry Smith   } else {
618cc9df77eSBarry Smith #if defined(PETSC_HAVE_FPPRESETSTICKY)
619cc9df77eSBarry Smith     fpresetsticky(fpgetsticky());
620cc9df77eSBarry Smith #elif defined(PETSC_HAVE_FPSETSTICKY)
621cc9df77eSBarry Smith     fpsetsticky(fpgetsticky());
622cc9df77eSBarry Smith #endif
623cc9df77eSBarry Smith     fpsetmask(0);
62408401ef6SPierre Jolivet     PetscCheck(SIG_ERR != signal(SIGFPE, SIG_DFL), PETSC_COMM_SELF, PETSC_ERR_LIB, "Can't clear floating point handler");
625cc9df77eSBarry Smith   }
626cf0818bdSBarry Smith   _trapmode = flag;
627cc9df77eSBarry Smith   PetscFunctionReturn(0);
628cc9df77eSBarry Smith }
629cc9df77eSBarry Smith 
6309371c9d4SSatish Balay PetscErrorCode PetscDetermineInitialFPTrap(void) {
631cc9df77eSBarry Smith   PetscFunctionBegin;
6329566063dSJacob Faibussowitsch   PetscCall(PetscInfo(NULL, "Unable to determine initial floating point trapping. Assuming it is off\n"));
633cc9df77eSBarry Smith   PetscFunctionReturn(0);
634cc9df77eSBarry Smith }
635cc9df77eSBarry Smith 
636e5c89e4eSSatish Balay /* -------------------------Default -----------------------------------*/
637e5c89e4eSSatish Balay #else
63899e0435eSBarry Smith 
6399371c9d4SSatish Balay void PetscDefaultFPTrap(int sig) {
640e5c89e4eSSatish Balay   PetscFunctionBegin;
641e5c89e4eSSatish Balay   (*PetscErrorPrintf)("*** floating point error occurred ***\n");
64249c86fc7SBarry Smith   PetscError(PETSC_COMM_SELF, 0, NULL, NULL, PETSC_ERR_FP, PETSC_ERROR_REPEAT, "floating point error");
64341e02c4dSJunchao Zhang   PETSCABORT(MPI_COMM_WORLD, PETSC_ERR_FP);
644e5c89e4eSSatish Balay }
64599e0435eSBarry Smith 
6469371c9d4SSatish Balay PetscErrorCode PetscSetFPTrap(PetscFPTrap flag) {
647e5c89e4eSSatish Balay   PetscFunctionBegin;
648cf0818bdSBarry Smith   if (flag) {
649a297a907SKarl Rupp     if (SIG_ERR == signal(SIGFPE, PetscDefaultFPTrap)) (*PetscErrorPrintf)("Can't set floatingpoint handler\n");
650a297a907SKarl Rupp   } else if (SIG_ERR == signal(SIGFPE, SIG_DFL)) (*PetscErrorPrintf)("Can't clear floatingpoint handler\n");
651a297a907SKarl Rupp 
652cf0818bdSBarry Smith   _trapmode = flag;
653e5c89e4eSSatish Balay   PetscFunctionReturn(0);
654e5c89e4eSSatish Balay }
655cc9df77eSBarry Smith 
6569371c9d4SSatish Balay PetscErrorCode PetscDetermineInitialFPTrap(void) {
657cc9df77eSBarry Smith   PetscFunctionBegin;
6589566063dSJacob Faibussowitsch   PetscCall(PetscInfo(NULL, "Unable to determine initial floating point trapping. Assuming it is off\n"));
659cc9df77eSBarry Smith   PetscFunctionReturn(0);
660cc9df77eSBarry Smith }
661e5c89e4eSSatish Balay #endif
662