xref: /petsc/include/petscerror.h (revision af75f2580537ac764b53bf4057cf9bdb0b39545b)
154a8ef01SBarry Smith /*
2f621e05eSBarry Smith     Contains all error handling interfaces for PETSc.
354a8ef01SBarry Smith */
46524c165SJacob Faibussowitsch #ifndef PETSCERROR_H
526bd1501SBarry Smith #define PETSCERROR_H
66c7e564aSBarry Smith 
7e1bf4ed2SJacob Faibussowitsch #include <petscmacros.h>
8e1bf4ed2SJacob Faibussowitsch #include <petscsystypes.h>
9e1bf4ed2SJacob Faibussowitsch 
10*af75f258SJacob Faibussowitsch #if defined(__cplusplus)
11*af75f258SJacob Faibussowitsch   #include <exception> // std::exception
12*af75f258SJacob Faibussowitsch #endif
13*af75f258SJacob Faibussowitsch 
14ac09b921SBarry Smith /* SUBMANSEC = Sys */
15ac09b921SBarry Smith 
1654a8ef01SBarry Smith /*
17329ffe3dSLois Curfman McInnes      These are the generic error codes. These error codes are used
18e2d1d2b7SBarry Smith      many different places in the PETSc source code. The string versions are
190e5e90baSSatish Balay      at src/sys/error/err.c any changes here must also be made there
20e951c290SBarry Smith      These are also define in src/sys/f90-mod/petscerror.h any CHANGES here
210f9cf654SBarry Smith      must be also made there.
2245d48df9SBarry Smith 
2354a8ef01SBarry Smith */
242a6744ebSBarry Smith #define PETSC_ERR_MIN_VALUE 54 /* should always be one less then the smallest value */
252a6744ebSBarry Smith 
2645d48df9SBarry Smith #define PETSC_ERR_MEM            55 /* unable to allocate requested memory */
2747794344SBarry Smith #define PETSC_ERR_SUP            56 /* no support for requested operation */
28e2d1d2b7SBarry Smith #define PETSC_ERR_SUP_SYS        57 /* no support for requested operation on this computer system */
29e2d1d2b7SBarry Smith #define PETSC_ERR_ORDER          58 /* operation done in wrong order */
3045d48df9SBarry Smith #define PETSC_ERR_SIG            59 /* signal received */
31f1caa5a4SBarry Smith #define PETSC_ERR_FP             72 /* floating point exception */
32a8c6a408SBarry Smith #define PETSC_ERR_COR            74 /* corrupted PETSc object */
33a8c6a408SBarry Smith #define PETSC_ERR_LIB            76 /* error in library called by PETSc */
34329ffe3dSLois Curfman McInnes #define PETSC_ERR_PLIB           77 /* PETSc library generated inconsistent data */
35329ffe3dSLois Curfman McInnes #define PETSC_ERR_MEMC           78 /* memory corruption */
36b3cc6726SBarry Smith #define PETSC_ERR_CONV_FAILED    82 /* iterative method (KSP or SNES) failed */
371302d50aSBarry Smith #define PETSC_ERR_USER           83 /* user has not provided needed function */
384e2ffeddSBarry Smith #define PETSC_ERR_SYS            88 /* error in system call */
39a8b45ee7SBarry Smith #define PETSC_ERR_POINTER        70 /* pointer does not point to valid address */
403d96e996SBarry Smith #define PETSC_ERR_MPI_LIB_INCOMP 87 /* MPI library at runtime is not compatible with MPI user compiled with */
4145d48df9SBarry Smith 
4245d48df9SBarry Smith #define PETSC_ERR_ARG_SIZ          60 /* nonconforming object sizes used in operation */
4345d48df9SBarry Smith #define PETSC_ERR_ARG_IDN          61 /* two arguments not allowed to be the same */
44a8c6a408SBarry Smith #define PETSC_ERR_ARG_WRONG        62 /* wrong argument (but object probably ok) */
4545d48df9SBarry Smith #define PETSC_ERR_ARG_CORRUPT      64 /* null or corrupted PETSc object as argument */
4645d48df9SBarry Smith #define PETSC_ERR_ARG_OUTOFRANGE   63 /* input argument, out of range */
474f227f7cSBarry Smith #define PETSC_ERR_ARG_BADPTR       68 /* invalid pointer argument */
484f227f7cSBarry Smith #define PETSC_ERR_ARG_NOTSAMETYPE  69 /* two args must be same object type */
496831982aSBarry Smith #define PETSC_ERR_ARG_NOTSAMECOMM  80 /* two args must be same communicators */
50d252947aSBarry Smith #define PETSC_ERR_ARG_WRONGSTATE   73 /* object in argument is in wrong state, e.g. unassembled mat */
518cda6cd7SBarry Smith #define PETSC_ERR_ARG_TYPENOTSET   89 /* the type of the object has not yet been set */
52a8c6a408SBarry Smith #define PETSC_ERR_ARG_INCOMP       75 /* two arguments are incompatible */
534482741eSBarry Smith #define PETSC_ERR_ARG_NULL         85 /* argument is null that should not be */
54958c9bccSBarry Smith #define PETSC_ERR_ARG_UNKNOWN_TYPE 86 /* type name doesn't match any registered type */
554f227f7cSBarry Smith 
564f227f7cSBarry Smith #define PETSC_ERR_FILE_OPEN       65 /* unable to open file */
574f227f7cSBarry Smith #define PETSC_ERR_FILE_READ       66 /* unable to read from file */
584f227f7cSBarry Smith #define PETSC_ERR_FILE_WRITE      67 /* unable to write to file */
59a8c6a408SBarry Smith #define PETSC_ERR_FILE_UNEXPECTED 79 /* unexpected data in file */
6045d48df9SBarry Smith 
61329ffe3dSLois Curfman McInnes #define PETSC_ERR_MAT_LU_ZRPVT 71 /* detected a zero pivot during LU factorization */
629e3b2f23SBarry Smith #define PETSC_ERR_MAT_CH_ZRPVT 81 /* detected a zero pivot during Cholesky factorization */
6354a8ef01SBarry Smith 
6468e69593SBarry Smith #define PETSC_ERR_INT_OVERFLOW 84
653855c12bSBarry Smith 
66bf3909cdSBarry Smith #define PETSC_ERR_FLOP_COUNT     90
67e113a28aSBarry Smith #define PETSC_ERR_NOT_CONVERGED  91  /* solver did not converge */
6892e8f287SBarry Smith #define PETSC_ERR_MISSING_FACTOR 92  /* MatGetFactor() failed */
69691b26d3SBarry Smith #define PETSC_ERR_OPT_OVERWRITE  93  /* attempted to over write options which should not be changed */
70691b26d3SBarry Smith #define PETSC_ERR_WRONG_MPI_SIZE 94  /* example/application run with number of MPI ranks it does not support */
71691b26d3SBarry Smith #define PETSC_ERR_USER_INPUT     95  /* missing or incorrect user input */
72589f383fSBarry Smith #define PETSC_ERR_GPU_RESOURCE   96  /* unable to load a GPU resource, for example cuBLAS */
73589f383fSBarry Smith #define PETSC_ERR_GPU            97  /* An error from a GPU call, this may be due to lack of resources on the GPU or a true error in the call */
74ffc4695bSBarry Smith #define PETSC_ERR_MPI            98  /* general MPI error */
75e809461dSJacob Faibussowitsch #define PETSC_ERR_RETURN         99  /* PetscError() incorrectly returned an error code of 0 */
76e809461dSJacob Faibussowitsch #define PETSC_ERR_MAX_VALUE      100 /* this is always the one more than the largest error code */
77b9eb5ee8SHong Zhang 
7898921bdaSJacob Faibussowitsch #define SETERRQ1(...) PETSC_DEPRECATED_MACRO("GCC warning \"Use SETERRQ() (since version 3.17)\"") SETERRQ(__VA_ARGS__)
7998921bdaSJacob Faibussowitsch #define SETERRQ2(...) PETSC_DEPRECATED_MACRO("GCC warning \"Use SETERRQ() (since version 3.17)\"") SETERRQ(__VA_ARGS__)
8098921bdaSJacob Faibussowitsch #define SETERRQ3(...) PETSC_DEPRECATED_MACRO("GCC warning \"Use SETERRQ() (since version 3.17)\"") SETERRQ(__VA_ARGS__)
8198921bdaSJacob Faibussowitsch #define SETERRQ4(...) PETSC_DEPRECATED_MACRO("GCC warning \"Use SETERRQ() (since version 3.17)\"") SETERRQ(__VA_ARGS__)
8298921bdaSJacob Faibussowitsch #define SETERRQ5(...) PETSC_DEPRECATED_MACRO("GCC warning \"Use SETERRQ() (since version 3.17)\"") SETERRQ(__VA_ARGS__)
8398921bdaSJacob Faibussowitsch #define SETERRQ6(...) PETSC_DEPRECATED_MACRO("GCC warning \"Use SETERRQ() (since version 3.17)\"") SETERRQ(__VA_ARGS__)
8498921bdaSJacob Faibussowitsch #define SETERRQ7(...) PETSC_DEPRECATED_MACRO("GCC warning \"Use SETERRQ() (since version 3.17)\"") SETERRQ(__VA_ARGS__)
8598921bdaSJacob Faibussowitsch #define SETERRQ8(...) PETSC_DEPRECATED_MACRO("GCC warning \"Use SETERRQ() (since version 3.17)\"") SETERRQ(__VA_ARGS__)
8698921bdaSJacob Faibussowitsch #define SETERRQ9(...) PETSC_DEPRECATED_MACRO("GCC warning \"Use SETERRQ() (since version 3.17)\"") SETERRQ(__VA_ARGS__)
8798921bdaSJacob Faibussowitsch 
8830de9b25SBarry Smith /*MC
891957e957SBarry Smith    SETERRQ - Macro to be called when an error has been detected,
9030de9b25SBarry Smith 
9130de9b25SBarry Smith    Synopsis:
92aaa7dc30SBarry Smith    #include <petscsys.h>
9398921bdaSJacob Faibussowitsch    PetscErrorCode SETERRQ(MPI_Comm comm,PetscErrorCode ierr,char *message,...)
9430de9b25SBarry Smith 
95d083f849SBarry Smith    Collective
9630de9b25SBarry Smith 
9730de9b25SBarry Smith    Input Parameters:
9887497f52SBarry Smith +  comm - A communicator, use `PETSC_COMM_SELF` unless you know all ranks of another communicator will detect the error
993af045c5SBarry Smith .  ierr - nonzero error code, see the list of standard error codes in include/petscerror.h
10030de9b25SBarry Smith -  message - error message
10130de9b25SBarry Smith 
10230de9b25SBarry Smith   Level: beginner
10330de9b25SBarry Smith 
10430de9b25SBarry Smith    Notes:
10587497f52SBarry Smith     This is rarely needed, one should use `PetscCheck()` and `PetscCall()` and friends to automatically handle error conditions.
10630de9b25SBarry Smith     Once the error handler is called the calling function is then returned from with the given error code.
10730de9b25SBarry Smith 
10887497f52SBarry Smith     Experienced users can set the error handler with `PetscPushErrorHandler()`.
10930de9b25SBarry Smith 
1103b1008b8SBarry Smith    Fortran Notes:
1113b1008b8SBarry Smith       SETERRQ() may be called from Fortran subroutines but SETERRA() must be called from the
1123b1008b8SBarry Smith       Fortran main program.
1133b1008b8SBarry Smith 
114db781477SPatrick Sanan .seealso: `PetscCheck()`, `PetscAssert()`, `PetscTraceBackErrorHandler()`, `PetscPushErrorHandler()`,
115db781477SPatrick Sanan           `PetscError()`, `PetscCall()`, `CHKMEMQ`, `CHKERRA()`, `PetscCallMPI()`
11630de9b25SBarry Smith M*/
117e809461dSJacob Faibussowitsch #define SETERRQ(comm, ierr, ...) \
118e809461dSJacob Faibussowitsch   do { \
119e809461dSJacob Faibussowitsch     PetscErrorCode ierr_seterrq_petsc_ = PetscError(comm, __LINE__, PETSC_FUNCTION_NAME, __FILE__, ierr, PETSC_ERROR_INITIAL, __VA_ARGS__); \
120e809461dSJacob Faibussowitsch     return ierr_seterrq_petsc_ ? ierr_seterrq_petsc_ : PETSC_ERR_RETURN; \
121e809461dSJacob Faibussowitsch   } while (0)
122986eef2eSBarry Smith 
123ffc4695bSBarry Smith /*
124ffc4695bSBarry Smith     Returned from PETSc functions that are called from MPI, such as related to attributes
125ffc4695bSBarry Smith       Do not confuse PETSC_MPI_ERROR_CODE and PETSC_ERR_MPI, the first is registered with MPI and returned to MPI as
126888a1fb3SBarry Smith       an error code, the latter is a regular PETSc error code passed within PETSc code indicating an error was detected in an MPI call.
127ffc4695bSBarry Smith */
128ffc4695bSBarry Smith PETSC_EXTERN PetscMPIInt PETSC_MPI_ERROR_CLASS;
129ffc4695bSBarry Smith PETSC_EXTERN PetscMPIInt PETSC_MPI_ERROR_CODE;
130ffc4695bSBarry Smith 
131986eef2eSBarry Smith /*MC
132986eef2eSBarry Smith    SETERRMPI - Macro to be called when an error has been detected within an MPI callback function
133986eef2eSBarry Smith 
134986eef2eSBarry Smith    Synopsis:
135986eef2eSBarry Smith    #include <petscsys.h>
13698921bdaSJacob Faibussowitsch    PetscErrorCode SETERRMPI(MPI_Comm comm,PetscErrorCode ierr,char *message,...)
137986eef2eSBarry Smith 
138d083f849SBarry Smith    Collective
139986eef2eSBarry Smith 
140986eef2eSBarry Smith    Input Parameters:
14187497f52SBarry Smith +  comm - A communicator, use `PETSC_COMM_SELF` unless you know all ranks of another communicator will detect the error
142986eef2eSBarry Smith .  ierr - nonzero error code, see the list of standard error codes in include/petscerror.h
143986eef2eSBarry Smith -  message - error message
144986eef2eSBarry Smith 
145986eef2eSBarry Smith   Level: developer
146986eef2eSBarry Smith 
147986eef2eSBarry Smith    Notes:
14887497f52SBarry Smith     This macro is FOR USE IN MPI CALLBACK FUNCTIONS ONLY, such as those passed to `MPI_Comm_create_keyval()`. It always returns the error code `PETSC_MPI_ERROR_CODE`
14987497f52SBarry Smith     which is registered with `MPI_Add_error_code()` when PETSc is initialized.
150986eef2eSBarry Smith 
151db781477SPatrick Sanan .seealso: `SETERRQ()`, `PetscCall()`, `PetscCallMPI()`, `PetscTraceBackErrorHandler()`, `PetscPushErrorHandler()`, `PetscError()`, `CHKMEMQ`
152986eef2eSBarry Smith M*/
15398921bdaSJacob Faibussowitsch #define SETERRMPI(comm, ierr, ...) return (PetscError(comm, __LINE__, PETSC_FUNCTION_NAME, __FILE__, ierr, PETSC_ERROR_INITIAL, __VA_ARGS__), PETSC_MPI_ERROR_CODE)
154ee8199e6SMatthew G. Knepley 
155ee8199e6SMatthew G. Knepley /*MC
156f388eb8bSPatrick Sanan    SETERRA - Fortran-only macro that can be called when an error has been detected from the main program
157f388eb8bSPatrick Sanan 
158f388eb8bSPatrick Sanan    Synopsis:
159f388eb8bSPatrick Sanan    #include <petscsys.h>
160f388eb8bSPatrick Sanan    PetscErrorCode SETERRA(MPI_Comm comm,PetscErrorCode ierr,char *message)
161f388eb8bSPatrick Sanan 
162f388eb8bSPatrick Sanan    Collective
163f388eb8bSPatrick Sanan 
164f388eb8bSPatrick Sanan    Input Parameters:
165f388eb8bSPatrick Sanan +  comm - A communicator, so that the error can be collective
166f388eb8bSPatrick Sanan .  ierr - nonzero error code, see the list of standard error codes in include/petscerror.h
167f388eb8bSPatrick Sanan -  message - error message in the printf format
168f388eb8bSPatrick Sanan 
169f388eb8bSPatrick Sanan   Level: beginner
170f388eb8bSPatrick Sanan 
171f388eb8bSPatrick Sanan    Notes:
17287497f52SBarry Smith     This should only be used with Fortran. With C/C++, use `SETERRQ()`.
173f388eb8bSPatrick Sanan 
174f388eb8bSPatrick Sanan    Fortran Notes:
17587497f52SBarry Smith       `SETERRQ()` may be called from Fortran subroutines but `SETERRA()` must be called from the
176f388eb8bSPatrick Sanan       Fortran main program.
177f388eb8bSPatrick Sanan 
178db781477SPatrick Sanan .seealso: `SETERRQ()`, `SETERRABORT()`, `PetscCall()`, `CHKERRA()`, `PetscCallAbort()`
179f388eb8bSPatrick Sanan M*/
180f388eb8bSPatrick Sanan 
181f388eb8bSPatrick Sanan /*MC
182fa190f98SMatthew G. Knepley    SETERRABORT - Macro that can be called when an error has been detected,
183fa190f98SMatthew G. Knepley 
184fa190f98SMatthew G. Knepley    Synopsis:
185fa190f98SMatthew G. Knepley    #include <petscsys.h>
18698921bdaSJacob Faibussowitsch    PetscErrorCode SETERRABORT(MPI_Comm comm,PetscErrorCode ierr,char *message,...)
187fa190f98SMatthew G. Knepley 
188d083f849SBarry Smith    Collective
189fa190f98SMatthew G. Knepley 
190fa190f98SMatthew G. Knepley    Input Parameters:
191fa190f98SMatthew G. Knepley +  comm - A communicator, so that the error can be collective
1923af045c5SBarry Smith .  ierr - nonzero error code, see the list of standard error codes in include/petscerror.h
193fa190f98SMatthew G. Knepley -  message - error message in the printf format
194fa190f98SMatthew G. Knepley 
195fa190f98SMatthew G. Knepley   Level: beginner
196fa190f98SMatthew G. Knepley 
197fa190f98SMatthew G. Knepley    Notes:
19887497f52SBarry Smith     This function just calls `MPI_Abort()`.
19987497f52SBarry Smith 
20087497f52SBarry Smith     This should only be called in routines that cannot return an error code, such as in C++ constructors.
201fa190f98SMatthew G. Knepley 
202db781477SPatrick Sanan .seealso: `SETERRQ()`, `PetscTraceBackErrorHandler()`, `PetscPushErrorHandler()`, `PetscError()`, `PetscCall()`, `CHKMEMQ`
203fa190f98SMatthew G. Knepley M*/
2049371c9d4SSatish Balay #define SETERRABORT(comm, ierr, ...) \
2059371c9d4SSatish Balay   do { \
20698921bdaSJacob Faibussowitsch     PetscError(comm, __LINE__, PETSC_FUNCTION_NAME, __FILE__, ierr, PETSC_ERROR_INITIAL, __VA_ARGS__); \
20798921bdaSJacob Faibussowitsch     MPI_Abort(comm, ierr); \
20898921bdaSJacob Faibussowitsch   } while (0)
2099a00fa46SSatish Balay 
21030de9b25SBarry Smith /*MC
2112c71b3e2SJacob Faibussowitsch   PetscCheck - Check that a particular condition is true
2122c71b3e2SJacob Faibussowitsch 
2132c71b3e2SJacob Faibussowitsch   Synopsis:
2142c71b3e2SJacob Faibussowitsch   #include <petscerror.h>
2152c71b3e2SJacob Faibussowitsch   void PetscCheck(bool cond, MPI_Comm comm, PetscErrorCode ierr, const char *message, ...)
2162c71b3e2SJacob Faibussowitsch 
2172c71b3e2SJacob Faibussowitsch   Collective
2182c71b3e2SJacob Faibussowitsch 
2192c71b3e2SJacob Faibussowitsch   Input Parameters:
2202c71b3e2SJacob Faibussowitsch + cond    - The boolean condition
2212c71b3e2SJacob Faibussowitsch . comm    - The communicator on which the check can be collective on
2222c71b3e2SJacob Faibussowitsch . ierr    - A nonzero error code, see include/petscerror.h for the complete list
2232c71b3e2SJacob Faibussowitsch - message - Error message in printf format
2242c71b3e2SJacob Faibussowitsch 
2252c71b3e2SJacob Faibussowitsch   Notes:
2262c71b3e2SJacob Faibussowitsch   Enabled in both optimized and debug builds.
2272c71b3e2SJacob Faibussowitsch 
22887497f52SBarry Smith   Calls `SETERRQ()` if the assertion fails, so can only be called from functions returning a
22987497f52SBarry Smith   `PetscErrorCode` (or equivalent type after conversion).
2302c71b3e2SJacob Faibussowitsch 
2312c71b3e2SJacob Faibussowitsch   Level: beginner
2322c71b3e2SJacob Faibussowitsch 
2334be741a6SBarry Smith .seealso: `PetscAssert()`, `SETERRQ()`, `PetscError()`, `PetscCall()`, `PetscCheckAbort()`
2349566063dSJacob Faibussowitsch M*/
2359371c9d4SSatish Balay #define PetscCheck(cond, comm, ierr, ...) \
2369371c9d4SSatish Balay   do { \
2379371c9d4SSatish Balay     if (PetscUnlikely(!(cond))) SETERRQ(comm, ierr, __VA_ARGS__); \
2389371c9d4SSatish Balay   } while (0)
2392c71b3e2SJacob Faibussowitsch 
2402c71b3e2SJacob Faibussowitsch /*MC
2414be741a6SBarry Smith   PetscCheckAbort - Check that a particular condition is true, otherwise prints error and aborts
2424be741a6SBarry Smith 
2434be741a6SBarry Smith   Synopsis:
2444be741a6SBarry Smith   #include <petscerror.h>
2454be741a6SBarry Smith   void PetscCheckAbort(bool cond, MPI_Comm comm, PetscErrorCode ierr, const char *message, ...)
2464be741a6SBarry Smith 
2474be741a6SBarry Smith   Collective
2484be741a6SBarry Smith 
2494be741a6SBarry Smith   Input Parameters:
2504be741a6SBarry Smith + cond    - The boolean condition
2514be741a6SBarry Smith . comm    - The communicator on which the check can be collective on
2524be741a6SBarry Smith . ierr    - A nonzero error code, see include/petscerror.h for the complete list
2534be741a6SBarry Smith - message - Error message in printf format
2544be741a6SBarry Smith 
2554be741a6SBarry Smith   Notes:
2564be741a6SBarry Smith   Enabled in both optimized and debug builds.
2574be741a6SBarry Smith 
25887497f52SBarry Smith   Calls `SETERRABORT()` if the assertion fails, can be called from a function that does not return an
25987497f52SBarry Smith   error code, such as a C++ constructor. usually `PetscCheck()` should be used.
2604be741a6SBarry Smith 
2614be741a6SBarry Smith   Level: developer
2624be741a6SBarry Smith 
2630e6b6b59SJacob Faibussowitsch .seealso: `PetscAssertAbort()`, `PetscAssert()`, `SETERRQ()`, `PetscError()`, `PetscCall()`, `PetscCheck()`, `SETTERRABORT()`
2644be741a6SBarry Smith M*/
2659371c9d4SSatish Balay #define PetscCheckAbort(cond, comm, ierr, ...) \
2660e6b6b59SJacob Faibussowitsch   do { \
2670e6b6b59SJacob Faibussowitsch     if (PetscUnlikely(!(cond))) SETERRABORT(comm, ierr, __VA_ARGS__); \
268c7481402SJacob Faibussowitsch   } while (0)
2694be741a6SBarry Smith 
2704be741a6SBarry Smith /*MC
2719ace16cdSJacob Faibussowitsch   PetscAssert - Assert that a particular condition is true
2729ace16cdSJacob Faibussowitsch 
2739ace16cdSJacob Faibussowitsch   Synopsis:
2749ace16cdSJacob Faibussowitsch   #include <petscerror.h>
2759ace16cdSJacob Faibussowitsch   void PetscAssert(bool cond, MPI_Comm comm, PetscErrorCode ierr, const char *message, ...)
2769ace16cdSJacob Faibussowitsch 
2779ace16cdSJacob Faibussowitsch   Collective
2789ace16cdSJacob Faibussowitsch 
2799ace16cdSJacob Faibussowitsch   Input Parameters:
2809ace16cdSJacob Faibussowitsch + cond    - The boolean condition
2819ace16cdSJacob Faibussowitsch . comm    - The communicator on which the check can be collective on
2829ace16cdSJacob Faibussowitsch . ierr    - A nonzero error code, see include/petscerror.h for the complete list
2839ace16cdSJacob Faibussowitsch - message - Error message in printf format
2849ace16cdSJacob Faibussowitsch 
2859ace16cdSJacob Faibussowitsch   Notes:
286c7481402SJacob Faibussowitsch   Equivalent to `PetscCheck()` if debugging is enabled, and `PetscAssume(cond)` otherwise.
2872c71b3e2SJacob Faibussowitsch 
28887497f52SBarry Smith   See `PetscCheck()` for usage and behaviour.
28987497f52SBarry Smith 
29087497f52SBarry Smith   This is needed instead of simply using `assert()` because this correctly handles the collective nature of errors under MPI
2919ace16cdSJacob Faibussowitsch 
2929ace16cdSJacob Faibussowitsch   Level: beginner
2939ace16cdSJacob Faibussowitsch 
2940e6b6b59SJacob Faibussowitsch .seealso: `PetscCheck()`, `SETERRQ()`, `PetscError()`, `PetscAssertAbort()`
2959566063dSJacob Faibussowitsch M*/
296c7481402SJacob Faibussowitsch #if PetscDefined(USE_DEBUG)
297c7481402SJacob Faibussowitsch   #define PetscAssert(cond, comm, ierr, ...) PetscCheck(cond, comm, ierr, __VA_ARGS__)
298c7481402SJacob Faibussowitsch #else
299c7481402SJacob Faibussowitsch   #define PetscAssert(cond, ...) PetscAssume(cond)
300c7481402SJacob Faibussowitsch #endif
3019ace16cdSJacob Faibussowitsch 
3029ace16cdSJacob Faibussowitsch /*MC
3030e6b6b59SJacob Faibussowitsch   PetscAssertAbort - Assert that a particular condition is true, otherwise prints error and aborts
3040e6b6b59SJacob Faibussowitsch 
3050e6b6b59SJacob Faibussowitsch   Synopsis:
3060e6b6b59SJacob Faibussowitsch   #include <petscerror.h>
3070e6b6b59SJacob Faibussowitsch   void PetscAssertAbort(bool cond, MPI_Comm comm, PetscErrorCode ierr, const char *message, ...)
3080e6b6b59SJacob Faibussowitsch 
3090e6b6b59SJacob Faibussowitsch   Collective
3100e6b6b59SJacob Faibussowitsch 
3110e6b6b59SJacob Faibussowitsch   Input Parameters:
3120e6b6b59SJacob Faibussowitsch + cond    - The boolean condition
3130e6b6b59SJacob Faibussowitsch . comm    - The communicator on which the check can be collective on
3140e6b6b59SJacob Faibussowitsch . ierr    - A nonzero error code, see include/petscerror.h for the complete list
3150e6b6b59SJacob Faibussowitsch - message - Error message in printf format
3160e6b6b59SJacob Faibussowitsch 
3170e6b6b59SJacob Faibussowitsch   Notes:
3180e6b6b59SJacob Faibussowitsch   Enabled only in debug builds. See `PetscCheckAbort()` for usage.
3190e6b6b59SJacob Faibussowitsch 
3200e6b6b59SJacob Faibussowitsch   Level: beginner
3210e6b6b59SJacob Faibussowitsch 
3220e6b6b59SJacob Faibussowitsch .seealso: `PetscCheckAbort()`, `PetscAssert()`, `PetscCheck()`, `SETERRABORT()`, `PetscError()`
3230e6b6b59SJacob Faibussowitsch M*/
3240e6b6b59SJacob Faibussowitsch #define PetscAssertAbort(cond, comm, ierr, ...) \
3250e6b6b59SJacob Faibussowitsch   do { \
3260e6b6b59SJacob Faibussowitsch     if (PetscUnlikelyDebug(!(cond))) SETERRABORT(comm, ierr, __VA_ARGS__); \
3270e6b6b59SJacob Faibussowitsch   } while (0)
3280e6b6b59SJacob Faibussowitsch 
3290e6b6b59SJacob Faibussowitsch /*MC
33049c86fc7SBarry Smith   PetscCall - Calls a PETSc function and then checks the resulting error code, if it is non-zero it calls the error
33149c86fc7SBarry Smith   handler and returns from the current function with the error code.
3329566063dSJacob Faibussowitsch 
3339566063dSJacob Faibussowitsch   Synopsis:
3349566063dSJacob Faibussowitsch   #include <petscerror.h>
33549c86fc7SBarry Smith   void PetscCall(PetscFunction(args))
3369566063dSJacob Faibussowitsch 
3379566063dSJacob Faibussowitsch   Not Collective
3389566063dSJacob Faibussowitsch 
3399566063dSJacob Faibussowitsch   Input Parameter:
34049c86fc7SBarry Smith . PetscFunction - any PETSc function that returns an error code
3419566063dSJacob Faibussowitsch 
3429566063dSJacob Faibussowitsch   Notes:
3439566063dSJacob Faibussowitsch   Once the error handler is called the calling function is then returned from with the given
34487497f52SBarry Smith   error code. Experienced users can set the error handler with `PetscPushErrorHandler()`.
3459566063dSJacob Faibussowitsch 
34687497f52SBarry Smith   `PetscCall()` cannot be used in functions returning a datatype not convertible to
34787497f52SBarry Smith   `PetscErrorCode`. For example, `PetscCall()` may not be used in functions returning void, use
34887497f52SBarry Smith   `PetscCallVoid()` in this case.
3499566063dSJacob Faibussowitsch 
3509566063dSJacob Faibussowitsch   Example Usage:
3519566063dSJacob Faibussowitsch .vb
3529566063dSJacob Faibussowitsch   PetscCall(PetscInitiailize(...)); // OK to call even when PETSc is not yet initialized!
3539566063dSJacob Faibussowitsch 
3549566063dSJacob Faibussowitsch   struct my_struct
3559566063dSJacob Faibussowitsch   {
3569566063dSJacob Faibussowitsch     void *data;
3579566063dSJacob Faibussowitsch   } my_complex_type;
3589566063dSJacob Faibussowitsch 
3599566063dSJacob Faibussowitsch   struct my_struct bar(void)
3609566063dSJacob Faibussowitsch   {
3616aad120cSJose E. Roman     PetscCall(foo(15)); // ERROR PetscErrorCode not convertible to struct my_struct!
3629566063dSJacob Faibussowitsch   }
3639566063dSJacob Faibussowitsch 
3646aad120cSJose E. Roman   PetscCall(bar()) // ERROR input not convertible to PetscErrorCode
3659566063dSJacob Faibussowitsch .ve
3669566063dSJacob Faibussowitsch 
36787497f52SBarry Smith   It is also possible to call this directly on a `PetscErrorCode` variable
36849c86fc7SBarry Smith .vb
36949c86fc7SBarry Smith   PetscCall(ierr);  // check if ierr is nonzero
37049c86fc7SBarry Smith .ve
37149c86fc7SBarry Smith 
372792fecdfSBarry Smith   Should not be used to call callback functions provided by users, `PetscCallBack()` should be used in that situation.
373ef1023bdSBarry Smith 
3746a8be23eSBarry Smith   `PetscUseTypeMethod()` or `PetscTryTypeMethod()` should be used when calling functions pointers contained in a PETSc object's `ops` array
3756a8be23eSBarry Smith 
37649c86fc7SBarry Smith   Fortran Notes:
37749c86fc7SBarry Smith     The Fortran function from which this is used must declare a variable PetscErrorCode ierr and ierr must be
37887497f52SBarry Smith     the final argument to the PETSc function being called.
37949c86fc7SBarry Smith 
38049c86fc7SBarry Smith     In the main program and in Fortran subroutines that do not have ierr as the final return parameter one
38187497f52SBarry Smith     should use `PetscCallA()`
38249c86fc7SBarry Smith 
38349c86fc7SBarry Smith   Example Fortran Usage:
38449c86fc7SBarry Smith .vb
38549c86fc7SBarry Smith   PetscErrorCode ierr
38649c86fc7SBarry Smith   Vec v
38749c86fc7SBarry Smith 
38849c86fc7SBarry Smith   ...
38949c86fc7SBarry Smith   PetscCall(VecShift(v,1.0,ierr))
39049c86fc7SBarry Smith   PetscCallA(VecShift(v,1.0,ierr))
39149c86fc7SBarry Smith .ve
39249c86fc7SBarry Smith 
3939566063dSJacob Faibussowitsch   Level: beginner
3949566063dSJacob Faibussowitsch 
39549c86fc7SBarry Smith .seealso: `SETERRQ()`, `PetscCheck()`, `PetscAssert()`, `PetscTraceBackErrorHandler()`, `PetscCallMPI()`
396792fecdfSBarry Smith           `PetscPushErrorHandler()`, `PetscError()`, `CHKMEMQ`, `CHKERRA()`, `CHKERRMPI()`, `PetscCallBack()`
3979566063dSJacob Faibussowitsch M*/
398ef1023bdSBarry Smith 
399ef1023bdSBarry Smith /*MC
400792fecdfSBarry Smith   PetscCallBack - Calls a user provided PETSc callback function and then checks the resulting error code, if it is non-zero it calls the error
401ef1023bdSBarry Smith   handler and returns from the current function with the error code.
402ef1023bdSBarry Smith 
403ef1023bdSBarry Smith   Synopsis:
404ef1023bdSBarry Smith   #include <petscerror.h>
405792fecdfSBarry Smith   void PetscCallBack(const char *functionname,PetscFunction(args))
406ef1023bdSBarry Smith 
407ef1023bdSBarry Smith   Not Collective
408ef1023bdSBarry Smith 
409ef1023bdSBarry Smith   Input Parameters:
410ef1023bdSBarry Smith + functionname - the name of the function being called, this can be a string with spaces that describes the meaning of the callback
41187497f52SBarry Smith - PetscFunction - user provided callback function that returns an error code
412ef1023bdSBarry Smith 
413ef1023bdSBarry Smith   Notes:
414ef1023bdSBarry Smith   Once the error handler is called the calling function is then returned from with the given
41587497f52SBarry Smith   error code. Experienced users can set the error handler with `PetscPushErrorHandler()`.
416ef1023bdSBarry Smith 
41787497f52SBarry Smith   `PetscCallBack()` should only be called in PETSc when a call is being made to a user provided call-back routine.
418ef1023bdSBarry Smith 
419ef1023bdSBarry Smith   Example Usage:
420ef1023bdSBarry Smith .vb
421792fecdfSBarry Smith   PetscCallBack("XXX callback to do something",a->callback(...));
422ef1023bdSBarry Smith .ve
423ef1023bdSBarry Smith 
424ef1023bdSBarry Smith   Level: developer
425ef1023bdSBarry Smith 
42687497f52SBarry Smith .seealso: `SETERRQ()`, `PetscCheck()`, `PetscCall()`, `PetscAssert()`, `PetscTraceBackErrorHandler()`, `PetscCallMPI()`
427ef1023bdSBarry Smith           `PetscPushErrorHandler()`, `PetscError()`, `CHKMEMQ`, `CHKERRA()`, `CHKERRMPI()`, `PetscCall()`
428ef1023bdSBarry Smith M*/
429ef1023bdSBarry Smith 
4309566063dSJacob Faibussowitsch #if defined(PETSC_CLANG_STATIC_ANALYZER)
4319566063dSJacob Faibussowitsch void PetscCall(PetscErrorCode);
432792fecdfSBarry Smith void PetscCallBack(const char *, PetscErrorCode);
4339566063dSJacob Faibussowitsch void PetscCallVoid(PetscErrorCode);
4349566063dSJacob Faibussowitsch #else
4359371c9d4SSatish Balay   #define PetscCall(...) \
4369371c9d4SSatish Balay     do { \
437e33ced7fSLisandro Dalcin       PetscErrorCode ierr_q_; \
43837154d10SBarry Smith       PetscStackUpdateLine; \
439e33ced7fSLisandro Dalcin       ierr_q_ = __VA_ARGS__; \
4409566063dSJacob Faibussowitsch       if (PetscUnlikely(ierr_q_)) return PetscError(PETSC_COMM_SELF, __LINE__, PETSC_FUNCTION_NAME, __FILE__, ierr_q_, PETSC_ERROR_REPEAT, " "); \
4419566063dSJacob Faibussowitsch     } while (0)
4429371c9d4SSatish Balay   #define PetscCallBack(function, ...) \
4439371c9d4SSatish Balay     do { \
444e33ced7fSLisandro Dalcin       PetscErrorCode ierr_q_; \
445e33ced7fSLisandro Dalcin       PetscStackUpdateLine; \
446e33ced7fSLisandro Dalcin       PetscStackPushExternal(function); \
447e33ced7fSLisandro Dalcin       ierr_q_ = __VA_ARGS__; \
448ef1023bdSBarry Smith       PetscStackPop; \
449ef1023bdSBarry Smith       if (PetscUnlikely(ierr_q_)) return PetscError(PETSC_COMM_SELF, __LINE__, PETSC_FUNCTION_NAME, __FILE__, ierr_q_, PETSC_ERROR_REPEAT, " "); \
450ef1023bdSBarry Smith     } while (0)
4519371c9d4SSatish Balay   #define PetscCallVoid(...) \
4529371c9d4SSatish Balay     do { \
453e33ced7fSLisandro Dalcin       PetscErrorCode ierr_void_; \
454e33ced7fSLisandro Dalcin       PetscStackUpdateLine; \
455e33ced7fSLisandro Dalcin       ierr_void_ = __VA_ARGS__; \
4569371c9d4SSatish Balay       if (PetscUnlikely(ierr_void_)) { \
4579371c9d4SSatish Balay         (void)PetscError(PETSC_COMM_SELF, __LINE__, PETSC_FUNCTION_NAME, __FILE__, ierr_void_, PETSC_ERROR_REPEAT, " "); \
4589371c9d4SSatish Balay         return; \
4599371c9d4SSatish Balay       } \
4609566063dSJacob Faibussowitsch     } while (0)
4619566063dSJacob Faibussowitsch #endif
4629566063dSJacob Faibussowitsch 
4639566063dSJacob Faibussowitsch /*MC
4649566063dSJacob Faibussowitsch   CHKERRQ - Checks error code returned from PETSc function
46530de9b25SBarry Smith 
46630de9b25SBarry Smith   Synopsis:
467aaa7dc30SBarry Smith   #include <petscsys.h>
4689566063dSJacob Faibussowitsch   void CHKERRQ(PetscErrorCode ierr)
4699566063dSJacob Faibussowitsch 
4709566063dSJacob Faibussowitsch   Not Collective
4719566063dSJacob Faibussowitsch 
4729566063dSJacob Faibussowitsch   Input Parameters:
4739566063dSJacob Faibussowitsch . ierr - nonzero error code
4749566063dSJacob Faibussowitsch 
4759566063dSJacob Faibussowitsch   Notes:
47687497f52SBarry Smith   Deprecated in favor of `PetscCall()`. This routine behaves identically to it.
4779566063dSJacob Faibussowitsch 
4789566063dSJacob Faibussowitsch   Level: deprecated
4799566063dSJacob Faibussowitsch 
480db781477SPatrick Sanan .seealso: `PetscCall()`
4819566063dSJacob Faibussowitsch M*/
4829566063dSJacob Faibussowitsch #define CHKERRQ(...) PetscCall(__VA_ARGS__)
4839566063dSJacob Faibussowitsch #define CHKERRV(...) PetscCallVoid(__VA_ARGS__)
4849566063dSJacob Faibussowitsch 
485db9cea48SBarry Smith PETSC_EXTERN void PetscMPIErrorString(PetscMPIInt, char *);
486db9cea48SBarry Smith 
4879566063dSJacob Faibussowitsch /*MC
4889566063dSJacob Faibussowitsch   PetscCallMPI - Checks error code returned from MPI calls, if non-zero it calls the error
4899566063dSJacob Faibussowitsch   handler and then returns
4909566063dSJacob Faibussowitsch 
4919566063dSJacob Faibussowitsch   Synopsis:
4929566063dSJacob Faibussowitsch   #include <petscerror.h>
49349c86fc7SBarry Smith   void PetscCallMPI(MPI_Function(args))
49430de9b25SBarry Smith 
495eca87e8dSBarry Smith   Not Collective
49630de9b25SBarry Smith 
49730de9b25SBarry Smith   Input Parameters:
49849c86fc7SBarry Smith . MPI_Function - an MPI function that returns an MPI error code
49930de9b25SBarry Smith 
5009566063dSJacob Faibussowitsch   Notes:
50187497f52SBarry Smith   Always returns the error code `PETSC_ERR_MPI`; the MPI error code and string are embedded in
5029566063dSJacob Faibussowitsch   the string error message. Do not use this to call any other routines (for example PETSc
5039566063dSJacob Faibussowitsch   routines), it should only be used for direct MPI calls. Due to limitations of the
5049566063dSJacob Faibussowitsch   preprocessor this can unfortunately not easily be enforced, so the user should take care to
5059566063dSJacob Faibussowitsch   check this themselves.
5069566063dSJacob Faibussowitsch 
5079566063dSJacob Faibussowitsch   Example Usage:
5089566063dSJacob Faibussowitsch .vb
5099566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_size(...)); // OK, calling MPI function
5109566063dSJacob Faibussowitsch 
5119566063dSJacob Faibussowitsch   PetscCallMPI(PetscFunction(...)); // ERROR, use PetscCall() instead!
5129566063dSJacob Faibussowitsch .ve
5139566063dSJacob Faibussowitsch 
51449c86fc7SBarry Smith   Fortran Notes:
51587497f52SBarry Smith     The Fortran function from which this is used must declare a variable `PetscErrorCode` ierr and ierr must be
51649c86fc7SBarry Smith     the final argument to the MPI function being called.
51749c86fc7SBarry Smith 
51849c86fc7SBarry Smith     In the main program and in Fortran subroutines that do not have ierr as the final return parameter one
51987497f52SBarry Smith     should use `PetscCallMPIA()`
52049c86fc7SBarry Smith 
52149c86fc7SBarry Smith   Fortran Usage:
52249c86fc7SBarry Smith .vb
52349c86fc7SBarry Smith   PetscErrorCode ierr or integer ierr
52449c86fc7SBarry Smith   ...
52549c86fc7SBarry Smith   PetscCallMPI(MPI_Comm_size(...,ierr))
52649c86fc7SBarry Smith   PetscCallMPIA(MPI_Comm_size(...,ierr)) ! Will abort after calling error handler
52749c86fc7SBarry Smith 
52849c86fc7SBarry Smith   PetscCallMPI(MPI_Comm_size(...,eflag)) ! ERROR, final argument must be ierr
52949c86fc7SBarry Smith .ve
53049c86fc7SBarry Smith 
53130de9b25SBarry Smith   Level: beginner
53230de9b25SBarry Smith 
533db781477SPatrick Sanan .seealso: `SETERRMPI()`, `PetscCall()`, `SETERRQ()`, `SETERRABORT()`, `PetscCallAbort()`,
534db781477SPatrick Sanan           `PetscTraceBackErrorHandler()`, `PetscPushErrorHandler()`, `PetscError()`, `CHKMEMQ`
53530de9b25SBarry Smith M*/
5363fcd9f07SJacob Faibussowitsch #if defined(PETSC_CLANG_STATIC_ANALYZER)
53763a3b9bcSJacob Faibussowitsch void PetscCallMPI(PetscMPIInt);
538064a246eSJacob Faibussowitsch #else
5399371c9d4SSatish Balay   #define PetscCallMPI(...) \
5409371c9d4SSatish Balay     do { \
541e33ced7fSLisandro Dalcin       PetscMPIInt _7_errorcode; \
542e33ced7fSLisandro Dalcin       char        _7_errorstring[2 * MPI_MAX_ERROR_STRING]; \
543ef1023bdSBarry Smith       PetscStackUpdateLine; \
544792fecdfSBarry Smith       PetscStackPushExternal("MPI function"); \
545d71ae5a4SJacob Faibussowitsch       { \
546d71ae5a4SJacob Faibussowitsch         _7_errorcode = __VA_ARGS__; \
547d71ae5a4SJacob Faibussowitsch       } \
548ef1023bdSBarry Smith       PetscStackPop; \
5499566063dSJacob Faibussowitsch       if (PetscUnlikely(_7_errorcode)) { \
550db9cea48SBarry Smith         PetscMPIErrorString(_7_errorcode, (char *)_7_errorstring); \
551db9cea48SBarry Smith         SETERRQ(PETSC_COMM_SELF, PETSC_ERR_MPI, "MPI error %d %s", (int)_7_errorcode, _7_errorstring); \
5523fcd9f07SJacob Faibussowitsch       } \
5533fcd9f07SJacob Faibussowitsch     } while (0)
5549566063dSJacob Faibussowitsch #endif
555064a246eSJacob Faibussowitsch 
5567037b0edSPatrick Sanan /*MC
5579566063dSJacob Faibussowitsch   CHKERRMPI - Checks error code returned from MPI calls, if non-zero it calls the error
5589566063dSJacob Faibussowitsch   handler and then returns
5599566063dSJacob Faibussowitsch 
5609566063dSJacob Faibussowitsch   Synopsis:
5619566063dSJacob Faibussowitsch   #include <petscerror.h>
5629566063dSJacob Faibussowitsch   void CHKERRMPI(PetscErrorCode ierr)
5639566063dSJacob Faibussowitsch 
5649566063dSJacob Faibussowitsch   Not Collective
5659566063dSJacob Faibussowitsch 
5669566063dSJacob Faibussowitsch   Input Parameter:
5679566063dSJacob Faibussowitsch . ierr - nonzero error code, see the list of standard error codes in include/petscerror.h
5689566063dSJacob Faibussowitsch 
5699566063dSJacob Faibussowitsch   Notes:
57087497f52SBarry Smith   Deprecated in favor of `PetscCallMPI()`. This routine behaves identically to it.
5719566063dSJacob Faibussowitsch 
5729566063dSJacob Faibussowitsch   Level: deprecated
5739566063dSJacob Faibussowitsch 
574db781477SPatrick Sanan .seealso: `PetscCallMPI()`
5759566063dSJacob Faibussowitsch M*/
5769566063dSJacob Faibussowitsch #define CHKERRMPI(...) PetscCallMPI(__VA_ARGS__)
5779566063dSJacob Faibussowitsch 
5789566063dSJacob Faibussowitsch /*MC
5799566063dSJacob Faibussowitsch   PetscCallAbort - Checks error code returned from PETSc function, if non-zero it aborts immediately
5809566063dSJacob Faibussowitsch 
5819566063dSJacob Faibussowitsch   Synopsis:
5829566063dSJacob Faibussowitsch   #include <petscerror.h>
5839566063dSJacob Faibussowitsch   void PetscCallAbort(MPI_Comm comm, PetscErrorCode ierr)
5849566063dSJacob Faibussowitsch 
585c3339decSBarry Smith   Collective
5869566063dSJacob Faibussowitsch 
5879566063dSJacob Faibussowitsch   Input Parameters:
5889566063dSJacob Faibussowitsch + comm - the MPI communicator on which to abort
5899566063dSJacob Faibussowitsch - ierr - nonzero error code, see the list of standard error codes in include/petscerror.h
5909566063dSJacob Faibussowitsch 
5919566063dSJacob Faibussowitsch   Notes:
59287497f52SBarry Smith   This macro has identical type and usage semantics to `PetscCall()` with the important caveat
5939566063dSJacob Faibussowitsch   that this macro does not return. Instead, if ierr is nonzero it calls the PETSc error handler
59487497f52SBarry Smith   and then immediately calls `MPI_Abort()`. It can therefore be used anywhere.
5959566063dSJacob Faibussowitsch 
59687497f52SBarry Smith   As per `MPI_Abort()` semantics the communicator passed must be valid, although there is currently
59787497f52SBarry Smith   no attempt made at handling any potential errors from `MPI_Abort()`. Note that while
59887497f52SBarry Smith   `MPI_Abort()` is required to terminate only those processes which reside on comm, it is often
59987497f52SBarry Smith   the case that `MPI_Abort()` terminates *all* processes.
6009566063dSJacob Faibussowitsch 
6019566063dSJacob Faibussowitsch   Example Usage:
6029566063dSJacob Faibussowitsch .vb
6039566063dSJacob Faibussowitsch   PetscErrorCode boom(void) { return PETSC_ERR_MEM; }
6049566063dSJacob Faibussowitsch 
6059566063dSJacob Faibussowitsch   void foo(void)
6069566063dSJacob Faibussowitsch   {
6079566063dSJacob Faibussowitsch     PetscCallAbort(PETSC_COMM_WORLD,boom()); // OK, does not return a type
6089566063dSJacob Faibussowitsch   }
6099566063dSJacob Faibussowitsch 
6109566063dSJacob Faibussowitsch   double bar(void)
6119566063dSJacob Faibussowitsch   {
6129566063dSJacob Faibussowitsch     PetscCallAbort(PETSC_COMM_WORLD,boom()); // OK, does not return a type
6139566063dSJacob Faibussowitsch   }
6149566063dSJacob Faibussowitsch 
6159566063dSJacob Faibussowitsch   PetscCallAbort(MPI_COMM_NULL,boom()); // ERROR, communicator should be valid
6169566063dSJacob Faibussowitsch 
6179566063dSJacob Faibussowitsch   struct baz
6189566063dSJacob Faibussowitsch   {
6199566063dSJacob Faibussowitsch     baz()
6209566063dSJacob Faibussowitsch     {
6219566063dSJacob Faibussowitsch       PetscCallAbort(PETSC_COMM_SELF,boom()); // OK
6229566063dSJacob Faibussowitsch     }
6239566063dSJacob Faibussowitsch 
6249566063dSJacob Faibussowitsch     ~baz()
6259566063dSJacob Faibussowitsch     {
6269566063dSJacob Faibussowitsch       PetscCallAbort(PETSC_COMM_SELF,boom()); // OK (in fact the only way to handle PETSc errors)
6279566063dSJacob Faibussowitsch     }
6289566063dSJacob Faibussowitsch   };
6299566063dSJacob Faibussowitsch .ve
6309566063dSJacob Faibussowitsch 
6319566063dSJacob Faibussowitsch   Level: intermediate
6329566063dSJacob Faibussowitsch 
633db781477SPatrick Sanan .seealso: `SETERRABORT()`, `PetscTraceBackErrorHandler()`, `PetscPushErrorHandler()`, `PetscError()`,
634db781477SPatrick Sanan           `SETERRQ()`, `CHKMEMQ`, `PetscCallMPI()`
6359566063dSJacob Faibussowitsch M*/
6369566063dSJacob Faibussowitsch #if defined(PETSC_CLANG_STATIC_ANALYZER)
6379566063dSJacob Faibussowitsch void PetscCallAbort(MPI_Comm, PetscErrorCode);
6389566063dSJacob Faibussowitsch void PetscCallContinue(PetscErrorCode);
6399566063dSJacob Faibussowitsch #else
6409371c9d4SSatish Balay   #define PetscCallAbort(comm, ...) \
6419371c9d4SSatish Balay     do { \
6429566063dSJacob Faibussowitsch       PetscErrorCode ierr_abort_ = __VA_ARGS__; \
6439566063dSJacob Faibussowitsch       if (PetscUnlikely(ierr_abort_)) { \
6449566063dSJacob Faibussowitsch         PetscError(PETSC_COMM_SELF, __LINE__, PETSC_FUNCTION_NAME, __FILE__, ierr_abort_, PETSC_ERROR_REPEAT, " "); \
6459566063dSJacob Faibussowitsch         MPI_Abort(comm, ierr_abort_); \
6469566063dSJacob Faibussowitsch       } \
6479566063dSJacob Faibussowitsch     } while (0)
6489371c9d4SSatish Balay   #define PetscCallContinue(...) \
6499371c9d4SSatish Balay     do { \
6509566063dSJacob Faibussowitsch       PetscErrorCode ierr_continue_ = __VA_ARGS__; \
6519566063dSJacob Faibussowitsch       if (PetscUnlikely(ierr_continue_)) PetscError(PETSC_COMM_SELF, __LINE__, PETSC_FUNCTION_NAME, __FILE__, ierr_continue_, PETSC_ERROR_REPEAT, " "); \
6529566063dSJacob Faibussowitsch     } while (0)
6539566063dSJacob Faibussowitsch #endif
6549566063dSJacob Faibussowitsch 
6559566063dSJacob Faibussowitsch /*MC
6569566063dSJacob Faibussowitsch   CHKERRABORT - Checks error code returned from PETSc function. If non-zero it aborts immediately.
6579566063dSJacob Faibussowitsch 
6589566063dSJacob Faibussowitsch   Synopsis:
6599566063dSJacob Faibussowitsch   #include <petscerror.h>
6609566063dSJacob Faibussowitsch   void CHKERRABORT(MPI_Comm comm, PetscErrorCode ierr)
6619566063dSJacob Faibussowitsch 
6629566063dSJacob Faibussowitsch   Not Collective
6639566063dSJacob Faibussowitsch 
6649566063dSJacob Faibussowitsch   Input Parameters:
6659566063dSJacob Faibussowitsch + comm - the MPI communicator
6669566063dSJacob Faibussowitsch - ierr - nonzero error code, see the list of standard error codes in include/petscerror.h
6679566063dSJacob Faibussowitsch 
6689566063dSJacob Faibussowitsch   Notes:
66987497f52SBarry Smith   Deprecated in favor of `PetscCallAbort()`. This routine behaves identically to it.
6709566063dSJacob Faibussowitsch 
6719566063dSJacob Faibussowitsch   Level: deprecated
6729566063dSJacob Faibussowitsch 
673db781477SPatrick Sanan .seealso: `PetscCallAbort()`
6749566063dSJacob Faibussowitsch M*/
6759566063dSJacob Faibussowitsch #define CHKERRABORT(comm, ...) PetscCallAbort(comm, __VA_ARGS__)
6769566063dSJacob Faibussowitsch #define CHKERRCONTINUE(...)    PetscCallContinue(__VA_ARGS__)
6779566063dSJacob Faibussowitsch 
6789566063dSJacob Faibussowitsch /*MC
67987497f52SBarry Smith    CHKERRA - Fortran-only replacement for use of `CHKERRQ()` in the main program, which aborts immediately
680f388eb8bSPatrick Sanan 
681f388eb8bSPatrick Sanan    Synopsis:
682f388eb8bSPatrick Sanan    #include <petscsys.h>
683f388eb8bSPatrick Sanan    PetscErrorCode CHKERRA(PetscErrorCode ierr)
684f388eb8bSPatrick Sanan 
685f388eb8bSPatrick Sanan    Not Collective
686f388eb8bSPatrick Sanan 
687f388eb8bSPatrick Sanan    Input Parameters:
688f388eb8bSPatrick Sanan .  ierr - nonzero error code, see the list of standard error codes in include/petscerror.h
689f388eb8bSPatrick Sanan 
69087497f52SBarry Smith   Level: deprecated
691f388eb8bSPatrick Sanan 
69287497f52SBarry Smith    Note:
69387497f52SBarry Smith    This macro is rarely needed, normal usage is `PetscCallA()` in the main Fortran program.
694f388eb8bSPatrick Sanan 
69587497f52SBarry Smith .seealso: `PetscCall()`, `PetscCallA()`, `PetscCallAbort()`, `CHKERRQ()`, `SETERRA()`, `SETERRQ()`, `SETERRABORT()`
696f388eb8bSPatrick Sanan M*/
697f388eb8bSPatrick Sanan 
6981e4f893aSSatish Balay PETSC_EXTERN PetscBool petscwaitonerrorflg;
6991e4f893aSSatish Balay PETSC_EXTERN PetscBool petscindebugger;
7007c66cc67SJunchao Zhang 
7017c66cc67SJunchao Zhang /*MC
7027c66cc67SJunchao Zhang    PETSCABORT - Call MPI_Abort with an informative error code
7037c66cc67SJunchao Zhang 
7047c66cc67SJunchao Zhang    Synopsis:
7057c66cc67SJunchao Zhang    #include <petscsys.h>
7067c66cc67SJunchao Zhang    PETSCABORT(MPI_Comm comm, PetscErrorCode ierr)
7077c66cc67SJunchao Zhang 
7087c66cc67SJunchao Zhang    Collective
7097c66cc67SJunchao Zhang 
7107c66cc67SJunchao Zhang    Input Parameters:
7117c66cc67SJunchao Zhang +  comm - A communicator, so that the error can be collective
7127c66cc67SJunchao Zhang -  ierr - nonzero error code, see the list of standard error codes in include/petscerror.h
7137c66cc67SJunchao Zhang 
714bf4d2887SBarry Smith    Level: advanced
7157c66cc67SJunchao Zhang 
716bf4d2887SBarry Smith    Notes:
717bf4d2887SBarry Smith    If the option -start_in_debugger was used then this calls abort() to stop the program in the debugger.
718bf4d2887SBarry Smith 
71987497f52SBarry Smith    if `PetscCIEnabledPortableErrorOutput` is set it strives to exit cleanly without call `MPI_Abort()`
720660278c0SBarry Smith 
7217c66cc67SJunchao Zhang  M*/
7229371c9d4SSatish Balay #define PETSCABORT(comm, ...) \
7239371c9d4SSatish Balay   do { \
724baae8e41SSatish Balay     if (petscwaitonerrorflg) PetscSleep(1000); \
725bf4d2887SBarry Smith     if (petscindebugger) abort(); \
7263fcd9f07SJacob Faibussowitsch     else { \
7273fcd9f07SJacob Faibussowitsch       PetscErrorCode ierr_petsc_abort_ = __VA_ARGS__; \
728660278c0SBarry Smith       PetscMPIInt    size; \
729660278c0SBarry Smith       MPI_Comm_size(comm, &size); \
730660278c0SBarry Smith       if (PetscCIEnabledPortableErrorOutput && size == PetscGlobalSize && ierr_petsc_abort_ != PETSC_ERR_SIG) { \
7319371c9d4SSatish Balay         MPI_Finalize(); \
7329371c9d4SSatish Balay         exit(0); \
733660278c0SBarry Smith       } else if (PetscCIEnabledPortableErrorOutput && PetscGlobalSize == 1) { \
734660278c0SBarry Smith         exit(0); \
735660278c0SBarry Smith       } else { \
736660278c0SBarry Smith         MPI_Abort(comm, (PetscMPIInt)ierr_petsc_abort_); \
737660278c0SBarry Smith       } \
7383fcd9f07SJacob Faibussowitsch     } \
7397c66cc67SJunchao Zhang   } while (0)
740986eef2eSBarry Smith 
7419566063dSJacob Faibussowitsch #ifdef PETSC_CLANGUAGE_CXX
742986eef2eSBarry Smith   /*MC
7439566063dSJacob Faibussowitsch   PetscCallThrow - Checks error code, if non-zero it calls the C++ error handler which throws
7449566063dSJacob Faibussowitsch   an exception
745986eef2eSBarry Smith 
746986eef2eSBarry Smith   Synopsis:
7479566063dSJacob Faibussowitsch   #include <petscerror.h>
7489566063dSJacob Faibussowitsch   void PetscCallThrow(PetscErrorCode ierr)
749986eef2eSBarry Smith 
750986eef2eSBarry Smith   Not Collective
751986eef2eSBarry Smith 
7529566063dSJacob Faibussowitsch   Input Parameter:
753986eef2eSBarry Smith . ierr - nonzero error code, see the list of standard error codes in include/petscerror.h
754986eef2eSBarry Smith 
755986eef2eSBarry Smith   Notes:
7569566063dSJacob Faibussowitsch   Requires PETSc to be configured with clanguage = c++. Throws a std::runtime_error() on error.
757986eef2eSBarry Smith 
75887497f52SBarry Smith   Once the error handler throws the exception you can use `PetscCallVoid()` which returns without
75987497f52SBarry Smith   an error code (bad idea since the error is ignored) or `PetscCallAbort()` to have `MPI_Abort()`
7609566063dSJacob Faibussowitsch   called immediately.
7619566063dSJacob Faibussowitsch 
7629566063dSJacob Faibussowitsch   Level: beginner
7639566063dSJacob Faibussowitsch 
764db781477SPatrick Sanan .seealso: `SETERRQ()`, `PetscCall()`, `SETERRABORT()`, `PetscCallAbort()`, `PetscTraceBackErrorHandler()`,
765db781477SPatrick Sanan           `PetscPushErrorHandler()`, `PetscError()`, `CHKMEMQ`
766986eef2eSBarry Smith M*/
7679371c9d4SSatish Balay   #define PetscCallThrow(...) \
7689371c9d4SSatish Balay     do { \
7699566063dSJacob Faibussowitsch       PetscErrorCode ierr_cxx_ = __VA_ARGS__; \
7709566063dSJacob Faibussowitsch       if (PetscUnlikely(ierr_cxx_)) PetscError(PETSC_COMM_SELF, __LINE__, PETSC_FUNCTION_NAME, __FILE__, ierr_cxx_, PETSC_ERROR_IN_CXX, PETSC_NULLPTR); \
771ffc4695bSBarry Smith     } while (0)
77285614651SBarry Smith 
773cc26af49SMatthew Knepley   /*MC
774cc26af49SMatthew Knepley   CHKERRXX - Checks error code, if non-zero it calls the C++ error handler which throws an exception
775cc26af49SMatthew Knepley 
776cc26af49SMatthew Knepley   Synopsis:
7779566063dSJacob Faibussowitsch   #include <petscerror.h>
7783af045c5SBarry Smith   void CHKERRXX(PetscErrorCode ierr)
779cc26af49SMatthew Knepley 
780eca87e8dSBarry Smith   Not Collective
781cc26af49SMatthew Knepley 
7829566063dSJacob Faibussowitsch   Input Parameter:
7833af045c5SBarry Smith . ierr - nonzero error code, see the list of standard error codes in include/petscerror.h
784cc26af49SMatthew Knepley 
785cc26af49SMatthew Knepley   Notes:
78687497f52SBarry Smith   Deprecated in favor of `PetscCallThrow()`. This routine behaves identically to it.
787cc26af49SMatthew Knepley 
7889566063dSJacob Faibussowitsch   Level: deprecated
789cc26af49SMatthew Knepley 
790db781477SPatrick Sanan .seealso: `PetscCallThrow()`
791cc26af49SMatthew Knepley M*/
7929566063dSJacob Faibussowitsch   #define CHKERRXX(...) PetscCallThrow(__VA_ARGS__)
793fd705b32SMatthew Knepley #endif
794fd705b32SMatthew Knepley 
7953f520e80SJunchao Zhang /*MC
7969566063dSJacob Faibussowitsch   PetscCallCXX - Checks C++ function calls and if they throw an exception, catch it and then
7979566063dSJacob Faibussowitsch   return a PETSc error code
7983f520e80SJunchao Zhang 
7993f520e80SJunchao Zhang   Synopsis:
8009566063dSJacob Faibussowitsch   #include <petscerror.h>
8019566063dSJacob Faibussowitsch   void PetscCallCXX(expr) noexcept;
8023f520e80SJunchao Zhang 
8033f520e80SJunchao Zhang   Not Collective
8043f520e80SJunchao Zhang 
8059566063dSJacob Faibussowitsch   Input Parameter:
8069566063dSJacob Faibussowitsch . expr - An arbitrary expression
8073f520e80SJunchao Zhang 
8083f520e80SJunchao Zhang   Notes:
8099566063dSJacob Faibussowitsch   PetscCallCXX(expr) is a macro replacement for
8109566063dSJacob Faibussowitsch .vb
8119566063dSJacob Faibussowitsch   try {
8129566063dSJacob Faibussowitsch     expr;
8139566063dSJacob Faibussowitsch   } catch (const std::exception& e) {
8149566063dSJacob Faibussowitsch     return ConvertToPetscErrorCode(e);
8159566063dSJacob Faibussowitsch   }
8169566063dSJacob Faibussowitsch .ve
8179566063dSJacob Faibussowitsch   Due to the fact that it catches any (reasonable) exception, it is essentially noexcept.
8183f520e80SJunchao Zhang 
8199566063dSJacob Faibussowitsch   Example Usage:
8209566063dSJacob Faibussowitsch .vb
8219566063dSJacob Faibussowitsch   void foo(void) { throw std::runtime_error("error"); }
8223f520e80SJunchao Zhang 
8239566063dSJacob Faibussowitsch   void bar()
8249566063dSJacob Faibussowitsch   {
825e8952933SJacob Faibussowitsch     PetscCallCXX(foo()); // ERROR bar() does not return PetscErrorCode
8269566063dSJacob Faibussowitsch   }
8279566063dSJacob Faibussowitsch 
8289566063dSJacob Faibussowitsch   PetscErrorCode baz()
8299566063dSJacob Faibussowitsch   {
8309566063dSJacob Faibussowitsch     PetscCallCXX(foo()); // OK
8319566063dSJacob Faibussowitsch 
8329566063dSJacob Faibussowitsch     PetscCallCXX(
8339566063dSJacob Faibussowitsch       bar();
834d5b43468SJose E. Roman       foo(); // OK multiple statements allowed
8359566063dSJacob Faibussowitsch     );
8369566063dSJacob Faibussowitsch   }
8379566063dSJacob Faibussowitsch 
8389566063dSJacob Faibussowitsch   struct bop
8399566063dSJacob Faibussowitsch   {
8409566063dSJacob Faibussowitsch     bop()
8419566063dSJacob Faibussowitsch     {
842e8952933SJacob Faibussowitsch       PetscCallCXX(foo()); // ERROR returns PetscErrorCode, cannot be used in constructors
8439566063dSJacob Faibussowitsch     }
8449566063dSJacob Faibussowitsch   };
8459566063dSJacob Faibussowitsch 
846e8952933SJacob Faibussowitsch   // ERROR contains do-while, cannot be used as function-try block
8479566063dSJacob Faibussowitsch   PetscErrorCode qux() PetscCallCXX(
8489566063dSJacob Faibussowitsch     bar();
8499566063dSJacob Faibussowitsch     baz();
8509566063dSJacob Faibussowitsch     foo();
8519566063dSJacob Faibussowitsch     return 0;
8529566063dSJacob Faibussowitsch   )
8539566063dSJacob Faibussowitsch .ve
8549566063dSJacob Faibussowitsch 
85549762cbcSSatish Balay   Level: beginner
85649762cbcSSatish Balay 
857db781477SPatrick Sanan .seealso: `PetscCallThrow()`, `SETERRQ()`, `PetscCall()`, `SETERRABORT()`, `PetscCallAbort()`,
858db781477SPatrick Sanan           `PetscTraceBackErrorHandler()`, `PetscPushErrorHandler()`, `PetscError()`, `CHKMEMQ`
8593f520e80SJunchao Zhang M*/
8609371c9d4SSatish Balay #define PetscCallCXX(...) \
8619371c9d4SSatish Balay   do { \
86237154d10SBarry Smith     PetscStackUpdateLine; \
8633fcd9f07SJacob Faibussowitsch     try { \
8643fcd9f07SJacob Faibussowitsch       __VA_ARGS__; \
865d71ae5a4SJacob Faibussowitsch     } catch (const std::exception &e) { \
866d71ae5a4SJacob Faibussowitsch       SETERRQ(PETSC_COMM_SELF, PETSC_ERR_LIB, "%s", e.what()); \
867d71ae5a4SJacob Faibussowitsch     } \
8683fcd9f07SJacob Faibussowitsch   } while (0)
8693f520e80SJunchao Zhang 
87030de9b25SBarry Smith /*MC
8719566063dSJacob Faibussowitsch   CHKERRCXX - Checks C++ function calls and if they throw an exception, catch it and then
8729566063dSJacob Faibussowitsch   return a PETSc error code
8739566063dSJacob Faibussowitsch 
8749566063dSJacob Faibussowitsch   Synopsis:
8759566063dSJacob Faibussowitsch   #include <petscerror.h>
8769566063dSJacob Faibussowitsch   void CHKERRCXX(func) noexcept;
8779566063dSJacob Faibussowitsch 
8789566063dSJacob Faibussowitsch   Not Collective
8799566063dSJacob Faibussowitsch 
8809566063dSJacob Faibussowitsch   Input Parameter:
8819566063dSJacob Faibussowitsch . func - C++ function calls
8829566063dSJacob Faibussowitsch 
8839566063dSJacob Faibussowitsch   Notes:
88487497f52SBarry Smith   Deprecated in favor of `PetscCallCXX()`. This routine behaves identically to it.
8859566063dSJacob Faibussowitsch 
8869566063dSJacob Faibussowitsch   Level: deprecated
8879566063dSJacob Faibussowitsch 
888db781477SPatrick Sanan .seealso: `PetscCallCXX()`
8899566063dSJacob Faibussowitsch M*/
8909566063dSJacob Faibussowitsch #define CHKERRCXX(...) PetscCallCXX(__VA_ARGS__)
8919566063dSJacob Faibussowitsch 
8929566063dSJacob Faibussowitsch /*MC
89330de9b25SBarry Smith    CHKMEMQ - Checks the memory for corruption, calls error handler if any is detected
89430de9b25SBarry Smith 
89530de9b25SBarry Smith    Synopsis:
896aaa7dc30SBarry Smith    #include <petscsys.h>
89791d3bdf4SKris Buschelman    CHKMEMQ;
89830de9b25SBarry Smith 
899eca87e8dSBarry Smith    Not Collective
900eca87e8dSBarry Smith 
90130de9b25SBarry Smith   Level: beginner
90230de9b25SBarry Smith 
90330de9b25SBarry Smith    Notes:
904a17b96a8SKyle Gerard Felker     We highly recommend using Valgrind https://petsc.org/release/faq/#valgrind or for NVIDIA CUDA systems
9055ed36255SBarry Smith     https://docs.nvidia.com/cuda/cuda-memcheck/index.html for finding memory problems. The ``CHKMEMQ`` macro is useful on systems that
9065ed36255SBarry Smith     do not have valgrind, but is not as good as valgrind or cuda-memcheck.
9071957e957SBarry Smith 
90887497f52SBarry Smith     Must run with the option -malloc_debug (-malloc_test in debug mode; or if `PetscMallocSetDebug()` called) to enable this option
90930de9b25SBarry Smith 
91030de9b25SBarry Smith     Once the error handler is called the calling function is then returned from with the given error code.
91130de9b25SBarry Smith 
91230de9b25SBarry Smith     By defaults prints location where memory that is corrupted was allocated.
91330de9b25SBarry Smith 
91487497f52SBarry Smith     Use `CHKMEMA` for functions that return void
915f621e05eSBarry Smith 
916db781477SPatrick Sanan .seealso: `PetscTraceBackErrorHandler()`, `PetscPushErrorHandler()`, `PetscError()`, `SETERRQ()`, `PetscMallocValidate()`
91730de9b25SBarry Smith M*/
9186d210af2SJacob Faibussowitsch #if defined(PETSC_CLANG_STATIC_ANALYZER)
919064a246eSJacob Faibussowitsch   #define CHKMEMQ
920064a246eSJacob Faibussowitsch   #define CHKMEMA
9216d210af2SJacob Faibussowitsch #else
9229371c9d4SSatish Balay   #define CHKMEMQ \
9239371c9d4SSatish Balay     do { \
92486d09637SLisandro Dalcin       PetscErrorCode ierr_memq_ = PetscMallocValidate(__LINE__, PETSC_FUNCTION_NAME, __FILE__); \
92586d09637SLisandro Dalcin       if (PetscUnlikely(ierr_memq_)) return PetscError(PETSC_COMM_SELF, __LINE__, PETSC_FUNCTION_NAME, __FILE__, ierr_memq_, PETSC_ERROR_REPEAT, " "); \
92686d09637SLisandro Dalcin     } while (0)
9276d210af2SJacob Faibussowitsch   #define CHKMEMA PetscMallocValidate(__LINE__, PETSC_FUNCTION_NAME, __FILE__)
928064a246eSJacob Faibussowitsch #endif
9299566063dSJacob Faibussowitsch 
930668f157eSBarry Smith /*E
931668f157eSBarry Smith   PetscErrorType - passed to the PETSc error handling routines indicating if this is the first or a later call to the error handlers
932668f157eSBarry Smith 
933668f157eSBarry Smith   Level: advanced
934668f157eSBarry Smith 
93587497f52SBarry Smith   `PETSC_ERROR_IN_CXX` indicates the error was detected in C++ and an exception should be generated
936d736bfebSBarry Smith 
93795452b02SPatrick Sanan   Developer Notes:
93895452b02SPatrick Sanan     This is currently used to decide when to print the detailed information about the run in PetscTraceBackErrorHandler()
939668f157eSBarry Smith 
94087497f52SBarry Smith .seealso: `PetscError()`, `SETERRQ()`
941668f157eSBarry Smith E*/
9429371c9d4SSatish Balay typedef enum {
9439371c9d4SSatish Balay   PETSC_ERROR_INITIAL = 0,
9449371c9d4SSatish Balay   PETSC_ERROR_REPEAT  = 1,
9459371c9d4SSatish Balay   PETSC_ERROR_IN_CXX  = 2
9469371c9d4SSatish Balay } PetscErrorType;
9474b209cf6SBarry Smith 
948eb9e708aSLisandro Dalcin #if defined(__clang_analyzer__)
949eb9e708aSLisandro Dalcin __attribute__((analyzer_noreturn))
950eb9e708aSLisandro Dalcin #endif
9519371c9d4SSatish Balay PETSC_EXTERN PetscErrorCode
9529371c9d4SSatish Balay PetscError(MPI_Comm, int, const char *, const char *, PetscErrorCode, PetscErrorType, const char *, ...) PETSC_ATTRIBUTE_COLD PETSC_ATTRIBUTE_FORMAT(7, 8);
953eb9e708aSLisandro Dalcin 
954014dd563SJed Brown PETSC_EXTERN PetscErrorCode PetscErrorPrintfInitialize(void);
955014dd563SJed Brown PETSC_EXTERN PetscErrorCode PetscErrorMessage(int, const char *[], char **);
956d8e4614bSJacob Faibussowitsch PETSC_EXTERN PetscErrorCode PetscTraceBackErrorHandler(MPI_Comm, int, const char *, const char *, PetscErrorCode, PetscErrorType, const char *, void *) PETSC_ATTRIBUTE_COLD;
957d8e4614bSJacob Faibussowitsch PETSC_EXTERN PetscErrorCode PetscIgnoreErrorHandler(MPI_Comm, int, const char *, const char *, PetscErrorCode, PetscErrorType, const char *, void *) PETSC_ATTRIBUTE_COLD;
958d8e4614bSJacob Faibussowitsch PETSC_EXTERN PetscErrorCode PetscEmacsClientErrorHandler(MPI_Comm, int, const char *, const char *, PetscErrorCode, PetscErrorType, const char *, void *) PETSC_ATTRIBUTE_COLD;
959d8e4614bSJacob Faibussowitsch PETSC_EXTERN PetscErrorCode PetscMPIAbortErrorHandler(MPI_Comm, int, const char *, const char *, PetscErrorCode, PetscErrorType, const char *, void *) PETSC_ATTRIBUTE_COLD;
960d8e4614bSJacob Faibussowitsch PETSC_EXTERN PetscErrorCode PetscAbortErrorHandler(MPI_Comm, int, const char *, const char *, PetscErrorCode, PetscErrorType, const char *, void *) PETSC_ATTRIBUTE_COLD;
961d8e4614bSJacob Faibussowitsch PETSC_EXTERN PetscErrorCode PetscAttachDebuggerErrorHandler(MPI_Comm, int, const char *, const char *, PetscErrorCode, PetscErrorType, const char *, void *) PETSC_ATTRIBUTE_COLD;
962d8e4614bSJacob Faibussowitsch PETSC_EXTERN PetscErrorCode PetscReturnErrorHandler(MPI_Comm, int, const char *, const char *, PetscErrorCode, PetscErrorType, const char *, void *) PETSC_ATTRIBUTE_COLD;
963efca3c55SSatish Balay PETSC_EXTERN PetscErrorCode PetscPushErrorHandler(PetscErrorCode (*handler)(MPI_Comm, int, const char *, const char *, PetscErrorCode, PetscErrorType, const char *, void *), void *);
964014dd563SJed Brown PETSC_EXTERN PetscErrorCode PetscPopErrorHandler(void);
9658d359177SBarry Smith PETSC_EXTERN PetscErrorCode PetscSignalHandlerDefault(int, void *);
966014dd563SJed Brown PETSC_EXTERN PetscErrorCode PetscPushSignalHandler(PetscErrorCode (*)(int, void *), void *);
967014dd563SJed Brown PETSC_EXTERN PetscErrorCode PetscPopSignalHandler(void);
96828559dc8SJed Brown PETSC_EXTERN PetscErrorCode PetscCheckPointerSetIntensity(PetscInt);
969c2a741eeSJunchao Zhang PETSC_EXTERN void           PetscSignalSegvCheckPointerOrMpi(void);
970d71ae5a4SJacob Faibussowitsch PETSC_DEPRECATED_FUNCTION("Use PetscSignalSegvCheckPointerOrMpi() (since version 3.13)") static inline void PetscSignalSegvCheckPointer(void)
971d71ae5a4SJacob Faibussowitsch {
9729371c9d4SSatish Balay   PetscSignalSegvCheckPointerOrMpi();
9739371c9d4SSatish Balay }
974329f5518SBarry Smith 
975639ff905SBarry Smith /*MC
976639ff905SBarry Smith     PetscErrorPrintf - Prints error messages.
977639ff905SBarry Smith 
978cf53795eSBarry Smith     Not Collective; No Fortran Support
979cf53795eSBarry Smith 
980639ff905SBarry Smith    Synopsis:
981aaa7dc30SBarry Smith     #include <petscsys.h>
982639ff905SBarry Smith      PetscErrorCode (*PetscErrorPrintf)(const char format[],...);
983639ff905SBarry Smith 
984f899ff85SJose E. Roman     Input Parameter:
985cd05f99aSJacob Faibussowitsch .   format - the usual `printf()` format string
986639ff905SBarry Smith 
987639ff905SBarry Smith    Options Database Keys:
9881957e957SBarry Smith +    -error_output_stdout - cause error messages to be printed to stdout instead of the (default) stderr
989e1bc860dSBarry Smith -    -error_output_none - to turn off all printing of error messages (does not change the way the error is handled.)
990639ff905SBarry Smith 
991cf53795eSBarry Smith    Level: developer
992cf53795eSBarry Smith 
99395452b02SPatrick Sanan    Notes:
99495452b02SPatrick Sanan     Use
995639ff905SBarry Smith $     PetscErrorPrintf = PetscErrorPrintfNone; to turn off all printing of error messages (does not change the way the
996639ff905SBarry Smith $                        error is handled.) and
9971957e957SBarry Smith $     PetscErrorPrintf = PetscErrorPrintfDefault; to turn it back on or you can use your own function
998639ff905SBarry Smith 
999639ff905SBarry Smith           Use
100087497f52SBarry Smith      `PETSC_STDERR` = FILE* obtained from a file open etc. to have stderr printed to the file.
100187497f52SBarry Smith      `PETSC_STDOUT` = FILE* obtained from a file open etc. to have stdout printed to the file.
1002639ff905SBarry Smith 
1003639ff905SBarry Smith           Use
100487497f52SBarry Smith       `PetscPushErrorHandler()` to provide your own error handler that determines what kind of messages to print
1005639ff905SBarry Smith 
1006db781477SPatrick Sanan .seealso: `PetscFPrintf()`, `PetscSynchronizedPrintf()`, `PetscHelpPrintf()`, `PetscPrintf()`, `PetscPushErrorHandler()`, `PetscVFPrintf()`, `PetscHelpPrintf()`
1007639ff905SBarry Smith M*/
10083ca90d2dSJacob Faibussowitsch PETSC_EXTERN PetscErrorCode (*PetscErrorPrintf)(const char[], ...) PETSC_ATTRIBUTE_FORMAT(1, 2);
1009639ff905SBarry Smith 
1010cf0818bdSBarry Smith /*E
1011cf0818bdSBarry Smith      PetscFPTrap - types of floating point exceptions that may be trapped
1012cf0818bdSBarry Smith 
101387497f52SBarry Smith      Currently only `PETSC_FP_TRAP_OFF` and `PETSC_FP_TRAP_ON` are handled. All others are treated as `PETSC_FP_TRAP_ON`.
1014cf0818bdSBarry Smith 
1015cf0818bdSBarry Smith      Level: intermediate
1016cf0818bdSBarry Smith 
1017cf0818bdSBarry Smith .seealso: `PetscSetFPTrap()`, `PetscPushFPTrap()`
1018cf0818bdSBarry Smith  E*/
10199371c9d4SSatish Balay typedef enum {
10209371c9d4SSatish Balay   PETSC_FP_TRAP_OFF      = 0,
10219371c9d4SSatish Balay   PETSC_FP_TRAP_INDIV    = 1,
10229371c9d4SSatish Balay   PETSC_FP_TRAP_FLTOPERR = 2,
10239371c9d4SSatish Balay   PETSC_FP_TRAP_FLTOVF   = 4,
10249371c9d4SSatish Balay   PETSC_FP_TRAP_FLTUND   = 8,
10259371c9d4SSatish Balay   PETSC_FP_TRAP_FLTDIV   = 16,
10269371c9d4SSatish Balay   PETSC_FP_TRAP_FLTINEX  = 32
10279371c9d4SSatish Balay } PetscFPTrap;
1028bd2b07b1SBarry Smith #define PETSC_FP_TRAP_ON (PetscFPTrap)(PETSC_FP_TRAP_INDIV | PETSC_FP_TRAP_FLTOPERR | PETSC_FP_TRAP_FLTOVF | PETSC_FP_TRAP_FLTDIV | PETSC_FP_TRAP_FLTINEX)
1029014dd563SJed Brown PETSC_EXTERN PetscErrorCode PetscSetFPTrap(PetscFPTrap);
1030014dd563SJed Brown PETSC_EXTERN PetscErrorCode PetscFPTrapPush(PetscFPTrap);
1031014dd563SJed Brown PETSC_EXTERN PetscErrorCode PetscFPTrapPop(void);
1032aba4c478SBarry Smith PETSC_EXTERN PetscErrorCode PetscDetermineInitialFPTrap(void);
103354a8ef01SBarry Smith 
10343a40ed3dSBarry Smith /*
10353a40ed3dSBarry Smith       Allows the code to build a stack frame as it runs
10363a40ed3dSBarry Smith */
10373a40ed3dSBarry Smith 
103827104ee2SJacob Faibussowitsch #if defined(PETSC_USE_DEBUG)
103999cd645aSJed Brown   #define PETSCSTACKSIZE 64
10403a40ed3dSBarry Smith typedef struct {
10410e33f6ddSBarry Smith   const char *function[PETSCSTACKSIZE];
10420e33f6ddSBarry Smith   const char *file[PETSCSTACKSIZE];
1043184914b5SBarry Smith   int         line[PETSCSTACKSIZE];
1044362febeeSStefano Zampini   int         petscroutine[PETSCSTACKSIZE]; /* 0 external called from petsc, 1 petsc functions, 2 petsc user functions */
1045184914b5SBarry Smith   int         currentsize;
1046a2f94806SJed Brown   int         hotdepth;
10474be741a6SBarry Smith   PetscBool   check; /* option to check for correct Push/Pop semantics, true for default petscstack but not other stacks */
10483a40ed3dSBarry Smith } PetscStack;
104927104ee2SJacob Faibussowitsch PETSC_EXTERN PetscStack petscstack;
105027104ee2SJacob Faibussowitsch #else
105127104ee2SJacob Faibussowitsch typedef struct {
105227104ee2SJacob Faibussowitsch   char Silence_empty_struct_has_size_0_in_C_size_1_in_Cpp;
105327104ee2SJacob Faibussowitsch } PetscStack;
105427104ee2SJacob Faibussowitsch #endif
10553a40ed3dSBarry Smith 
10565d12eec7SSatish Balay #if defined(PETSC_SERIALIZE_FUNCTIONS)
10575d12eec7SSatish Balay   #include <petsc/private/petscfptimpl.h>
10585d12eec7SSatish Balay   /*
10595d12eec7SSatish Balay    Registers the current function into the global function pointer to function name table
10605d12eec7SSatish Balay 
10615d12eec7SSatish Balay    Have to fix this to handle errors but cannot return error since used in PETSC_VIEWER_DRAW_() etc
10625d12eec7SSatish Balay */
10639371c9d4SSatish Balay   #define PetscRegister__FUNCT__() \
10649371c9d4SSatish Balay     do { \
10655d12eec7SSatish Balay       static PetscBool __chked = PETSC_FALSE; \
10665d12eec7SSatish Balay       if (!__chked) { \
10679371c9d4SSatish Balay         void *ptr; \
10689371c9d4SSatish Balay         PetscDLSym(NULL, PETSC_FUNCTION_NAME, &ptr); \
10695d12eec7SSatish Balay         __chked = PETSC_TRUE; \
10709371c9d4SSatish Balay       } \
10719371c9d4SSatish Balay     } while (0)
10725d12eec7SSatish Balay #else
10735d12eec7SSatish Balay   #define PetscRegister__FUNCT__()
10745d12eec7SSatish Balay #endif
10755d12eec7SSatish Balay 
10766d210af2SJacob Faibussowitsch #if defined(PETSC_CLANG_STATIC_ANALYZER)
10776d210af2SJacob Faibussowitsch   #define PetscStackPushNoCheck(funct, petsc_routine, hot)
107837154d10SBarry Smith   #define PetscStackUpdateLine
1079792fecdfSBarry Smith   #define PetscStackPushExternal(funct)
10806d210af2SJacob Faibussowitsch   #define PetscStackPopNoCheck
10816d210af2SJacob Faibussowitsch   #define PetscStackClearTop
10826d210af2SJacob Faibussowitsch   #define PetscFunctionBegin
10836d210af2SJacob Faibussowitsch   #define PetscFunctionBeginUser
10846d210af2SJacob Faibussowitsch   #define PetscFunctionBeginHot
10856d210af2SJacob Faibussowitsch   #define PetscFunctionReturn(a)    return a
10866d210af2SJacob Faibussowitsch   #define PetscFunctionReturnVoid() return
10876d210af2SJacob Faibussowitsch   #define PetscStackPop
10886d210af2SJacob Faibussowitsch   #define PetscStackPush(f)
10896d210af2SJacob Faibussowitsch #elif defined(PETSC_USE_DEBUG)
1090660278c0SBarry Smith 
10919371c9d4SSatish Balay   #define PetscStackPush_Private(stack__, file__, func__, line__, petsc_routine__, hot__) \
10929371c9d4SSatish Balay     do { \
10935a96b57dSJacob Faibussowitsch       if (stack__.currentsize < PETSCSTACKSIZE) { \
10945a96b57dSJacob Faibussowitsch         stack__.function[stack__.currentsize] = func__; \
1095ef1023bdSBarry Smith         if (petsc_routine__) { \
1096ef1023bdSBarry Smith           stack__.file[stack__.currentsize] = file__; \
10975a96b57dSJacob Faibussowitsch           stack__.line[stack__.currentsize] = line__; \
1098ef1023bdSBarry Smith         } else { \
1099648bc8c4SBarry Smith           stack__.file[stack__.currentsize] = PETSC_NULLPTR; \
1100ef1023bdSBarry Smith           stack__.line[stack__.currentsize] = 0; \
1101ef1023bdSBarry Smith         } \
11025a96b57dSJacob Faibussowitsch         stack__.petscroutine[stack__.currentsize] = petsc_routine__; \
11035a96b57dSJacob Faibussowitsch       } \
11045a96b57dSJacob Faibussowitsch       ++stack__.currentsize; \
11055a96b57dSJacob Faibussowitsch       stack__.hotdepth += (hot__ || stack__.hotdepth); \
11065a96b57dSJacob Faibussowitsch     } while (0)
11075a96b57dSJacob Faibussowitsch 
11084be741a6SBarry Smith   /* uses PetscCheckAbort() because may be used in a function that does not return an error code */
11099371c9d4SSatish Balay   #define PetscStackPop_Private(stack__, func__) \
11109371c9d4SSatish Balay     do { \
11114be741a6SBarry Smith       PetscCheckAbort(!stack__.check || stack__.currentsize > 0, PETSC_COMM_SELF, PETSC_ERR_PLIB, "Invalid stack size %d, pop %s %s:%d.\n", stack__.currentsize, func__, __FILE__, __LINE__); \
11125a96b57dSJacob Faibussowitsch       if (--stack__.currentsize < PETSCSTACKSIZE) { \
11139371c9d4SSatish Balay         PetscCheckAbort(!stack__.check || stack__.petscroutine[stack__.currentsize] != 1 || stack__.function[stack__.currentsize] == (const char *)(func__), PETSC_COMM_SELF, PETSC_ERR_PLIB, "Invalid stack: push from %s %s:%d. Pop from %s %s:%d.\n", \
11149371c9d4SSatish Balay                         stack__.function[stack__.currentsize], stack__.file[stack__.currentsize], stack__.line[stack__.currentsize], func__, __FILE__, __LINE__); \
11155a96b57dSJacob Faibussowitsch         stack__.function[stack__.currentsize]     = PETSC_NULLPTR; \
11165a96b57dSJacob Faibussowitsch         stack__.file[stack__.currentsize]         = PETSC_NULLPTR; \
11175a96b57dSJacob Faibussowitsch         stack__.line[stack__.currentsize]         = 0; \
11185a96b57dSJacob Faibussowitsch         stack__.petscroutine[stack__.currentsize] = 0; \
11195a96b57dSJacob Faibussowitsch       } \
11205a96b57dSJacob Faibussowitsch       stack__.hotdepth = PetscMax(stack__.hotdepth - 1, 0); \
11215a96b57dSJacob Faibussowitsch     } while (0)
11225a96b57dSJacob Faibussowitsch 
1123586f9135SBarry Smith   /*MC
1124586f9135SBarry Smith    PetscStackPushNoCheck - Pushes a new function name and line number onto the PETSc default stack that tracks where the running program is
1125586f9135SBarry Smith    currently in the source code.
1126586f9135SBarry Smith 
1127586f9135SBarry Smith    Not Collective
1128586f9135SBarry Smith 
1129586f9135SBarry Smith    Synopsis:
1130586f9135SBarry Smith    #include <petscsys.h>
1131586f9135SBarry Smith    void PetscStackPushNoCheck(char *funct,int petsc_routine,PetscBool hot);
1132586f9135SBarry Smith 
1133586f9135SBarry Smith    Input Parameters:
1134586f9135SBarry Smith +  funct - the function name
1135586f9135SBarry Smith .  petsc_routine - 2 user function, 1 PETSc function, 0 some other function
1136586f9135SBarry Smith -  hot - indicates that the function may be called often so expensive error checking should be turned off inside the function
1137586f9135SBarry Smith 
1138586f9135SBarry Smith    Level: developer
1139586f9135SBarry Smith 
1140586f9135SBarry Smith    Notes:
1141586f9135SBarry Smith    In debug mode PETSc maintains a stack of the current function calls that can be used to help to quickly see where a problem has
114287497f52SBarry Smith    occurred, for example, when a signal is received without running in the debugger. It is recommended to use the debugger if extensive information is needed to
1143586f9135SBarry Smith    help debug the problem.
1144586f9135SBarry Smith 
1145ef1023bdSBarry Smith    This version does not check the memory corruption (an expensive operation), use `PetscStackPush()` to check the memory.
1146ef1023bdSBarry Smith 
1147792fecdfSBarry Smith    Use `PetscStackPushExternal()` for a function call that is about to be made to a non-PETSc or user function (such as BLAS etc).
1148ef1023bdSBarry Smith 
1149586f9135SBarry Smith    The default stack is a global variable called `petscstack`.
1150586f9135SBarry Smith 
1151586f9135SBarry Smith .seealso: `PetscAttachDebugger()`, `PetscStackCopy()`, `PetscStackView()`, `PetscStackPopNoCheck()`, `PetscCall()`, `PetscFunctionBegin()`,
1152ef1023bdSBarry Smith           `PetscFunctionReturn()`, `PetscFunctionBeginHot()`, `PetscFunctionBeginUser()`, `PetscStackPush()`, `PetscStackPop`,
1153792fecdfSBarry Smith           `PetscStackPushExternal()`
1154586f9135SBarry Smith M*/
11559371c9d4SSatish Balay   #define PetscStackPushNoCheck(funct, petsc_routine, hot) \
11569371c9d4SSatish Balay     do { \
1157e04113cfSBarry Smith       PetscStackSAWsTakeAccess(); \
11585a96b57dSJacob Faibussowitsch       PetscStackPush_Private(petscstack, __FILE__, funct, __LINE__, petsc_routine, hot); \
1159e04113cfSBarry Smith       PetscStackSAWsGrantAccess(); \
1160441dd030SJed Brown     } while (0)
1161441dd030SJed Brown 
1162586f9135SBarry Smith   /*MC
116387497f52SBarry Smith    PetscStackUpdateLine - in a function that has a `PetscFunctionBegin` or `PetscFunctionBeginUser` updates the stack line number to the
116437154d10SBarry Smith    current line number.
116537154d10SBarry Smith 
116637154d10SBarry Smith    Not Collective
116737154d10SBarry Smith 
116837154d10SBarry Smith    Synopsis:
116937154d10SBarry Smith    #include <petscsys.h>
117037154d10SBarry Smith    void PetscStackUpdateLine
117137154d10SBarry Smith 
117237154d10SBarry Smith    Level: developer
117337154d10SBarry Smith 
117437154d10SBarry Smith    Notes:
117587497f52SBarry Smith    Using `PetscCall()` and friends automatically handles this process
117687497f52SBarry Smith 
117737154d10SBarry Smith    In debug mode PETSc maintains a stack of the current function calls that can be used to help to quickly see where a problem has
117837154d10SBarry Smith    occurred, for example, when a signal is received. It is recommended to use the debugger if extensive information is needed to
117937154d10SBarry Smith    help debug the problem.
118037154d10SBarry Smith 
118137154d10SBarry Smith    The default stack is a global variable called petscstack.
118237154d10SBarry Smith 
118337154d10SBarry Smith    This is used by `PetscCall()` and is otherwise not like to be needed
118437154d10SBarry Smith 
118537154d10SBarry Smith .seealso: `PetscAttachDebugger()`, `PetscStackCopy()`, `PetscStackView()`, `PetscStackPushNoCheck()`, `PetscStackPop`, `PetscCall()`
118637154d10SBarry Smith M*/
118737154d10SBarry Smith   #define PetscStackUpdateLine \
11889371c9d4SSatish Balay     if (petscstack.currentsize > 0 && petscstack.function[petscstack.currentsize - 1] == PETSC_FUNCTION_NAME) { petscstack.line[petscstack.currentsize - 1] = __LINE__; }
118937154d10SBarry Smith 
119037154d10SBarry Smith   /*MC
1191792fecdfSBarry Smith    PetscStackPushExternal - Pushes a new function name onto the PETSc default stack that tracks where the running program is
1192ef1023bdSBarry Smith    currently in the source code. Does not include the filename or line number since this is called by the calling routine
1193ef1023bdSBarry Smith    for non-PETSc or user functions.
1194ef1023bdSBarry Smith 
1195ef1023bdSBarry Smith    Not Collective
1196ef1023bdSBarry Smith 
1197ef1023bdSBarry Smith    Synopsis:
1198ef1023bdSBarry Smith    #include <petscsys.h>
1199792fecdfSBarry Smith    void PetscStackPushExternal(char *funct);
1200ef1023bdSBarry Smith 
1201ef1023bdSBarry Smith    Input Parameters:
1202ef1023bdSBarry Smith .  funct - the function name
1203ef1023bdSBarry Smith 
1204ef1023bdSBarry Smith    Level: developer
1205ef1023bdSBarry Smith 
1206ef1023bdSBarry Smith    Notes:
120787497f52SBarry Smith    Using `PetscCallExternal()` and friends automatically handles this process
120887497f52SBarry Smith 
1209ef1023bdSBarry Smith    In debug mode PETSc maintains a stack of the current function calls that can be used to help to quickly see where a problem has
1210ef1023bdSBarry Smith    occurred, for example, when a signal is received. It is recommended to use the debugger if extensive information is needed to
1211ef1023bdSBarry Smith    help debug the problem.
1212ef1023bdSBarry Smith 
1213ef1023bdSBarry Smith    The default stack is a global variable called `petscstack`.
1214ef1023bdSBarry Smith 
1215ef1023bdSBarry Smith    This is to be used when calling an external package function such as a BLAS function.
1216ef1023bdSBarry Smith 
1217ef1023bdSBarry Smith    This also updates the stack line number for the current stack function.
1218ef1023bdSBarry Smith 
1219ef1023bdSBarry Smith .seealso: `PetscAttachDebugger()`, `PetscStackCopy()`, `PetscStackView()`, `PetscStackPopNoCheck()`, `PetscCall()`, `PetscFunctionBegin()`,
1220ef1023bdSBarry Smith           `PetscFunctionReturn()`, `PetscFunctionBeginHot()`, `PetscFunctionBeginUser()`, `PetscStackPushNoCheck()`, `PetscStackPop`
1221ef1023bdSBarry Smith M*/
12229371c9d4SSatish Balay   #define PetscStackPushExternal(funct) \
12239371c9d4SSatish Balay     do { \
12249371c9d4SSatish Balay       PetscStackUpdateLine; \
12259371c9d4SSatish Balay       PetscStackPushNoCheck(funct, 0, PETSC_TRUE); \
12269371c9d4SSatish Balay     } while (0);
1227ef1023bdSBarry Smith 
1228ef1023bdSBarry Smith   /*MC
1229586f9135SBarry Smith    PetscStackPopNoCheck - Pops a function name from the PETSc default stack that tracks where the running program is
1230586f9135SBarry Smith    currently in the source code.
1231586f9135SBarry Smith 
1232586f9135SBarry Smith    Not Collective
1233586f9135SBarry Smith 
1234586f9135SBarry Smith    Synopsis:
1235586f9135SBarry Smith    #include <petscsys.h>
1236586f9135SBarry Smith    void PetscStackPopNoCheck(char *funct);
1237586f9135SBarry Smith 
1238586f9135SBarry Smith    Input Parameter:
1239586f9135SBarry Smith .   funct - the function name
1240586f9135SBarry Smith 
1241586f9135SBarry Smith    Level: developer
1242586f9135SBarry Smith 
1243586f9135SBarry Smith    Notes:
124487497f52SBarry Smith    Using `PetscCall()`, `PetscCallExternal()`, `PetscCallBack()` and friends negates the need to call this
124587497f52SBarry Smith 
1246586f9135SBarry Smith    In debug mode PETSc maintains a stack of the current function calls that can be used to help to quickly see where a problem has
1247586f9135SBarry Smith    occurred, for example, when a signal is received. It is recommended to use the debugger if extensive information is needed to
1248586f9135SBarry Smith    help debug the problem.
1249586f9135SBarry Smith 
1250586f9135SBarry Smith    The default stack is a global variable called petscstack.
1251586f9135SBarry Smith 
1252586f9135SBarry Smith    Developer Note:
1253586f9135SBarry Smith    `PetscStackPopNoCheck()` takes a function argument while  `PetscStackPop` does not, this difference is likely just historical.
1254586f9135SBarry Smith 
1255586f9135SBarry Smith .seealso: `PetscAttachDebugger()`, `PetscStackCopy()`, `PetscStackView()`, `PetscStackPushNoCheck()`, `PetscStackPop`
1256586f9135SBarry Smith M*/
12579371c9d4SSatish Balay   #define PetscStackPopNoCheck(funct) \
12589371c9d4SSatish Balay     do { \
1259362febeeSStefano Zampini       PetscStackSAWsTakeAccess(); \
12605a96b57dSJacob Faibussowitsch       PetscStackPop_Private(petscstack, funct); \
1261362febeeSStefano Zampini       PetscStackSAWsGrantAccess(); \
1262362febeeSStefano Zampini     } while (0)
1263362febeeSStefano Zampini 
12649371c9d4SSatish Balay   #define PetscStackClearTop \
12659371c9d4SSatish Balay     do { \
1266e04113cfSBarry Smith       PetscStackSAWsTakeAccess(); \
12679371c9d4SSatish Balay       if (petscstack.currentsize > 0 && --petscstack.currentsize < PETSCSTACKSIZE) { \
126827104ee2SJacob Faibussowitsch         petscstack.function[petscstack.currentsize]     = PETSC_NULLPTR; \
126927104ee2SJacob Faibussowitsch         petscstack.file[petscstack.currentsize]         = PETSC_NULLPTR; \
127027104ee2SJacob Faibussowitsch         petscstack.line[petscstack.currentsize]         = 0; \
127127104ee2SJacob Faibussowitsch         petscstack.petscroutine[petscstack.currentsize] = 0; \
1272441dd030SJed Brown       } \
127327104ee2SJacob Faibussowitsch       petscstack.hotdepth = PetscMax(petscstack.hotdepth - 1, 0); \
1274e04113cfSBarry Smith       PetscStackSAWsGrantAccess(); \
1275441dd030SJed Brown     } while (0)
1276441dd030SJed Brown 
127730de9b25SBarry Smith   /*MC
12781957e957SBarry Smith    PetscFunctionBegin - First executable line of each PETSc function,  used for error handling. Final
127987497f52SBarry Smith       line of PETSc functions should be `PetscFunctionReturn`(0);
128030de9b25SBarry Smith 
128130de9b25SBarry Smith    Synopsis:
1282aaa7dc30SBarry Smith    #include <petscsys.h>
128330de9b25SBarry Smith    void PetscFunctionBegin;
128430de9b25SBarry Smith 
1285eca87e8dSBarry Smith    Not Collective
1286eca87e8dSBarry Smith 
128730de9b25SBarry Smith    Usage:
128830de9b25SBarry Smith .vb
128930de9b25SBarry Smith      int something;
129030de9b25SBarry Smith 
129130de9b25SBarry Smith      PetscFunctionBegin;
129230de9b25SBarry Smith .ve
129330de9b25SBarry Smith 
129430de9b25SBarry Smith    Notes:
129587497f52SBarry Smith      Use `PetscFunctionBeginUser` for application codes.
12961957e957SBarry Smith 
129730de9b25SBarry Smith      Not available in Fortran
129830de9b25SBarry Smith 
129930de9b25SBarry Smith    Level: developer
130030de9b25SBarry Smith 
1301586f9135SBarry Smith .seealso: `PetscFunctionReturn()`, `PetscFunctionBeginHot()`, `PetscFunctionBeginUser()`, `PetscStackPushNoCheck()`
130230de9b25SBarry Smith 
130330de9b25SBarry Smith M*/
13049371c9d4SSatish Balay   #define PetscFunctionBegin \
13059371c9d4SSatish Balay     do { \
1306362febeeSStefano Zampini       PetscStackPushNoCheck(PETSC_FUNCTION_NAME, 1, PETSC_FALSE); \
1307a2f94806SJed Brown       PetscRegister__FUNCT__(); \
1308a2f94806SJed Brown     } while (0)
1309a2f94806SJed Brown 
1310a2f94806SJed Brown   /*MC
131187497f52SBarry Smith    PetscFunctionBeginHot - Substitute for `PetscFunctionBegin` to be used in functions that are called in
1312a2f94806SJed Brown    performance-critical circumstances.  Use of this function allows for lighter profiling by default.
1313a2f94806SJed Brown 
1314a2f94806SJed Brown    Synopsis:
1315aaa7dc30SBarry Smith    #include <petscsys.h>
1316a2f94806SJed Brown    void PetscFunctionBeginHot;
1317a2f94806SJed Brown 
1318a2f94806SJed Brown    Not Collective
1319a2f94806SJed Brown 
1320a2f94806SJed Brown    Usage:
1321a2f94806SJed Brown .vb
1322a2f94806SJed Brown      int something;
1323a2f94806SJed Brown 
1324a2f94806SJed Brown      PetscFunctionBeginHot;
1325a2f94806SJed Brown .ve
1326a2f94806SJed Brown 
1327a2f94806SJed Brown    Notes:
1328a2f94806SJed Brown      Not available in Fortran
1329a2f94806SJed Brown 
1330a2f94806SJed Brown    Level: developer
1331a2f94806SJed Brown 
1332586f9135SBarry Smith .seealso: `PetscFunctionBegin`, `PetscFunctionReturn()`, `PetscStackPushNoCheck()`
1333a2f94806SJed Brown 
1334a2f94806SJed Brown M*/
13359371c9d4SSatish Balay   #define PetscFunctionBeginHot \
13369371c9d4SSatish Balay     do { \
1337362febeeSStefano Zampini       PetscStackPushNoCheck(PETSC_FUNCTION_NAME, 1, PETSC_TRUE); \
13382d53ad75SBarry Smith       PetscRegister__FUNCT__(); \
133953c77d0aSJed Brown     } while (0)
134053c77d0aSJed Brown 
1341a8d2bbe5SBarry Smith   /*MC
1342530d85c1SBarry Smith    PetscFunctionBeginUser - First executable line of user provided routines
1343a8d2bbe5SBarry Smith 
1344a8d2bbe5SBarry Smith    Synopsis:
1345aaa7dc30SBarry Smith    #include <petscsys.h>
1346a8d2bbe5SBarry Smith    void PetscFunctionBeginUser;
1347a8d2bbe5SBarry Smith 
1348a8d2bbe5SBarry Smith    Not Collective
1349a8d2bbe5SBarry Smith 
1350a8d2bbe5SBarry Smith    Usage:
1351a8d2bbe5SBarry Smith .vb
1352a8d2bbe5SBarry Smith      int something;
1353a8d2bbe5SBarry Smith 
1354ac285190SBarry Smith      PetscFunctionBeginUser;
1355a8d2bbe5SBarry Smith .ve
1356a8d2bbe5SBarry Smith 
1357a8d2bbe5SBarry Smith    Notes:
1358530d85c1SBarry Smith       Functions that incorporate this must call `PetscFunctionReturn()` instead of return except for main().
1359530d85c1SBarry Smith 
1360530d85c1SBarry Smith       May be used before `PetscInitialize()`
13611957e957SBarry Smith 
1362a8d2bbe5SBarry Smith       Not available in Fortran
1363a8d2bbe5SBarry Smith 
1364530d85c1SBarry Smith       This is identical to `PetscFunctionBegin` except it labels the routine as a user
1365ac285190SBarry Smith       routine instead of as a PETSc library routine.
1366ac285190SBarry Smith 
1367a2f94806SJed Brown    Level: intermediate
1368a8d2bbe5SBarry Smith 
1369586f9135SBarry Smith .seealso: `PetscFunctionReturn()`, `PetscFunctionBegin`, `PetscFunctionBeginHot`, `PetscStackPushNoCheck()`
1370a8d2bbe5SBarry Smith 
1371a8d2bbe5SBarry Smith M*/
13729371c9d4SSatish Balay   #define PetscFunctionBeginUser \
13739371c9d4SSatish Balay     do { \
1374362febeeSStefano Zampini       PetscStackPushNoCheck(PETSC_FUNCTION_NAME, 2, PETSC_FALSE); \
1375a8d2bbe5SBarry Smith       PetscRegister__FUNCT__(); \
1376a8d2bbe5SBarry Smith     } while (0)
1377a8d2bbe5SBarry Smith 
1378586f9135SBarry Smith   /*MC
1379586f9135SBarry Smith    PetscStackPush - Pushes a new function name and line number onto the PETSc default stack that tracks where the running program is
1380586f9135SBarry Smith    currently in the source code and verifies the memory is not corrupted.
1381586f9135SBarry Smith 
1382586f9135SBarry Smith    Not Collective
1383586f9135SBarry Smith 
1384586f9135SBarry Smith    Synopsis:
1385586f9135SBarry Smith    #include <petscsys.h>
1386586f9135SBarry Smith    void PetscStackPush(char *funct)
1387586f9135SBarry Smith 
1388586f9135SBarry Smith    Input Parameter:
1389586f9135SBarry Smith .  funct - the function name
1390586f9135SBarry Smith 
1391586f9135SBarry Smith    Level: developer
1392586f9135SBarry Smith 
1393586f9135SBarry Smith    Notes:
1394586f9135SBarry Smith    In debug mode PETSc maintains a stack of the current function calls that can be used to help to quickly see where a problem has
1395586f9135SBarry Smith    occurred, for example, when a signal is received. It is recommended to use the debugger if extensive information is needed to
1396586f9135SBarry Smith    help debug the problem.
1397586f9135SBarry Smith 
1398586f9135SBarry Smith    The default stack is a global variable called petscstack.
1399586f9135SBarry Smith 
1400586f9135SBarry Smith .seealso: `PetscAttachDebugger()`, `PetscStackCopy()`, `PetscStackView()`, `PetscStackPopNoCheck()`, `PetscCall()`, `PetscFunctionBegin()`,
1401586f9135SBarry Smith           `PetscFunctionReturn()`, `PetscFunctionBeginHot()`, `PetscFunctionBeginUser()`, `PetscStackPushNoCheck()`, `PetscStackPop`
1402586f9135SBarry Smith M*/
14039371c9d4SSatish Balay   #define PetscStackPush(n) \
14049371c9d4SSatish Balay     do { \
1405362febeeSStefano Zampini       PetscStackPushNoCheck(n, 0, PETSC_FALSE); \
140615681b3cSBarry Smith       CHKMEMQ; \
140715681b3cSBarry Smith     } while (0)
14083a40ed3dSBarry Smith 
1409586f9135SBarry Smith   /*MC
1410586f9135SBarry Smith    PetscStackPop - Pops a function name from the PETSc default stack that tracks where the running program is
1411586f9135SBarry Smith    currently in the source code and verifies the memory is not corrupted.
1412586f9135SBarry Smith 
1413586f9135SBarry Smith    Not Collective
1414586f9135SBarry Smith 
1415586f9135SBarry Smith    Synopsis:
1416586f9135SBarry Smith    #include <petscsys.h>
1417586f9135SBarry Smith    void PetscStackPop
1418586f9135SBarry Smith 
1419586f9135SBarry Smith    Level: developer
1420586f9135SBarry Smith 
1421586f9135SBarry Smith    Notes:
1422586f9135SBarry Smith    In debug mode PETSc maintains a stack of the current function calls that can be used to help to quickly see where a problem has
1423586f9135SBarry Smith    occurred, for example, when a signal is received. It is recommended to use the debugger if extensive information is needed to
1424586f9135SBarry Smith    help debug the problem.
1425586f9135SBarry Smith 
1426586f9135SBarry Smith    The default stack is a global variable called petscstack.
1427586f9135SBarry Smith 
1428586f9135SBarry Smith .seealso: `PetscAttachDebugger()`, `PetscStackCopy()`, `PetscStackView()`, `PetscStackPushNoCheck()`, `PetscStackPopNoCheck()`, `PetscStackPush()`
1429586f9135SBarry Smith M*/
14309371c9d4SSatish Balay   #define PetscStackPop \
14319371c9d4SSatish Balay     do { \
1432441dd030SJed Brown       CHKMEMQ; \
1433362febeeSStefano Zampini       PetscStackPopNoCheck(PETSC_FUNCTION_NAME); \
143415681b3cSBarry Smith     } while (0)
1435d64ed03dSBarry Smith 
143630de9b25SBarry Smith   /*MC
143730de9b25SBarry Smith    PetscFunctionReturn - Last executable line of each PETSc function
143887497f52SBarry Smith         used for error handling. Replaces `return()`
143930de9b25SBarry Smith 
144030de9b25SBarry Smith    Synopsis:
1441aaa7dc30SBarry Smith    #include <petscsys.h>
144230de9b25SBarry Smith    void PetscFunctionReturn(0);
144330de9b25SBarry Smith 
1444eca87e8dSBarry Smith    Not Collective
1445eca87e8dSBarry Smith 
144630de9b25SBarry Smith    Usage:
144730de9b25SBarry Smith .vb
144830de9b25SBarry Smith     ....
144930de9b25SBarry Smith      PetscFunctionReturn(0);
145030de9b25SBarry Smith    }
145130de9b25SBarry Smith .ve
145230de9b25SBarry Smith 
145387497f52SBarry Smith    Note:
145430de9b25SBarry Smith      Not available in Fortran
145530de9b25SBarry Smith 
145630de9b25SBarry Smith    Level: developer
145730de9b25SBarry Smith 
1458586f9135SBarry Smith .seealso: `PetscFunctionBegin()`, `PetscStackPopNoCheck()`
145930de9b25SBarry Smith 
146030de9b25SBarry Smith M*/
14619371c9d4SSatish Balay   #define PetscFunctionReturn(a) \
14629371c9d4SSatish Balay     do { \
1463362febeeSStefano Zampini       PetscStackPopNoCheck(PETSC_FUNCTION_NAME); \
146427104ee2SJacob Faibussowitsch       return a; \
146527104ee2SJacob Faibussowitsch     } while (0)
1466d64ed03dSBarry Smith 
14679371c9d4SSatish Balay   #define PetscFunctionReturnVoid() \
14689371c9d4SSatish Balay     do { \
1469362febeeSStefano Zampini       PetscStackPopNoCheck(PETSC_FUNCTION_NAME); \
147027104ee2SJacob Faibussowitsch       return; \
147127104ee2SJacob Faibussowitsch     } while (0)
147227104ee2SJacob Faibussowitsch #else /* PETSC_USE_DEBUG */
147327104ee2SJacob Faibussowitsch   #define PetscStackPushNoCheck(funct, petsc_routine, hot)
147437154d10SBarry Smith   #define PetscStackUpdateLine
1475792fecdfSBarry Smith   #define PetscStackPushExternal(funct)
147627104ee2SJacob Faibussowitsch   #define PetscStackPopNoCheck
147727104ee2SJacob Faibussowitsch   #define PetscStackClearTop
14783a40ed3dSBarry Smith   #define PetscFunctionBegin
14790bdf7c52SPeter Brune   #define PetscFunctionBeginUser
1480a2f94806SJed Brown   #define PetscFunctionBeginHot
148127104ee2SJacob Faibussowitsch   #define PetscFunctionReturn(a)    return a
14825665465eSBarry Smith   #define PetscFunctionReturnVoid() return
1483812af9f3SBarry Smith   #define PetscStackPop             CHKMEMQ
1484812af9f3SBarry Smith   #define PetscStackPush(f)         CHKMEMQ
148527104ee2SJacob Faibussowitsch #endif /* PETSC_USE_DEBUG */
14863a40ed3dSBarry Smith 
14876d210af2SJacob Faibussowitsch #if defined(PETSC_CLANG_STATIC_ANALYZER)
1488e77caa6dSBarry Smith   #define PetscStackCallExternalVoid(name, routine)
1489792fecdfSBarry Smith   #define PetscCallExternal(func, ...)
14906d210af2SJacob Faibussowitsch #else
1491586f9135SBarry Smith   /*MC
1492e77caa6dSBarry Smith     PetscStackCallExternalVoid - Calls an external library routine or user function after pushing the name of the routine on the stack.
1493eb6b5d47SBarry Smith 
1494eb6b5d47SBarry Smith    Input Parameters:
1495eb6b5d47SBarry Smith +   name - string that gives the name of the function being called
1496586f9135SBarry Smith -   routine - actual call to the routine, for example, functionname(a,b)
1497fd3f9acdSBarry Smith 
1498586f9135SBarry Smith    Level: developer
1499eb6b5d47SBarry Smith 
1500586f9135SBarry Smith    Note:
1501792fecdfSBarry Smith    Often one should use `PetscCallExternal()` instead. This routine is intended for external library routines that DO NOT return error codes
1502eb6b5d47SBarry Smith 
1503586f9135SBarry Smith    In debug mode this also checks the memory for corruption at the end of the function call.
1504586f9135SBarry Smith 
1505586f9135SBarry Smith    Certain external packages, such as BLAS/LAPACK may have their own macros for managing the call, error checking, etc.
1506586f9135SBarry Smith 
1507586f9135SBarry Smith    Developer Note:
1508586f9135SBarry Smith    This is so that when a user or external library routine results in a crash or corrupts memory, they get blamed instead of PETSc.
1509586f9135SBarry Smith 
1510792fecdfSBarry Smith .seealso: `PetscCall()`, `PetscStackPushNoCheck()`, `PetscStackPush()`, `PetscCallExternal()`, `PetscCallBLAS()`
1511586f9135SBarry Smith @*/
15129371c9d4SSatish Balay   #define PetscStackCallExternalVoid(name, routine) \
15139371c9d4SSatish Balay     do { \
15149371c9d4SSatish Balay       PetscStackPush(name); \
15159371c9d4SSatish Balay       routine; \
15169371c9d4SSatish Balay       PetscStackPop; \
15179371c9d4SSatish Balay     } while (0)
1518eb6b5d47SBarry Smith 
1519586f9135SBarry Smith   /*MC
1520792fecdfSBarry Smith     PetscCallExternal - Calls an external library routine that returns an error code after pushing the name of the routine on the stack.
1521fd3f9acdSBarry Smith 
1522fd3f9acdSBarry Smith    Input Parameters:
1523fd3f9acdSBarry Smith +   func-  name of the routine
1524586f9135SBarry Smith -   args - arguments to the routine
1525586f9135SBarry Smith 
1526586f9135SBarry Smith    Level: developer
1527fd3f9acdSBarry Smith 
152895452b02SPatrick Sanan    Notes:
1529e77caa6dSBarry Smith    This is intended for external package routines that return error codes. Use `PetscStackCallExternalVoid()` for those that do not.
1530dbf62e16SBarry Smith 
1531586f9135SBarry Smith    In debug mode this also checks the memory for corruption at the end of the function call.
1532fd3f9acdSBarry Smith 
153387497f52SBarry Smith    Assumes the error return code of the function is an integer and that a value of 0 indicates success
153487497f52SBarry Smith 
1535586f9135SBarry Smith    Developer Note:
1536d5b43468SJose E. Roman    This is so that when an external package routine results in a crash or corrupts memory, they get blamed instead of PETSc.
1537586f9135SBarry Smith 
1538e77caa6dSBarry Smith .seealso: `PetscCall()`, `PetscStackPushNoCheck()`, `PetscStackPush()`, `PetscStackCallExternalVoid()`
1539586f9135SBarry Smith M*/
15409371c9d4SSatish Balay   #define PetscCallExternal(func, ...) \
15419371c9d4SSatish Balay     do { \
1542a74df02fSJacob Faibussowitsch       PetscStackPush(PetscStringize(func)); \
1543a74df02fSJacob Faibussowitsch       PetscErrorCode __ierr = func(__VA_ARGS__); \
15441d4906efSStefano Zampini       PetscStackPop; \
154532771afcSJacob Faibussowitsch       PetscCheck(!__ierr, PETSC_COMM_SELF, PETSC_ERR_LIB, "Error in %s(): error code %d", PetscStringize(func), __ierr); \
1546fd3f9acdSBarry Smith     } while (0)
15476d210af2SJacob Faibussowitsch #endif /* PETSC_CLANG_STATIC_ANALYZER */
154806d1fe2cSBarry Smith 
154906d1fe2cSBarry Smith #endif
1550