xref: /petsc/src/sys/error/fp.c (revision 1f006be4818ccfe49118c182cd80c73658380f6e)
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 /*@
29cc9df77eSBarry Smith    PetscFPTrapPush - push a floating point trapping mode, restored using PetscFPTrapPop()
30670f3ff9SJed Brown 
31670f3ff9SJed Brown    Not Collective
32670f3ff9SJed Brown 
334165533cSJose E. Roman    Input Parameter:
34670f3ff9SJed Brown .    trap - PETSC_FP_TRAP_ON or PETSC_FP_TRAP_OFF
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 
49aba4c478SBarry Smith .seealso: PetscFPTrapPop(), PetscSetFPTrap(), PetscDetermineInitialFPTrap()
50670f3ff9SJed Brown @*/
51670f3ff9SJed Brown PetscErrorCode PetscFPTrapPush(PetscFPTrap trap)
52670f3ff9SJed Brown {
53670f3ff9SJed Brown   struct PetscFPTrapLink *link;
54670f3ff9SJed Brown 
55670f3ff9SJed Brown   PetscFunctionBegin;
569566063dSJacob Faibussowitsch   PetscCall(PetscNew(&link));
57*1f006be4SPierre Jolivet #if defined(PETSC_HAVE_THREADSAFETY) && defined(PETSC_HAVE_OPENMP)
58*1f006be4SPierre Jolivet #pragma omp critical
59*1f006be4SPierre Jolivet #endif
60*1f006be4SPierre Jolivet   {
61670f3ff9SJed Brown     link->trapmode = _trapmode;
62670f3ff9SJed Brown     link->next     = _trapstack;
63670f3ff9SJed Brown     _trapstack     = link;
64*1f006be4SPierre Jolivet   }
659566063dSJacob Faibussowitsch   if (trap != _trapmode) PetscCall(PetscSetFPTrap(trap));
66670f3ff9SJed Brown   PetscFunctionReturn(0);
67670f3ff9SJed Brown }
68670f3ff9SJed Brown 
69670f3ff9SJed Brown /*@
70670f3ff9SJed Brown    PetscFPTrapPop - push a floating point trapping mode, to be restored using PetscFPTrapPop()
71670f3ff9SJed Brown 
72670f3ff9SJed Brown    Not Collective
73670f3ff9SJed Brown 
74670f3ff9SJed Brown    Level: advanced
75670f3ff9SJed Brown 
76aba4c478SBarry Smith .seealso: PetscFPTrapPush(), PetscSetFPTrap(), PetscDetermineInitialFPTrap()
77670f3ff9SJed Brown @*/
78670f3ff9SJed Brown PetscErrorCode PetscFPTrapPop(void)
79670f3ff9SJed Brown {
80670f3ff9SJed Brown   struct PetscFPTrapLink *link;
81670f3ff9SJed Brown 
82670f3ff9SJed Brown   PetscFunctionBegin;
839566063dSJacob Faibussowitsch   if (_trapstack->trapmode != _trapmode) PetscCall(PetscSetFPTrap(_trapstack->trapmode));
84*1f006be4SPierre Jolivet #if defined(PETSC_HAVE_THREADSAFETY) && defined(PETSC_HAVE_OPENMP)
85*1f006be4SPierre Jolivet #pragma omp critical
86*1f006be4SPierre Jolivet #endif
87*1f006be4SPierre Jolivet   {
88670f3ff9SJed Brown     link       = _trapstack;
89670f3ff9SJed Brown     _trapstack = _trapstack->next;
90*1f006be4SPierre Jolivet   }
919566063dSJacob Faibussowitsch   PetscCall(PetscFree(link));
92670f3ff9SJed Brown   PetscFunctionReturn(0);
93670f3ff9SJed Brown }
94670f3ff9SJed Brown 
95e5c89e4eSSatish Balay /*--------------------------------------- ---------------------------------------------------*/
96e5c89e4eSSatish Balay #if defined(PETSC_HAVE_SUN4_STYLE_FPTRAP)
97e5c89e4eSSatish Balay #include <floatingpoint.h>
98e5c89e4eSSatish Balay 
998cc058d9SJed Brown PETSC_EXTERN PetscErrorCode ieee_flags(char*,char*,char*,char**);
1008cc058d9SJed Brown PETSC_EXTERN PetscErrorCode ieee_handler(char*,char*,sigfpe_handler_type(int,int,struct sigcontext*,char*));
101e5c89e4eSSatish Balay 
102db32a245SJed Brown static struct { int code_no; char *name; } error_codes[] = {
103e5c89e4eSSatish Balay   { FPE_INTDIV_TRAP    ,"integer divide" },
104e5c89e4eSSatish Balay   { FPE_FLTOPERR_TRAP  ,"IEEE operand error" },
105e5c89e4eSSatish Balay   { FPE_FLTOVF_TRAP    ,"floating point overflow" },
106e5c89e4eSSatish Balay   { FPE_FLTUND_TRAP    ,"floating point underflow" },
107e5c89e4eSSatish Balay   { FPE_FLTDIV_TRAP    ,"floating pointing divide" },
108e5c89e4eSSatish Balay   { FPE_FLTINEX_TRAP   ,"inexact floating point result" },
109e5c89e4eSSatish Balay   { 0                  ,"unknown error" }
110e5c89e4eSSatish Balay };
111e5c89e4eSSatish Balay #define SIGPC(scp) (scp->sc_pc)
112e5c89e4eSSatish Balay 
113e5c89e4eSSatish Balay sigfpe_handler_type PetscDefaultFPTrap(int sig,int code,struct sigcontext *scp,char *addr)
114e5c89e4eSSatish Balay {
1155f80ce2aSJacob Faibussowitsch   int err_ind = -1;
116e5c89e4eSSatish Balay 
117e5c89e4eSSatish Balay   PetscFunctionBegin;
1185f80ce2aSJacob Faibussowitsch   for (int j = 0; error_codes[j].code_no; j++) {
119e5c89e4eSSatish Balay     if (error_codes[j].code_no == code) err_ind = j;
120e5c89e4eSSatish Balay   }
121e5c89e4eSSatish Balay 
122a297a907SKarl Rupp   if (err_ind >= 0) (*PetscErrorPrintf)("*** %s occurred at pc=%X ***\n",error_codes[err_ind].name,SIGPC(scp));
123a297a907SKarl Rupp   else              (*PetscErrorPrintf)("*** floating point error 0x%x occurred at pc=%X ***\n",code,SIGPC(scp));
124a297a907SKarl Rupp 
1255f80ce2aSJacob Faibussowitsch   (void)PetscError(PETSC_COMM_SELF,PETSC_ERR_FP,"User provided function","Unknown file",PETSC_ERR_FP,PETSC_ERROR_REPEAT,"floating point error");
12641e02c4dSJunchao Zhang   PETSCABORT(MPI_COMM_WORLD,PETSC_ERR_FP);
127e5c89e4eSSatish Balay   PetscFunctionReturn(0);
128e5c89e4eSSatish Balay }
129e5c89e4eSSatish Balay 
130e30d2299SSatish Balay /*@
131e5c89e4eSSatish Balay    PetscSetFPTrap - Enables traps/exceptions on common floating point errors.
132cc9df77eSBarry Smith                     This option may not work on certain systems.
133e5c89e4eSSatish Balay 
134e5c89e4eSSatish Balay    Not Collective
135e5c89e4eSSatish Balay 
136e5c89e4eSSatish Balay    Input Parameters:
137e5c89e4eSSatish Balay .  flag - PETSC_FP_TRAP_ON, PETSC_FP_TRAP_OFF.
138e5c89e4eSSatish Balay 
139e5c89e4eSSatish Balay    Options Database Keys:
140e5c89e4eSSatish Balay .  -fp_trap - Activates floating point trapping
141e5c89e4eSSatish Balay 
142e5c89e4eSSatish Balay    Level: advanced
143e5c89e4eSSatish Balay 
144e5c89e4eSSatish Balay    Description:
145cc9df77eSBarry Smith    On systems that support it, when called with PETSC_FP_TRAP_ON this routine causes floating point
146cc9df77eSBarry Smith    underflow, overflow, divide-by-zero, and invalid-operand (e.g., a NaN) to
147e5c89e4eSSatish Balay    cause a message to be printed and the program to exit.
148e5c89e4eSSatish Balay 
1497d125cddSJed Brown    Note:
150cc9df77eSBarry Smith    On many common systems, the floating
1517d125cddSJed Brown    point exception state is not preserved from the location where the trap
1527d125cddSJed Brown    occurred through to the signal handler.  In this case, the signal handler
1537d125cddSJed Brown    will just say that an unknown floating point exception occurred and which
1547d125cddSJed Brown    function it occurred in.  If you run with -fp_trap in a debugger, it will
155cc9df77eSBarry Smith    break on the line where the error occurred.  On systems that support C99
156cc9df77eSBarry Smith    floating point exception handling You can check which
1577d125cddSJed Brown    exception occurred using fetestexcept(FE_ALL_EXCEPT).  See fenv.h
1587d125cddSJed Brown    (usually at /usr/include/bits/fenv.h) for the enum values on your system.
1597d125cddSJed Brown 
160e5c89e4eSSatish Balay    Caution:
161cc9df77eSBarry Smith    On certain machines, in particular the IBM PowerPC, floating point
162cc9df77eSBarry Smith    trapping may be VERY slow!
163e5c89e4eSSatish Balay 
164aba4c478SBarry Smith .seealso: PetscFPTrapPush(), PetscFPTrapPop(), PetscDetermineInitialFPTrap()
165e5c89e4eSSatish Balay @*/
166e5c89e4eSSatish Balay PetscErrorCode PetscSetFPTrap(PetscFPTrap flag)
167e5c89e4eSSatish Balay {
168e5c89e4eSSatish Balay   char *out;
169e5c89e4eSSatish Balay 
170e5c89e4eSSatish Balay   PetscFunctionBegin;
171e5c89e4eSSatish Balay   /* Clear accumulated exceptions.  Used to suppress meaningless messages from f77 programs */
172e5c89e4eSSatish Balay   (void) ieee_flags("clear","exception","all",&out);
173e5c89e4eSSatish Balay   if (flag == PETSC_FP_TRAP_ON) {
174e5c89e4eSSatish Balay     /*
175a297a907SKarl Rupp       To trap more fp exceptions, including underflow, change the line below to
176e5c89e4eSSatish Balay       if (ieee_handler("set","all",PetscDefaultFPTrap)) {
177e5c89e4eSSatish Balay     */
178a297a907SKarl Rupp     if (ieee_handler("set","common",PetscDefaultFPTrap))        (*PetscErrorPrintf)("Can't set floatingpoint handler\n");
179a297a907SKarl Rupp   } else if (ieee_handler("clear","common",PetscDefaultFPTrap)) (*PetscErrorPrintf)("Can't clear floatingpoint handler\n");
180a297a907SKarl Rupp 
181670f3ff9SJed Brown   _trapmode = flag;
182e5c89e4eSSatish Balay   PetscFunctionReturn(0);
183e5c89e4eSSatish Balay }
184e5c89e4eSSatish Balay 
185cc9df77eSBarry Smith /*@
186aba4c478SBarry Smith    PetscDetermineInitialFPTrap - Attempts to determine the floating point trapping that exists when PetscInitialize() is called
187cc9df77eSBarry Smith 
188cc9df77eSBarry Smith    Not Collective
189cc9df77eSBarry Smith 
190cc9df77eSBarry Smith    Notes:
191cc9df77eSBarry Smith       Currently only supported on Linux and MacOS. Checks if divide by zero is enable and if so declares that trapping is on.
192cc9df77eSBarry Smith 
193ee300463SSatish Balay    Level: advanced
194cc9df77eSBarry Smith 
195aba4c478SBarry Smith .seealso: PetscFPTrapPush(), PetscFPTrapPop(), PetscDetermineInitialFPTrap()
196cc9df77eSBarry Smith @*/
197aba4c478SBarry Smith PetscErrorCode  PetscDetermineInitialFPTrap(void)
198cc9df77eSBarry Smith {
199cc9df77eSBarry Smith   PetscFunctionBegin;
2009566063dSJacob Faibussowitsch   PetscCall(PetscInfo(NULL,"Unable to determine initial floating point trapping. Assuming it is off\n"));
201cc9df77eSBarry Smith   PetscFunctionReturn(0);
202cc9df77eSBarry Smith }
203cc9df77eSBarry Smith 
204e5c89e4eSSatish Balay /* -------------------------------------------------------------------------------------------*/
205e5c89e4eSSatish Balay #elif defined(PETSC_HAVE_SOLARIS_STYLE_FPTRAP)
206e5c89e4eSSatish Balay #include <sunmath.h>
207e5c89e4eSSatish Balay #include <floatingpoint.h>
208e5c89e4eSSatish Balay #include <siginfo.h>
209e5c89e4eSSatish Balay #include <ucontext.h>
210e5c89e4eSSatish Balay 
211db32a245SJed Brown static struct { int code_no; char *name; } error_codes[] = {
212e5c89e4eSSatish Balay   { FPE_FLTINV,"invalid floating point operand"},
213e5c89e4eSSatish Balay   { FPE_FLTRES,"inexact floating point result"},
214e5c89e4eSSatish Balay   { FPE_FLTDIV,"division-by-zero"},
215e5c89e4eSSatish Balay   { FPE_FLTUND,"floating point underflow"},
216e5c89e4eSSatish Balay   { FPE_FLTOVF,"floating point overflow"},
217e5c89e4eSSatish Balay   { 0,         "unknown error"}
218e5c89e4eSSatish Balay };
219e5c89e4eSSatish Balay #define SIGPC(scp) (scp->si_addr)
220e5c89e4eSSatish Balay 
221e5c89e4eSSatish Balay void PetscDefaultFPTrap(int sig,siginfo_t *scp,ucontext_t *uap)
222e5c89e4eSSatish Balay {
2235f80ce2aSJacob Faibussowitsch   int err_ind = -1,code = scp->si_code;
224e5c89e4eSSatish Balay 
225e5c89e4eSSatish Balay   PetscFunctionBegin;
2265f80ce2aSJacob Faibussowitsch   for (int j = 0; error_codes[j].code_no; j++) {
227e5c89e4eSSatish Balay     if (error_codes[j].code_no == code) err_ind = j;
228e5c89e4eSSatish Balay   }
229e5c89e4eSSatish Balay 
230a297a907SKarl Rupp   if (err_ind >= 0) (*PetscErrorPrintf)("*** %s occurred at pc=%X ***\n",error_codes[err_ind].name,SIGPC(scp));
231a297a907SKarl Rupp   else              (*PetscErrorPrintf)("*** floating point error 0x%x occurred at pc=%X ***\n",code,SIGPC(scp));
232a297a907SKarl Rupp 
2335f80ce2aSJacob Faibussowitsch   (void)PetscError(PETSC_COMM_SELF,0,"User provided function","Unknown file",PETSC_ERR_FP,PETSC_ERROR_REPEAT,"floating point error");
23441e02c4dSJunchao Zhang   PETSCABORT(MPI_COMM_WORLD,PETSC_ERR_FP);
235e5c89e4eSSatish Balay }
236e5c89e4eSSatish Balay 
237e5c89e4eSSatish Balay PetscErrorCode PetscSetFPTrap(PetscFPTrap flag)
238e5c89e4eSSatish Balay {
239e5c89e4eSSatish Balay   char *out;
240e5c89e4eSSatish Balay 
241e5c89e4eSSatish Balay   PetscFunctionBegin;
242e5c89e4eSSatish Balay   /* Clear accumulated exceptions.  Used to suppress meaningless messages from f77 programs */
243e5c89e4eSSatish Balay   (void) ieee_flags("clear","exception","all",&out);
244e5c89e4eSSatish Balay   if (flag == PETSC_FP_TRAP_ON) {
245a297a907SKarl Rupp     if (ieee_handler("set","common",(sigfpe_handler_type)PetscDefaultFPTrap))        (*PetscErrorPrintf)("Can't set floating point handler\n");
246cc9df77eSBarry Smith   } else {
247cc9df77eSBarry Smith     if (ieee_handler("clear","common",(sigfpe_handler_type)PetscDefaultFPTrap)) (*PetscErrorPrintf)("Can't clear floatingpoint handler\n");
248cc9df77eSBarry Smith   }
249670f3ff9SJed Brown   _trapmode = flag;
250e5c89e4eSSatish Balay   PetscFunctionReturn(0);
251e5c89e4eSSatish Balay }
252e5c89e4eSSatish Balay 
253aba4c478SBarry Smith PetscErrorCode  PetscDetermineInitialFPTrap(void)
254cc9df77eSBarry Smith {
255cc9df77eSBarry Smith   PetscFunctionBegin;
2569566063dSJacob Faibussowitsch   PetscCall(PetscInfo(NULL,"Unable to determine initial floating point trapping. Assuming it is off\n"));
257cc9df77eSBarry Smith   PetscFunctionReturn(0);
258cc9df77eSBarry Smith }
259cc9df77eSBarry Smith 
260cc9df77eSBarry Smith /* ------------------------------------------------------------------------------------------*/
261e5c89e4eSSatish Balay #elif defined(PETSC_HAVE_IRIX_STYLE_FPTRAP)
262e5c89e4eSSatish Balay #include <sigfpe.h>
263db32a245SJed Brown static struct { int code_no; char *name; } error_codes[] = {
264e5c89e4eSSatish Balay   { _INVALID   ,"IEEE operand error" },
265e5c89e4eSSatish Balay   { _OVERFL    ,"floating point overflow" },
266e5c89e4eSSatish Balay   { _UNDERFL   ,"floating point underflow" },
267e5c89e4eSSatish Balay   { _DIVZERO   ,"floating point divide" },
268e5c89e4eSSatish Balay   { 0          ,"unknown error" }
269e5c89e4eSSatish Balay } ;
270e5c89e4eSSatish Balay void PetscDefaultFPTrap(unsigned exception[],int val[])
271e5c89e4eSSatish Balay {
2725f80ce2aSJacob Faibussowitsch   int err_ind = -1,code = exception[0];
273e5c89e4eSSatish Balay 
274e5c89e4eSSatish Balay   PetscFunctionBegin;
2755f80ce2aSJacob Faibussowitsch   for (int j = 0; error_codes[j].code_no; j++) {
276e5c89e4eSSatish Balay     if (error_codes[j].code_no == code) err_ind = j;
277e5c89e4eSSatish Balay   }
278a297a907SKarl Rupp   if (err_ind >= 0) (*PetscErrorPrintf)("*** %s occurred ***\n",error_codes[err_ind].name);
279a297a907SKarl Rupp   else              (*PetscErrorPrintf)("*** floating point error 0x%x occurred ***\n",code);
280a297a907SKarl Rupp 
2815f80ce2aSJacob Faibussowitsch   (void)PetscError(PETSC_COMM_SELF,0,"User provided function","Unknown file",PETSC_ERR_FP,PETSC_ERROR_REPEAT,"floating point error");
28241e02c4dSJunchao Zhang   PETSCABORT(MPI_COMM_WORLD,PETSC_ERR_FP);
283e5c89e4eSSatish Balay }
284e5c89e4eSSatish Balay 
285e5c89e4eSSatish Balay PetscErrorCode PetscSetFPTrap(PetscFPTrap flag)
286e5c89e4eSSatish Balay {
287e5c89e4eSSatish Balay   PetscFunctionBegin;
288cc9df77eSBarry Smith   if (flag == PETSC_FP_TRAP_ON) handle_sigfpes(_ON,,_EN_UNDERFL|_EN_OVERFL|_EN_DIVZERO|_EN_INVALID,PetscDefaultFPTrap,_ABORT_ON_ERROR,0);
289cc9df77eSBarry Smith   else                          handle_sigfpes(_OFF,_EN_UNDERFL|_EN_OVERFL|_EN_DIVZERO|_EN_INVALID,0,_ABORT_ON_ERROR,0);
290670f3ff9SJed Brown   _trapmode = flag;
291e5c89e4eSSatish Balay   PetscFunctionReturn(0);
292e5c89e4eSSatish Balay }
293cc9df77eSBarry Smith 
294aba4c478SBarry Smith PetscErrorCode  PetscDetermineInitialFPTrap(void)
295cc9df77eSBarry Smith {
296cc9df77eSBarry Smith   PetscFunctionBegin;
2979566063dSJacob Faibussowitsch   PetscCall(PetscInfo(NULL,"Unable to determine initial floating point trapping. Assuming it is off\n"));
298cc9df77eSBarry Smith   PetscFunctionReturn(0);
299cc9df77eSBarry Smith }
300cc9df77eSBarry Smith 
301e5c89e4eSSatish Balay /* -------------------------------------------------------------------------------------------*/
302cc9df77eSBarry Smith #elif defined(PETSC_HAVE_SOLARIS_STYLE_FPTRAP)
303cc9df77eSBarry Smith #include <sunmath.h>
304cc9df77eSBarry Smith #include <floatingpoint.h>
305cc9df77eSBarry Smith #include <siginfo.h>
306cc9df77eSBarry Smith #include <ucontext.h>
307cc9df77eSBarry Smith 
308cc9df77eSBarry Smith static struct { int code_no; char *name; } error_codes[] = {
309cc9df77eSBarry Smith   { FPE_FLTINV,"invalid floating point operand"},
310cc9df77eSBarry Smith   { FPE_FLTRES,"inexact floating point result"},
311cc9df77eSBarry Smith   { FPE_FLTDIV,"division-by-zero"},
312cc9df77eSBarry Smith   { FPE_FLTUND,"floating point underflow"},
313cc9df77eSBarry Smith   { FPE_FLTOVF,"floating point overflow"},
314cc9df77eSBarry Smith   { 0,         "unknown error"}
315cc9df77eSBarry Smith };
316cc9df77eSBarry Smith #define SIGPC(scp) (scp->si_addr)
317cc9df77eSBarry Smith 
318cc9df77eSBarry Smith void PetscDefaultFPTrap(int sig,siginfo_t *scp,ucontext_t *uap)
319cc9df77eSBarry Smith {
3205f80ce2aSJacob Faibussowitsch   int err_ind = -1,code = scp->si_code;
321cc9df77eSBarry Smith 
322cc9df77eSBarry Smith   PetscFunctionBegin;
323cc9df77eSBarry Smith   err_ind = -1;
3245f80ce2aSJacob Faibussowitsch   for (int j = 0; error_codes[j].code_no; j++) {
325cc9df77eSBarry Smith     if (error_codes[j].code_no == code) err_ind = j;
326cc9df77eSBarry Smith   }
327cc9df77eSBarry Smith 
328cc9df77eSBarry Smith   if (err_ind >= 0) (*PetscErrorPrintf)("*** %s occurred at pc=%X ***\n",error_codes[err_ind].name,SIGPC(scp));
329cc9df77eSBarry Smith   else              (*PetscErrorPrintf)("*** floating point error 0x%x occurred at pc=%X ***\n",code,SIGPC(scp));
330cc9df77eSBarry Smith 
3315f80ce2aSJacob Faibussowitsch   (void)PetscError(PETSC_COMM_SELF,0,"User provided function","Unknown file",PETSC_ERR_FP,PETSC_ERROR_REPEAT,"floating point error");
332cc9df77eSBarry Smith   PETSCABORT(MPI_COMM_WORLD,PETSC_ERR_FP);
333cc9df77eSBarry Smith }
334cc9df77eSBarry Smith 
335cc9df77eSBarry Smith PetscErrorCode PetscSetFPTrap(PetscFPTrap flag)
336cc9df77eSBarry Smith {
337cc9df77eSBarry Smith   char *out;
338cc9df77eSBarry Smith 
339cc9df77eSBarry Smith   PetscFunctionBegin;
340cc9df77eSBarry Smith   /* Clear accumulated exceptions.  Used to suppress meaningless messages from f77 programs */
341cc9df77eSBarry Smith   (void) ieee_flags("clear","exception","all",&out);
342cc9df77eSBarry Smith   if (flag == PETSC_FP_TRAP_ON) {
343cc9df77eSBarry Smith     if (ieee_handler("set","common",(sigfpe_handler_type)PetscDefaultFPTrap))        (*PetscErrorPrintf)("Can't set floating point handler\n");
344cc9df77eSBarry Smith   } else {
345cc9df77eSBarry Smith     if (ieee_handler("clear","common",(sigfpe_handler_type)PetscDefaultFPTrap)) (*PetscErrorPrintf)("Can't clear floatingpoint handler\n");
346cc9df77eSBarry Smith   }
347cc9df77eSBarry Smith   _trapmode = flag;
348cc9df77eSBarry Smith   PetscFunctionReturn(0);
349cc9df77eSBarry Smith }
350cc9df77eSBarry Smith 
351aba4c478SBarry Smith PetscErrorCode  PetscDetermineInitialFPTrap(void)
352cc9df77eSBarry Smith {
353cc9df77eSBarry Smith   PetscFunctionBegin;
3549566063dSJacob Faibussowitsch   PetscCall(PetscInfo(NULL,"Unable to determine initial floating point trapping. Assuming it is off\n"));
355cc9df77eSBarry Smith   PetscFunctionReturn(0);
356cc9df77eSBarry Smith }
357cc9df77eSBarry Smith 
358cc9df77eSBarry Smith /*----------------------------------------------- --------------------------------------------*/
359cc9df77eSBarry Smith #elif defined(PETSC_HAVE_RS6000_STYLE_FPTRAP)
360e5c89e4eSSatish Balay /* In "fast" mode, floating point traps are imprecise and ignored.
361e5c89e4eSSatish Balay    This is the reason for the fptrap(FP_TRAP_SYNC) call */
362e5c89e4eSSatish Balay struct sigcontext;
363e5c89e4eSSatish Balay #include <fpxcp.h>
364e5c89e4eSSatish Balay #include <fptrap.h>
365e5c89e4eSSatish Balay #define FPE_FLTOPERR_TRAP (fptrap_t)(0x20000000)
366e5c89e4eSSatish Balay #define FPE_FLTOVF_TRAP   (fptrap_t)(0x10000000)
367e5c89e4eSSatish Balay #define FPE_FLTUND_TRAP   (fptrap_t)(0x08000000)
368e5c89e4eSSatish Balay #define FPE_FLTDIV_TRAP   (fptrap_t)(0x04000000)
369e5c89e4eSSatish Balay #define FPE_FLTINEX_TRAP  (fptrap_t)(0x02000000)
370e5c89e4eSSatish Balay 
371db32a245SJed Brown static struct { int code_no; char *name; } error_codes[] = {
372e5c89e4eSSatish Balay   {FPE_FLTOPERR_TRAP   ,"IEEE operand error" },
373e5c89e4eSSatish Balay   { FPE_FLTOVF_TRAP    ,"floating point overflow" },
374e5c89e4eSSatish Balay   { FPE_FLTUND_TRAP    ,"floating point underflow" },
375e5c89e4eSSatish Balay   { FPE_FLTDIV_TRAP    ,"floating point divide" },
376e5c89e4eSSatish Balay   { FPE_FLTINEX_TRAP   ,"inexact floating point result" },
377e5c89e4eSSatish Balay   { 0                  ,"unknown error" }
378e5c89e4eSSatish Balay } ;
379e5c89e4eSSatish Balay #define SIGPC(scp) (0) /* Info MIGHT be in scp->sc_jmpbuf.jmp_context.iar */
380e5c89e4eSSatish Balay /*
381e5c89e4eSSatish Balay    For some reason, scp->sc_jmpbuf does not work on the RS6000, even though
382e5c89e4eSSatish Balay    it looks like it should from the include definitions.  It is probably
383e5c89e4eSSatish Balay    some strange interaction with the "POSIX_SOURCE" that we require.
384e5c89e4eSSatish Balay */
385e5c89e4eSSatish Balay 
386e5c89e4eSSatish Balay void PetscDefaultFPTrap(int sig,int code,struct sigcontext *scp)
387e5c89e4eSSatish Balay {
388e5c89e4eSSatish Balay   PetscErrorCode ierr;
389e5c89e4eSSatish Balay   int            err_ind,j;
390e5c89e4eSSatish Balay   fp_ctx_t       flt_context;
391e5c89e4eSSatish Balay 
392e5c89e4eSSatish Balay   PetscFunctionBegin;
393e5c89e4eSSatish Balay   fp_sh_trap_info(scp,&flt_context);
394e5c89e4eSSatish Balay 
395e5c89e4eSSatish Balay   err_ind = -1;
396e5c89e4eSSatish Balay   for (j = 0; error_codes[j].code_no; j++) {
397e5c89e4eSSatish Balay     if (error_codes[j].code_no == flt_context.trap) err_ind = j;
398e5c89e4eSSatish Balay   }
399e5c89e4eSSatish Balay 
400a297a907SKarl Rupp   if (err_ind >= 0) (*PetscErrorPrintf)("*** %s occurred ***\n",error_codes[err_ind].name);
401a297a907SKarl Rupp   else              (*PetscErrorPrintf)("*** floating point error 0x%x occurred ***\n",flt_context.trap);
402a297a907SKarl Rupp 
403efca3c55SSatish Balay   ierr = PetscError(PETSC_COMM_SELF,0,"User provided function","Unknown file",PETSC_ERR_FP,PETSC_ERROR_REPEAT,"floating point error");
40441e02c4dSJunchao Zhang   PETSCABORT(MPI_COMM_WORLD,PETSC_ERR_FP);
405e5c89e4eSSatish Balay }
406e5c89e4eSSatish Balay 
407e5c89e4eSSatish Balay PetscErrorCode PetscSetFPTrap(PetscFPTrap on)
408e5c89e4eSSatish Balay {
409e5c89e4eSSatish Balay   PetscFunctionBegin;
410e5c89e4eSSatish Balay   if (on == PETSC_FP_TRAP_ON) {
411e5c89e4eSSatish Balay     signal(SIGFPE,(void (*)(int))PetscDefaultFPTrap);
412e5c89e4eSSatish Balay     fp_trap(FP_TRAP_SYNC);
413cc9df77eSBarry Smith     fp_enable(TRP_INVALID | TRP_DIV_BY_ZERO | TRP_OVERFLOW | TRP_UNDERFLOW);
414e5c89e4eSSatish Balay     /* fp_enable(mask) for individual traps.  Values are:
415e5c89e4eSSatish Balay        TRP_INVALID
416e5c89e4eSSatish Balay        TRP_DIV_BY_ZERO
417e5c89e4eSSatish Balay        TRP_OVERFLOW
418e5c89e4eSSatish Balay        TRP_UNDERFLOW
419e5c89e4eSSatish Balay        TRP_INEXACT
420e5c89e4eSSatish Balay        Can OR then together.
421e5c89e4eSSatish Balay        fp_enable_all(); for all traps.
422e5c89e4eSSatish Balay     */
423e5c89e4eSSatish Balay   } else {
424e5c89e4eSSatish Balay     signal(SIGFPE,SIG_DFL);
425cc9df77eSBarry Smith     fp_disable(TRP_INVALID | TRP_DIV_BY_ZERO | TRP_OVERFLOW | TRP_UNDERFLOW);
426e5c89e4eSSatish Balay     fp_trap(FP_TRAP_OFF);
427e5c89e4eSSatish Balay   }
428670f3ff9SJed Brown   _trapmode = on;
429e5c89e4eSSatish Balay   PetscFunctionReturn(0);
430e5c89e4eSSatish Balay }
431e5c89e4eSSatish Balay 
432aba4c478SBarry Smith PetscErrorCode  PetscDetermineInitialFPTrap(void)
433cc9df77eSBarry Smith {
434cc9df77eSBarry Smith   PetscFunctionBegin;
4359566063dSJacob Faibussowitsch   PetscCall(PetscInfo(NULL,"Unable to determine initial floating point trapping. Assuming it is off\n"));
436cc9df77eSBarry Smith   PetscFunctionReturn(0);
437cc9df77eSBarry Smith }
438cc9df77eSBarry Smith 
439cc9df77eSBarry Smith /* ------------------------------------------------------------*/
440cc9df77eSBarry Smith #elif defined(PETSC_HAVE_WINDOWS_COMPILERS)
441cc9df77eSBarry Smith #include <float.h>
442cc9df77eSBarry Smith void PetscDefaultFPTrap(int sig)
443cc9df77eSBarry Smith {
444cc9df77eSBarry Smith   PetscFunctionBegin;
445cc9df77eSBarry Smith   (*PetscErrorPrintf)("*** floating point error occurred ***\n");
446cc9df77eSBarry Smith   PetscError(PETSC_COMM_SELF,0,"User provided function","Unknown file",PETSC_ERR_FP,PETSC_ERROR_REPEAT,"floating point error");
447cc9df77eSBarry Smith   PETSCABORT(MPI_COMM_WORLD,PETSC_ERR_FP);
448cc9df77eSBarry Smith }
449cc9df77eSBarry Smith 
450cc9df77eSBarry Smith PetscErrorCode  PetscSetFPTrap(PetscFPTrap on)
451cc9df77eSBarry Smith {
452cc9df77eSBarry Smith   unsigned int cw;
453cc9df77eSBarry Smith 
454cc9df77eSBarry Smith   PetscFunctionBegin;
455cc9df77eSBarry Smith   if (on == PETSC_FP_TRAP_ON) {
456cc9df77eSBarry Smith     cw = _EM_INVALID | _EM_ZERODIVIDE | _EM_OVERFLOW | _EM_UNDERFLOW;
4572c71b3e2SJacob Faibussowitsch     PetscCheckFalse(SIG_ERR == signal(SIGFPE,PetscDefaultFPTrap),PETSC_COMM_SELF,PETSC_ERR_LIB,"Can't set floating point handler");
458cc9df77eSBarry Smith   } else {
459cc9df77eSBarry Smith     cw = 0;
4602c71b3e2SJacob Faibussowitsch     PetscCheckFalse(SIG_ERR == signal(SIGFPE,SIG_DFL),PETSC_COMM_SELF,PETSC_ERR_LIB,"Can't clear floating point handler");
461cc9df77eSBarry Smith   }
462cc9df77eSBarry Smith   (void)_controlfp(0, cw);
463cc9df77eSBarry Smith   _trapmode = on;
464cc9df77eSBarry Smith   PetscFunctionReturn(0);
465cc9df77eSBarry Smith }
466cc9df77eSBarry Smith 
467aba4c478SBarry Smith PetscErrorCode  PetscDetermineInitialFPTrap(void)
468cc9df77eSBarry Smith {
469cc9df77eSBarry Smith   PetscFunctionBegin;
4709566063dSJacob Faibussowitsch   PetscCall(PetscInfo(NULL,"Unable to determine initial floating point trapping. Assuming it is off\n"));
471cc9df77eSBarry Smith   PetscFunctionReturn(0);
472cc9df77eSBarry Smith }
473cc9df77eSBarry Smith 
474cc9df77eSBarry Smith /* ------------------------------------------------------------*/
4759a2402e9SBarry Smith #elif defined(PETSC_HAVE_FENV_H) && !defined(__cplusplus)
476b014e56cSJed Brown /*
477b014e56cSJed Brown    C99 style floating point environment.
478b014e56cSJed Brown 
479b014e56cSJed Brown    Note that C99 merely specifies how to save, restore, and clear the floating
480b014e56cSJed Brown    point environment as well as defining an enumeration of exception codes.  In
481b014e56cSJed Brown    particular, C99 does not specify how to make floating point exceptions raise
482b014e56cSJed Brown    a signal.  Glibc offers this capability through FE_NOMASK_ENV (or with finer
483b014e56cSJed Brown    granularity, feenableexcept()), xmmintrin.h offers _MM_SET_EXCEPTION_MASK().
484b014e56cSJed Brown */
485b014e56cSJed Brown #include <fenv.h>
486b014e56cSJed Brown typedef struct {int code; const char *name;} FPNode;
487b014e56cSJed Brown static const FPNode error_codes[] = {
488b014e56cSJed Brown   {FE_DIVBYZERO,"divide by zero"},
489b014e56cSJed Brown   {FE_INEXACT,  "inexact floating point result"},
490b014e56cSJed Brown   {FE_INVALID,  "invalid floating point arguments (domain error)"},
491b014e56cSJed Brown   {FE_OVERFLOW, "floating point overflow"},
492b014e56cSJed Brown   {FE_UNDERFLOW,"floating point underflow"},
493b014e56cSJed Brown   {0           ,"unknown error"}
494b014e56cSJed Brown };
49599e0435eSBarry Smith 
496b014e56cSJed Brown void PetscDefaultFPTrap(int sig)
497b014e56cSJed Brown {
498b014e56cSJed Brown   const FPNode *node;
499b014e56cSJed Brown   int          code;
500ace3abfcSBarry Smith   PetscBool    matched = PETSC_FALSE;
501b014e56cSJed Brown 
502b014e56cSJed Brown   PetscFunctionBegin;
503b014e56cSJed Brown   /* Note: While it is possible for the exception state to be preserved by the
504b014e56cSJed Brown    * kernel, this seems to be rare which makes the following flag testing almost
505b014e56cSJed Brown    * useless.  But on a system where the flags can be preserved, it would provide
5067d125cddSJed Brown    * more detail.
507b014e56cSJed Brown    */
508b014e56cSJed Brown   code = fetestexcept(FE_ALL_EXCEPT);
509b014e56cSJed Brown   for (node=&error_codes[0]; node->code; node++) {
510b014e56cSJed Brown     if (code & node->code) {
511b014e56cSJed Brown       matched = PETSC_TRUE;
512b014e56cSJed Brown       (*PetscErrorPrintf)("*** floating point error \"%s\" occurred ***\n",node->name);
513b014e56cSJed Brown       code &= ~node->code; /* Unset this flag since it has been processed */
514b014e56cSJed Brown     }
515b014e56cSJed Brown   }
516b014e56cSJed Brown   if (!matched || code) { /* If any remaining flags are set, or we didn't process any flags */
517b014e56cSJed Brown     (*PetscErrorPrintf)("*** unknown floating point error occurred ***\n");
5187d125cddSJed Brown     (*PetscErrorPrintf)("The specific exception can be determined by running in a debugger.  When the\n");
5197d125cddSJed Brown     (*PetscErrorPrintf)("debugger traps the signal, the exception can be found with fetestexcept(0x%x)\n",FE_ALL_EXCEPT);
5207d125cddSJed Brown     (*PetscErrorPrintf)("where the result is a bitwise OR of the following flags:\n");
5217d125cddSJed 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);
522b014e56cSJed Brown   }
5237d125cddSJed Brown 
5247d125cddSJed Brown   (*PetscErrorPrintf)("Try option -start_in_debugger\n");
52527104ee2SJacob Faibussowitsch #if PetscDefined(USE_DEBUG)
5267d125cddSJed Brown   (*PetscErrorPrintf)("likely location of problem given in stack below\n");
5277d125cddSJed Brown   (*PetscErrorPrintf)("---------------------  Stack Frames ------------------------------------\n");
528639ff905SBarry Smith   PetscStackView(PETSC_STDOUT);
52927104ee2SJacob Faibussowitsch #else
5307d125cddSJed Brown   (*PetscErrorPrintf)("configure using --with-debugging=yes, recompile, link, and run \n");
5317d125cddSJed Brown   (*PetscErrorPrintf)("with -start_in_debugger to get more information on the crash.\n");
53227104ee2SJacob Faibussowitsch #endif
533efca3c55SSatish Balay   PetscError(PETSC_COMM_SELF,0,"User provided function","Unknown file",PETSC_ERR_FP,PETSC_ERROR_INITIAL,"trapped floating point error");
53441e02c4dSJunchao Zhang   PETSCABORT(MPI_COMM_WORLD,PETSC_ERR_FP);
535b014e56cSJed Brown }
536b014e56cSJed Brown 
5377087cfbeSBarry Smith PetscErrorCode  PetscSetFPTrap(PetscFPTrap on)
538b014e56cSJed Brown {
539b014e56cSJed Brown   PetscFunctionBegin;
540b014e56cSJed Brown   if (on == PETSC_FP_TRAP_ON) {
541b014e56cSJed Brown     /* Clear any flags that are currently set so that activating trapping will not immediately call the signal handler. */
5422c71b3e2SJacob Faibussowitsch     PetscCheckFalse(feclearexcept(FE_ALL_EXCEPT),PETSC_COMM_SELF,PETSC_ERR_LIB,"Cannot clear floating point exception flags");
543cc9df77eSBarry Smith #if defined(FE_NOMASK_ENV)
544cc9df77eSBarry Smith     /* Could use fesetenv(FE_NOMASK_ENV), but that causes spurious exceptions (like gettimeofday() -> PetscLogDouble). */
5452c71b3e2SJacob Faibussowitsch     PetscCheckFalse(feenableexcept(FE_DIVBYZERO | FE_INVALID | FE_OVERFLOW | FE_UNDERFLOW) == -1,PETSC_COMM_SELF,PETSC_ERR_LIB,"Cannot activate floating point exceptions");
546b014e56cSJed Brown #elif defined PETSC_HAVE_XMMINTRIN_H
547cc9df77eSBarry Smith    _MM_SET_EXCEPTION_MASK(_MM_GET_EXCEPTION_MASK() & ~_MM_MASK_DIV_ZERO);
548cc9df77eSBarry Smith    _MM_SET_EXCEPTION_MASK(_MM_GET_EXCEPTION_MASK() & ~_MM_MASK_UNDERFLOW);
549cc9df77eSBarry Smith    _MM_SET_EXCEPTION_MASK(_MM_GET_EXCEPTION_MASK() & ~_MM_MASK_OVERFLOW);
550cc9df77eSBarry Smith    _MM_SET_EXCEPTION_MASK(_MM_GET_EXCEPTION_MASK() & ~_MM_MASK_INVALID);
551b014e56cSJed Brown #else
552b014e56cSJed Brown     /* C99 does not provide a way to modify the environment so there is no portable way to activate trapping. */
553b014e56cSJed Brown #endif
5542c71b3e2SJacob Faibussowitsch     PetscCheckFalse(SIG_ERR == signal(SIGFPE,PetscDefaultFPTrap),PETSC_COMM_SELF,PETSC_ERR_LIB,"Can't set floating point handler");
555b014e56cSJed Brown   } else {
5562c71b3e2SJacob Faibussowitsch     PetscCheckFalse(fesetenv(FE_DFL_ENV),PETSC_COMM_SELF,PETSC_ERR_LIB,"Cannot disable floating point exceptions");
557cc9df77eSBarry Smith     /* can use _MM_SET_EXCEPTION_MASK(_MM_GET_EXCEPTION_MASK() | _MM_MASK_UNDERFLOW); if PETSC_HAVE_XMMINTRIN_H exists */
5582c71b3e2SJacob Faibussowitsch     PetscCheckFalse(SIG_ERR == signal(SIGFPE,SIG_DFL),PETSC_COMM_SELF,PETSC_ERR_LIB,"Can't clear floating point handler");
559b014e56cSJed Brown   }
560670f3ff9SJed Brown   _trapmode = on;
561b014e56cSJed Brown   PetscFunctionReturn(0);
562b014e56cSJed Brown }
563b014e56cSJed Brown 
564aba4c478SBarry Smith PetscErrorCode  PetscDetermineInitialFPTrap(void)
565cc9df77eSBarry Smith {
566cc9df77eSBarry Smith #if defined(FE_NOMASK_ENV) || defined PETSC_HAVE_XMMINTRIN_H
567cc9df77eSBarry Smith   unsigned int flags;
568cc9df77eSBarry Smith #endif
569cc9df77eSBarry Smith 
570cc9df77eSBarry Smith   PetscFunctionBegin;
571cc9df77eSBarry Smith #if defined(FE_NOMASK_ENV)
572cc9df77eSBarry Smith   flags = fegetexcept();
573cc9df77eSBarry Smith   if (flags & FE_DIVBYZERO) {
574cc9df77eSBarry Smith #elif defined PETSC_HAVE_XMMINTRIN_H
575cc9df77eSBarry Smith   flags = _MM_GET_EXCEPTION_MASK();
576cc9df77eSBarry Smith   if (!(flags & _MM_MASK_DIV_ZERO)) {
577cc9df77eSBarry Smith #else
5789566063dSJacob Faibussowitsch   PetscCall(PetscInfo(NULL,"Floating point trapping unknown, assuming off\n"));
579cc9df77eSBarry Smith   PetscFunctionReturn(0);
580cc9df77eSBarry Smith #endif
581cc9df77eSBarry Smith #if defined(FE_NOMASK_ENV) || defined PETSC_HAVE_XMMINTRIN_H
582cc9df77eSBarry Smith     _trapmode = PETSC_FP_TRAP_ON;
5839566063dSJacob Faibussowitsch     PetscCall(PetscInfo(NULL,"Floating point trapping is on by default %d\n",flags));
584cc9df77eSBarry Smith   } else {
585cc9df77eSBarry Smith     _trapmode = PETSC_FP_TRAP_OFF;
5869566063dSJacob Faibussowitsch     PetscCall(PetscInfo(NULL,"Floating point trapping is off by default %d\n",flags));
587cc9df77eSBarry Smith   }
588cc9df77eSBarry Smith   PetscFunctionReturn(0);
589cc9df77eSBarry Smith #endif
590cc9df77eSBarry Smith }
591cc9df77eSBarry Smith 
592cc9df77eSBarry Smith /* ------------------------------------------------------------*/
593cc9df77eSBarry Smith #elif defined(PETSC_HAVE_IEEEFP_H)
594cc9df77eSBarry Smith #include <ieeefp.h>
595cc9df77eSBarry Smith void PetscDefaultFPTrap(int sig)
596cc9df77eSBarry Smith {
597cc9df77eSBarry Smith   PetscFunctionBegin;
598cc9df77eSBarry Smith   (*PetscErrorPrintf)("*** floating point error occurred ***\n");
599cc9df77eSBarry Smith   PetscError(PETSC_COMM_SELF,0,"User provided function","Unknown file",PETSC_ERR_FP,PETSC_ERROR_REPEAT,"floating point error");
600cc9df77eSBarry Smith   PETSCABORT(MPI_COMM_WORLD,PETSC_ERR_FP);
601cc9df77eSBarry Smith }
602cc9df77eSBarry Smith 
603cc9df77eSBarry Smith PetscErrorCode  PetscSetFPTrap(PetscFPTrap on)
604cc9df77eSBarry Smith {
605cc9df77eSBarry Smith   PetscFunctionBegin;
606cc9df77eSBarry Smith   if (on == PETSC_FP_TRAP_ON) {
607cc9df77eSBarry Smith #if defined(PETSC_HAVE_FPPRESETSTICKY)
608cc9df77eSBarry Smith     fpresetsticky(fpgetsticky());
609cc9df77eSBarry Smith #elif defined(PETSC_HAVE_FPSETSTICKY)
610cc9df77eSBarry Smith     fpsetsticky(fpgetsticky());
611cc9df77eSBarry Smith #endif
612cc9df77eSBarry Smith     fpsetmask(FP_X_INV | FP_X_DZ | FP_X_OFL |  FP_X_OFL);
6132c71b3e2SJacob Faibussowitsch     PetscCheckFalse(SIG_ERR == signal(SIGFPE,PetscDefaultFPTrap),PETSC_COMM_SELF,PETSC_ERR_LIB,"Can't set floating point handler");
614cc9df77eSBarry Smith   } else {
615cc9df77eSBarry Smith #if defined(PETSC_HAVE_FPPRESETSTICKY)
616cc9df77eSBarry Smith     fpresetsticky(fpgetsticky());
617cc9df77eSBarry Smith #elif defined(PETSC_HAVE_FPSETSTICKY)
618cc9df77eSBarry Smith     fpsetsticky(fpgetsticky());
619cc9df77eSBarry Smith #endif
620cc9df77eSBarry Smith     fpsetmask(0);
6212c71b3e2SJacob Faibussowitsch     PetscCheckFalse(SIG_ERR == signal(SIGFPE,SIG_DFL),PETSC_COMM_SELF,PETSC_ERR_LIB,"Can't clear floating point handler");
622cc9df77eSBarry Smith   }
623cc9df77eSBarry Smith   _trapmode = on;
624cc9df77eSBarry Smith   PetscFunctionReturn(0);
625cc9df77eSBarry Smith }
626cc9df77eSBarry Smith 
627aba4c478SBarry Smith PetscErrorCode  PetscDetermineInitialFPTrap(void)
628cc9df77eSBarry Smith {
629cc9df77eSBarry Smith   PetscFunctionBegin;
6309566063dSJacob Faibussowitsch   PetscCall(PetscInfo(NULL,"Unable to determine initial floating point trapping. Assuming it is off\n"));
631cc9df77eSBarry Smith   PetscFunctionReturn(0);
632cc9df77eSBarry Smith }
633cc9df77eSBarry Smith 
634e5c89e4eSSatish Balay /* -------------------------Default -----------------------------------*/
635e5c89e4eSSatish Balay #else
63699e0435eSBarry Smith 
637e5c89e4eSSatish Balay void PetscDefaultFPTrap(int sig)
638e5c89e4eSSatish Balay {
639e5c89e4eSSatish Balay   PetscFunctionBegin;
640e5c89e4eSSatish Balay   (*PetscErrorPrintf)("*** floating point error occurred ***\n");
641efca3c55SSatish Balay   PetscError(PETSC_COMM_SELF,0,"User provided function","Unknown file",PETSC_ERR_FP,PETSC_ERROR_REPEAT,"floating point error");
64241e02c4dSJunchao Zhang   PETSCABORT(MPI_COMM_WORLD,PETSC_ERR_FP);
643e5c89e4eSSatish Balay }
64499e0435eSBarry Smith 
6457087cfbeSBarry Smith PetscErrorCode  PetscSetFPTrap(PetscFPTrap on)
646e5c89e4eSSatish Balay {
647e5c89e4eSSatish Balay   PetscFunctionBegin;
648e5c89e4eSSatish Balay   if (on == PETSC_FP_TRAP_ON) {
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 
652670f3ff9SJed Brown   _trapmode = on;
653e5c89e4eSSatish Balay   PetscFunctionReturn(0);
654e5c89e4eSSatish Balay }
655cc9df77eSBarry Smith 
656aba4c478SBarry Smith PetscErrorCode  PetscDetermineInitialFPTrap(void)
657cc9df77eSBarry Smith {
658cc9df77eSBarry Smith   PetscFunctionBegin;
6599566063dSJacob Faibussowitsch   PetscCall(PetscInfo(NULL,"Unable to determine initial floating point trapping. Assuming it is off\n"));
660cc9df77eSBarry Smith   PetscFunctionReturn(0);
661cc9df77eSBarry Smith }
662e5c89e4eSSatish Balay #endif
663