xref: /petsc/include/petscerror.h (revision d71ae5a4db6382e7f06317b8d368875286fe9008)
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 
10ac09b921SBarry Smith /* SUBMANSEC = Sys */
11ac09b921SBarry Smith 
1254a8ef01SBarry Smith /*
13329ffe3dSLois Curfman McInnes      These are the generic error codes. These error codes are used
14e2d1d2b7SBarry Smith      many different places in the PETSc source code. The string versions are
150e5e90baSSatish Balay      at src/sys/error/err.c any changes here must also be made there
16e951c290SBarry Smith      These are also define in src/sys/f90-mod/petscerror.h any CHANGES here
170f9cf654SBarry Smith      must be also made there.
1845d48df9SBarry Smith 
1954a8ef01SBarry Smith */
202a6744ebSBarry Smith #define PETSC_ERR_MIN_VALUE 54 /* should always be one less then the smallest value */
212a6744ebSBarry Smith 
2245d48df9SBarry Smith #define PETSC_ERR_MEM            55 /* unable to allocate requested memory */
2347794344SBarry Smith #define PETSC_ERR_SUP            56 /* no support for requested operation */
24e2d1d2b7SBarry Smith #define PETSC_ERR_SUP_SYS        57 /* no support for requested operation on this computer system */
25e2d1d2b7SBarry Smith #define PETSC_ERR_ORDER          58 /* operation done in wrong order */
2645d48df9SBarry Smith #define PETSC_ERR_SIG            59 /* signal received */
27f1caa5a4SBarry Smith #define PETSC_ERR_FP             72 /* floating point exception */
28a8c6a408SBarry Smith #define PETSC_ERR_COR            74 /* corrupted PETSc object */
29a8c6a408SBarry Smith #define PETSC_ERR_LIB            76 /* error in library called by PETSc */
30329ffe3dSLois Curfman McInnes #define PETSC_ERR_PLIB           77 /* PETSc library generated inconsistent data */
31329ffe3dSLois Curfman McInnes #define PETSC_ERR_MEMC           78 /* memory corruption */
32b3cc6726SBarry Smith #define PETSC_ERR_CONV_FAILED    82 /* iterative method (KSP or SNES) failed */
331302d50aSBarry Smith #define PETSC_ERR_USER           83 /* user has not provided needed function */
344e2ffeddSBarry Smith #define PETSC_ERR_SYS            88 /* error in system call */
35a8b45ee7SBarry Smith #define PETSC_ERR_POINTER        70 /* pointer does not point to valid address */
363d96e996SBarry Smith #define PETSC_ERR_MPI_LIB_INCOMP 87 /* MPI library at runtime is not compatible with MPI user compiled with */
3745d48df9SBarry Smith 
3845d48df9SBarry Smith #define PETSC_ERR_ARG_SIZ          60 /* nonconforming object sizes used in operation */
3945d48df9SBarry Smith #define PETSC_ERR_ARG_IDN          61 /* two arguments not allowed to be the same */
40a8c6a408SBarry Smith #define PETSC_ERR_ARG_WRONG        62 /* wrong argument (but object probably ok) */
4145d48df9SBarry Smith #define PETSC_ERR_ARG_CORRUPT      64 /* null or corrupted PETSc object as argument */
4245d48df9SBarry Smith #define PETSC_ERR_ARG_OUTOFRANGE   63 /* input argument, out of range */
434f227f7cSBarry Smith #define PETSC_ERR_ARG_BADPTR       68 /* invalid pointer argument */
444f227f7cSBarry Smith #define PETSC_ERR_ARG_NOTSAMETYPE  69 /* two args must be same object type */
456831982aSBarry Smith #define PETSC_ERR_ARG_NOTSAMECOMM  80 /* two args must be same communicators */
46d252947aSBarry Smith #define PETSC_ERR_ARG_WRONGSTATE   73 /* object in argument is in wrong state, e.g. unassembled mat */
478cda6cd7SBarry Smith #define PETSC_ERR_ARG_TYPENOTSET   89 /* the type of the object has not yet been set */
48a8c6a408SBarry Smith #define PETSC_ERR_ARG_INCOMP       75 /* two arguments are incompatible */
494482741eSBarry Smith #define PETSC_ERR_ARG_NULL         85 /* argument is null that should not be */
50958c9bccSBarry Smith #define PETSC_ERR_ARG_UNKNOWN_TYPE 86 /* type name doesn't match any registered type */
514f227f7cSBarry Smith 
524f227f7cSBarry Smith #define PETSC_ERR_FILE_OPEN       65 /* unable to open file */
534f227f7cSBarry Smith #define PETSC_ERR_FILE_READ       66 /* unable to read from file */
544f227f7cSBarry Smith #define PETSC_ERR_FILE_WRITE      67 /* unable to write to file */
55a8c6a408SBarry Smith #define PETSC_ERR_FILE_UNEXPECTED 79 /* unexpected data in file */
5645d48df9SBarry Smith 
57329ffe3dSLois Curfman McInnes #define PETSC_ERR_MAT_LU_ZRPVT 71 /* detected a zero pivot during LU factorization */
589e3b2f23SBarry Smith #define PETSC_ERR_MAT_CH_ZRPVT 81 /* detected a zero pivot during Cholesky factorization */
5954a8ef01SBarry Smith 
6068e69593SBarry Smith #define PETSC_ERR_INT_OVERFLOW 84
613855c12bSBarry Smith 
62bf3909cdSBarry Smith #define PETSC_ERR_FLOP_COUNT     90
63e113a28aSBarry Smith #define PETSC_ERR_NOT_CONVERGED  91  /* solver did not converge */
6492e8f287SBarry Smith #define PETSC_ERR_MISSING_FACTOR 92  /* MatGetFactor() failed */
65691b26d3SBarry Smith #define PETSC_ERR_OPT_OVERWRITE  93  /* attempted to over write options which should not be changed */
66691b26d3SBarry Smith #define PETSC_ERR_WRONG_MPI_SIZE 94  /* example/application run with number of MPI ranks it does not support */
67691b26d3SBarry Smith #define PETSC_ERR_USER_INPUT     95  /* missing or incorrect user input */
68589f383fSBarry Smith #define PETSC_ERR_GPU_RESOURCE   96  /* unable to load a GPU resource, for example cuBLAS */
69589f383fSBarry 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 */
70ffc4695bSBarry Smith #define PETSC_ERR_MPI            98  /* general MPI error */
71e809461dSJacob Faibussowitsch #define PETSC_ERR_RETURN         99  /* PetscError() incorrectly returned an error code of 0 */
72e809461dSJacob Faibussowitsch #define PETSC_ERR_MAX_VALUE      100 /* this is always the one more than the largest error code */
73b9eb5ee8SHong Zhang 
7498921bdaSJacob Faibussowitsch #define SETERRQ1(...) PETSC_DEPRECATED_MACRO("GCC warning \"Use SETERRQ() (since version 3.17)\"") SETERRQ(__VA_ARGS__)
7598921bdaSJacob Faibussowitsch #define SETERRQ2(...) PETSC_DEPRECATED_MACRO("GCC warning \"Use SETERRQ() (since version 3.17)\"") SETERRQ(__VA_ARGS__)
7698921bdaSJacob Faibussowitsch #define SETERRQ3(...) PETSC_DEPRECATED_MACRO("GCC warning \"Use SETERRQ() (since version 3.17)\"") SETERRQ(__VA_ARGS__)
7798921bdaSJacob Faibussowitsch #define SETERRQ4(...) PETSC_DEPRECATED_MACRO("GCC warning \"Use SETERRQ() (since version 3.17)\"") SETERRQ(__VA_ARGS__)
7898921bdaSJacob Faibussowitsch #define SETERRQ5(...) PETSC_DEPRECATED_MACRO("GCC warning \"Use SETERRQ() (since version 3.17)\"") SETERRQ(__VA_ARGS__)
7998921bdaSJacob Faibussowitsch #define SETERRQ6(...) PETSC_DEPRECATED_MACRO("GCC warning \"Use SETERRQ() (since version 3.17)\"") SETERRQ(__VA_ARGS__)
8098921bdaSJacob Faibussowitsch #define SETERRQ7(...) PETSC_DEPRECATED_MACRO("GCC warning \"Use SETERRQ() (since version 3.17)\"") SETERRQ(__VA_ARGS__)
8198921bdaSJacob Faibussowitsch #define SETERRQ8(...) PETSC_DEPRECATED_MACRO("GCC warning \"Use SETERRQ() (since version 3.17)\"") SETERRQ(__VA_ARGS__)
8298921bdaSJacob Faibussowitsch #define SETERRQ9(...) PETSC_DEPRECATED_MACRO("GCC warning \"Use SETERRQ() (since version 3.17)\"") SETERRQ(__VA_ARGS__)
8398921bdaSJacob Faibussowitsch 
8430de9b25SBarry Smith /*MC
851957e957SBarry Smith    SETERRQ - Macro to be called when an error has been detected,
8630de9b25SBarry Smith 
8730de9b25SBarry Smith    Synopsis:
88aaa7dc30SBarry Smith    #include <petscsys.h>
8998921bdaSJacob Faibussowitsch    PetscErrorCode SETERRQ(MPI_Comm comm,PetscErrorCode ierr,char *message,...)
9030de9b25SBarry Smith 
91d083f849SBarry Smith    Collective
9230de9b25SBarry Smith 
9330de9b25SBarry Smith    Input Parameters:
9487497f52SBarry Smith +  comm - A communicator, use `PETSC_COMM_SELF` unless you know all ranks of another communicator will detect the error
953af045c5SBarry Smith .  ierr - nonzero error code, see the list of standard error codes in include/petscerror.h
9630de9b25SBarry Smith -  message - error message
9730de9b25SBarry Smith 
9830de9b25SBarry Smith   Level: beginner
9930de9b25SBarry Smith 
10030de9b25SBarry Smith    Notes:
10187497f52SBarry Smith     This is rarely needed, one should use `PetscCheck()` and `PetscCall()` and friends to automatically handle error conditions.
10230de9b25SBarry Smith     Once the error handler is called the calling function is then returned from with the given error code.
10330de9b25SBarry Smith 
10487497f52SBarry Smith     Experienced users can set the error handler with `PetscPushErrorHandler()`.
10530de9b25SBarry Smith 
1063b1008b8SBarry Smith    Fortran Notes:
1073b1008b8SBarry Smith       SETERRQ() may be called from Fortran subroutines but SETERRA() must be called from the
1083b1008b8SBarry Smith       Fortran main program.
1093b1008b8SBarry Smith 
110db781477SPatrick Sanan .seealso: `PetscCheck()`, `PetscAssert()`, `PetscTraceBackErrorHandler()`, `PetscPushErrorHandler()`,
111db781477SPatrick Sanan           `PetscError()`, `PetscCall()`, `CHKMEMQ`, `CHKERRA()`, `PetscCallMPI()`
11230de9b25SBarry Smith M*/
113e809461dSJacob Faibussowitsch #define SETERRQ(comm, ierr, ...) \
114e809461dSJacob Faibussowitsch   do { \
115e809461dSJacob Faibussowitsch     PetscErrorCode ierr_seterrq_petsc_ = PetscError(comm, __LINE__, PETSC_FUNCTION_NAME, __FILE__, ierr, PETSC_ERROR_INITIAL, __VA_ARGS__); \
116e809461dSJacob Faibussowitsch     return ierr_seterrq_petsc_ ? ierr_seterrq_petsc_ : PETSC_ERR_RETURN; \
117e809461dSJacob Faibussowitsch   } while (0)
118986eef2eSBarry Smith 
119ffc4695bSBarry Smith /*
120ffc4695bSBarry Smith     Returned from PETSc functions that are called from MPI, such as related to attributes
121ffc4695bSBarry Smith       Do not confuse PETSC_MPI_ERROR_CODE and PETSC_ERR_MPI, the first is registered with MPI and returned to MPI as
122888a1fb3SBarry 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.
123ffc4695bSBarry Smith */
124ffc4695bSBarry Smith PETSC_EXTERN PetscMPIInt PETSC_MPI_ERROR_CLASS;
125ffc4695bSBarry Smith PETSC_EXTERN PetscMPIInt PETSC_MPI_ERROR_CODE;
126ffc4695bSBarry Smith 
127986eef2eSBarry Smith /*MC
128986eef2eSBarry Smith    SETERRMPI - Macro to be called when an error has been detected within an MPI callback function
129986eef2eSBarry Smith 
130986eef2eSBarry Smith    Synopsis:
131986eef2eSBarry Smith    #include <petscsys.h>
13298921bdaSJacob Faibussowitsch    PetscErrorCode SETERRMPI(MPI_Comm comm,PetscErrorCode ierr,char *message,...)
133986eef2eSBarry Smith 
134d083f849SBarry Smith    Collective
135986eef2eSBarry Smith 
136986eef2eSBarry Smith    Input Parameters:
13787497f52SBarry Smith +  comm - A communicator, use `PETSC_COMM_SELF` unless you know all ranks of another communicator will detect the error
138986eef2eSBarry Smith .  ierr - nonzero error code, see the list of standard error codes in include/petscerror.h
139986eef2eSBarry Smith -  message - error message
140986eef2eSBarry Smith 
141986eef2eSBarry Smith   Level: developer
142986eef2eSBarry Smith 
143986eef2eSBarry Smith    Notes:
14487497f52SBarry 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`
14587497f52SBarry Smith     which is registered with `MPI_Add_error_code()` when PETSc is initialized.
146986eef2eSBarry Smith 
147db781477SPatrick Sanan .seealso: `SETERRQ()`, `PetscCall()`, `PetscCallMPI()`, `PetscTraceBackErrorHandler()`, `PetscPushErrorHandler()`, `PetscError()`, `CHKMEMQ`
148986eef2eSBarry Smith M*/
14998921bdaSJacob Faibussowitsch #define SETERRMPI(comm, ierr, ...) return (PetscError(comm, __LINE__, PETSC_FUNCTION_NAME, __FILE__, ierr, PETSC_ERROR_INITIAL, __VA_ARGS__), PETSC_MPI_ERROR_CODE)
150ee8199e6SMatthew G. Knepley 
151ee8199e6SMatthew G. Knepley /*MC
152f388eb8bSPatrick Sanan    SETERRA - Fortran-only macro that can be called when an error has been detected from the main program
153f388eb8bSPatrick Sanan 
154f388eb8bSPatrick Sanan    Synopsis:
155f388eb8bSPatrick Sanan    #include <petscsys.h>
156f388eb8bSPatrick Sanan    PetscErrorCode SETERRA(MPI_Comm comm,PetscErrorCode ierr,char *message)
157f388eb8bSPatrick Sanan 
158f388eb8bSPatrick Sanan    Collective
159f388eb8bSPatrick Sanan 
160f388eb8bSPatrick Sanan    Input Parameters:
161f388eb8bSPatrick Sanan +  comm - A communicator, so that the error can be collective
162f388eb8bSPatrick Sanan .  ierr - nonzero error code, see the list of standard error codes in include/petscerror.h
163f388eb8bSPatrick Sanan -  message - error message in the printf format
164f388eb8bSPatrick Sanan 
165f388eb8bSPatrick Sanan   Level: beginner
166f388eb8bSPatrick Sanan 
167f388eb8bSPatrick Sanan    Notes:
16887497f52SBarry Smith     This should only be used with Fortran. With C/C++, use `SETERRQ()`.
169f388eb8bSPatrick Sanan 
170f388eb8bSPatrick Sanan    Fortran Notes:
17187497f52SBarry Smith       `SETERRQ()` may be called from Fortran subroutines but `SETERRA()` must be called from the
172f388eb8bSPatrick Sanan       Fortran main program.
173f388eb8bSPatrick Sanan 
174db781477SPatrick Sanan .seealso: `SETERRQ()`, `SETERRABORT()`, `PetscCall()`, `CHKERRA()`, `PetscCallAbort()`
175f388eb8bSPatrick Sanan M*/
176f388eb8bSPatrick Sanan 
177f388eb8bSPatrick Sanan /*MC
178fa190f98SMatthew G. Knepley    SETERRABORT - Macro that can be called when an error has been detected,
179fa190f98SMatthew G. Knepley 
180fa190f98SMatthew G. Knepley    Synopsis:
181fa190f98SMatthew G. Knepley    #include <petscsys.h>
18298921bdaSJacob Faibussowitsch    PetscErrorCode SETERRABORT(MPI_Comm comm,PetscErrorCode ierr,char *message,...)
183fa190f98SMatthew G. Knepley 
184d083f849SBarry Smith    Collective
185fa190f98SMatthew G. Knepley 
186fa190f98SMatthew G. Knepley    Input Parameters:
187fa190f98SMatthew G. Knepley +  comm - A communicator, so that the error can be collective
1883af045c5SBarry Smith .  ierr - nonzero error code, see the list of standard error codes in include/petscerror.h
189fa190f98SMatthew G. Knepley -  message - error message in the printf format
190fa190f98SMatthew G. Knepley 
191fa190f98SMatthew G. Knepley   Level: beginner
192fa190f98SMatthew G. Knepley 
193fa190f98SMatthew G. Knepley    Notes:
19487497f52SBarry Smith     This function just calls `MPI_Abort()`.
19587497f52SBarry Smith 
19687497f52SBarry Smith     This should only be called in routines that cannot return an error code, such as in C++ constructors.
197fa190f98SMatthew G. Knepley 
198db781477SPatrick Sanan .seealso: `SETERRQ()`, `PetscTraceBackErrorHandler()`, `PetscPushErrorHandler()`, `PetscError()`, `PetscCall()`, `CHKMEMQ`
199fa190f98SMatthew G. Knepley M*/
2009371c9d4SSatish Balay #define SETERRABORT(comm, ierr, ...) \
2019371c9d4SSatish Balay   do { \
20298921bdaSJacob Faibussowitsch     PetscError(comm, __LINE__, PETSC_FUNCTION_NAME, __FILE__, ierr, PETSC_ERROR_INITIAL, __VA_ARGS__); \
20398921bdaSJacob Faibussowitsch     MPI_Abort(comm, ierr); \
20498921bdaSJacob Faibussowitsch   } while (0)
2059a00fa46SSatish Balay 
20630de9b25SBarry Smith /*MC
2072c71b3e2SJacob Faibussowitsch   PetscCheck - Check that a particular condition is true
2082c71b3e2SJacob Faibussowitsch 
2092c71b3e2SJacob Faibussowitsch   Synopsis:
2102c71b3e2SJacob Faibussowitsch   #include <petscerror.h>
2112c71b3e2SJacob Faibussowitsch   void PetscCheck(bool cond, MPI_Comm comm, PetscErrorCode ierr, const char *message, ...)
2122c71b3e2SJacob Faibussowitsch 
2132c71b3e2SJacob Faibussowitsch   Collective
2142c71b3e2SJacob Faibussowitsch 
2152c71b3e2SJacob Faibussowitsch   Input Parameters:
2162c71b3e2SJacob Faibussowitsch + cond    - The boolean condition
2172c71b3e2SJacob Faibussowitsch . comm    - The communicator on which the check can be collective on
2182c71b3e2SJacob Faibussowitsch . ierr    - A nonzero error code, see include/petscerror.h for the complete list
2192c71b3e2SJacob Faibussowitsch - message - Error message in printf format
2202c71b3e2SJacob Faibussowitsch 
2212c71b3e2SJacob Faibussowitsch   Notes:
2222c71b3e2SJacob Faibussowitsch   Enabled in both optimized and debug builds.
2232c71b3e2SJacob Faibussowitsch 
22487497f52SBarry Smith   Calls `SETERRQ()` if the assertion fails, so can only be called from functions returning a
22587497f52SBarry Smith   `PetscErrorCode` (or equivalent type after conversion).
2262c71b3e2SJacob Faibussowitsch 
2272c71b3e2SJacob Faibussowitsch   Level: beginner
2282c71b3e2SJacob Faibussowitsch 
2294be741a6SBarry Smith .seealso: `PetscAssert()`, `SETERRQ()`, `PetscError()`, `PetscCall()`, `PetscCheckAbort()`
2309566063dSJacob Faibussowitsch M*/
2319371c9d4SSatish Balay #define PetscCheck(cond, comm, ierr, ...) \
2329371c9d4SSatish Balay   do { \
2339371c9d4SSatish Balay     if (PetscUnlikely(!(cond))) SETERRQ(comm, ierr, __VA_ARGS__); \
2349371c9d4SSatish Balay   } while (0)
2352c71b3e2SJacob Faibussowitsch 
2362c71b3e2SJacob Faibussowitsch /*MC
2374be741a6SBarry Smith   PetscCheckAbort - Check that a particular condition is true, otherwise prints error and aborts
2384be741a6SBarry Smith 
2394be741a6SBarry Smith   Synopsis:
2404be741a6SBarry Smith   #include <petscerror.h>
2414be741a6SBarry Smith   void PetscCheckAbort(bool cond, MPI_Comm comm, PetscErrorCode ierr, const char *message, ...)
2424be741a6SBarry Smith 
2434be741a6SBarry Smith   Collective
2444be741a6SBarry Smith 
2454be741a6SBarry Smith   Input Parameters:
2464be741a6SBarry Smith + cond    - The boolean condition
2474be741a6SBarry Smith . comm    - The communicator on which the check can be collective on
2484be741a6SBarry Smith . ierr    - A nonzero error code, see include/petscerror.h for the complete list
2494be741a6SBarry Smith - message - Error message in printf format
2504be741a6SBarry Smith 
2514be741a6SBarry Smith   Notes:
2524be741a6SBarry Smith   Enabled in both optimized and debug builds.
2534be741a6SBarry Smith 
25487497f52SBarry Smith   Calls `SETERRABORT()` if the assertion fails, can be called from a function that does not return an
25587497f52SBarry Smith   error code, such as a C++ constructor. usually `PetscCheck()` should be used.
2564be741a6SBarry Smith 
2574be741a6SBarry Smith   Level: developer
2584be741a6SBarry Smith 
2590e6b6b59SJacob Faibussowitsch .seealso: `PetscAssertAbort()`, `PetscAssert()`, `SETERRQ()`, `PetscError()`, `PetscCall()`, `PetscCheck()`, `SETTERRABORT()`
2604be741a6SBarry Smith M*/
2619371c9d4SSatish Balay #define PetscCheckAbort(cond, comm, ierr, ...) \
2620e6b6b59SJacob Faibussowitsch   do { \
2630e6b6b59SJacob Faibussowitsch     if (PetscUnlikely(!(cond))) SETERRABORT(comm, ierr, __VA_ARGS__); \
2640e6b6b59SJacob Faibussowitsch   } while (0);
2654be741a6SBarry Smith 
2664be741a6SBarry Smith /*MC
2679ace16cdSJacob Faibussowitsch   PetscAssert - Assert that a particular condition is true
2689ace16cdSJacob Faibussowitsch 
2699ace16cdSJacob Faibussowitsch   Synopsis:
2709ace16cdSJacob Faibussowitsch   #include <petscerror.h>
2719ace16cdSJacob Faibussowitsch   void PetscAssert(bool cond, MPI_Comm comm, PetscErrorCode ierr, const char *message, ...)
2729ace16cdSJacob Faibussowitsch 
2739ace16cdSJacob Faibussowitsch   Collective
2749ace16cdSJacob Faibussowitsch 
2759ace16cdSJacob Faibussowitsch   Input Parameters:
2769ace16cdSJacob Faibussowitsch + cond    - The boolean condition
2779ace16cdSJacob Faibussowitsch . comm    - The communicator on which the check can be collective on
2789ace16cdSJacob Faibussowitsch . ierr    - A nonzero error code, see include/petscerror.h for the complete list
2799ace16cdSJacob Faibussowitsch - message - Error message in printf format
2809ace16cdSJacob Faibussowitsch 
2819ace16cdSJacob Faibussowitsch   Notes:
2822c71b3e2SJacob Faibussowitsch   Enabled only in debug builds. Note that any arguments to this macros are still visible to the
2832c71b3e2SJacob Faibussowitsch   compiler optimized builds (so must still contain valid code) but are guaranteed to not be
2842c71b3e2SJacob Faibussowitsch   executed.
2852c71b3e2SJacob Faibussowitsch 
28687497f52SBarry Smith   See `PetscCheck()` for usage and behaviour.
28787497f52SBarry Smith 
28887497f52SBarry Smith   This is needed instead of simply using `assert()` because this correctly handles the collective nature of errors under MPI
2899ace16cdSJacob Faibussowitsch 
2909ace16cdSJacob Faibussowitsch   Level: beginner
2919ace16cdSJacob Faibussowitsch 
2920e6b6b59SJacob Faibussowitsch .seealso: `PetscCheck()`, `SETERRQ()`, `PetscError()`, `PetscAssertAbort()`
2939566063dSJacob Faibussowitsch M*/
2949371c9d4SSatish Balay #define PetscAssert(cond, comm, ierr, ...) \
2959371c9d4SSatish Balay   do { \
2969371c9d4SSatish Balay     if (PetscUnlikelyDebug(!(cond))) SETERRQ(comm, ierr, __VA_ARGS__); \
2979371c9d4SSatish Balay   } while (0)
2989ace16cdSJacob Faibussowitsch 
2999ace16cdSJacob Faibussowitsch /*MC
3000e6b6b59SJacob Faibussowitsch   PetscAssertAbort - Assert that a particular condition is true, otherwise prints error and aborts
3010e6b6b59SJacob Faibussowitsch 
3020e6b6b59SJacob Faibussowitsch   Synopsis:
3030e6b6b59SJacob Faibussowitsch   #include <petscerror.h>
3040e6b6b59SJacob Faibussowitsch   void PetscAssertAbort(bool cond, MPI_Comm comm, PetscErrorCode ierr, const char *message, ...)
3050e6b6b59SJacob Faibussowitsch 
3060e6b6b59SJacob Faibussowitsch   Collective
3070e6b6b59SJacob Faibussowitsch 
3080e6b6b59SJacob Faibussowitsch   Input Parameters:
3090e6b6b59SJacob Faibussowitsch + cond    - The boolean condition
3100e6b6b59SJacob Faibussowitsch . comm    - The communicator on which the check can be collective on
3110e6b6b59SJacob Faibussowitsch . ierr    - A nonzero error code, see include/petscerror.h for the complete list
3120e6b6b59SJacob Faibussowitsch - message - Error message in printf format
3130e6b6b59SJacob Faibussowitsch 
3140e6b6b59SJacob Faibussowitsch   Notes:
3150e6b6b59SJacob Faibussowitsch   Enabled only in debug builds. See `PetscCheckAbort()` for usage.
3160e6b6b59SJacob Faibussowitsch 
3170e6b6b59SJacob Faibussowitsch   Level: beginner
3180e6b6b59SJacob Faibussowitsch 
3190e6b6b59SJacob Faibussowitsch .seealso: `PetscCheckAbort()`, `PetscAssert()`, `PetscCheck()`, `SETERRABORT()`, `PetscError()`
3200e6b6b59SJacob Faibussowitsch M*/
3210e6b6b59SJacob Faibussowitsch #define PetscAssertAbort(cond, comm, ierr, ...) \
3220e6b6b59SJacob Faibussowitsch   do { \
3230e6b6b59SJacob Faibussowitsch     if (PetscUnlikelyDebug(!(cond))) SETERRABORT(comm, ierr, __VA_ARGS__); \
3240e6b6b59SJacob Faibussowitsch   } while (0)
3250e6b6b59SJacob Faibussowitsch 
3260e6b6b59SJacob Faibussowitsch /*MC
32749c86fc7SBarry Smith   PetscCall - Calls a PETSc function and then checks the resulting error code, if it is non-zero it calls the error
32849c86fc7SBarry Smith   handler and returns from the current function with the error code.
3299566063dSJacob Faibussowitsch 
3309566063dSJacob Faibussowitsch   Synopsis:
3319566063dSJacob Faibussowitsch   #include <petscerror.h>
33249c86fc7SBarry Smith   void PetscCall(PetscFunction(args))
3339566063dSJacob Faibussowitsch 
3349566063dSJacob Faibussowitsch   Not Collective
3359566063dSJacob Faibussowitsch 
3369566063dSJacob Faibussowitsch   Input Parameter:
33749c86fc7SBarry Smith . PetscFunction - any PETSc function that returns an error code
3389566063dSJacob Faibussowitsch 
3399566063dSJacob Faibussowitsch   Notes:
3409566063dSJacob Faibussowitsch   Once the error handler is called the calling function is then returned from with the given
34187497f52SBarry Smith   error code. Experienced users can set the error handler with `PetscPushErrorHandler()`.
3429566063dSJacob Faibussowitsch 
34387497f52SBarry Smith   `PetscCall()` cannot be used in functions returning a datatype not convertible to
34487497f52SBarry Smith   `PetscErrorCode`. For example, `PetscCall()` may not be used in functions returning void, use
34587497f52SBarry Smith   `PetscCallVoid()` in this case.
3469566063dSJacob Faibussowitsch 
3479566063dSJacob Faibussowitsch   Example Usage:
3489566063dSJacob Faibussowitsch .vb
3499566063dSJacob Faibussowitsch   PetscCall(PetscInitiailize(...)); // OK to call even when PETSc is not yet initialized!
3509566063dSJacob Faibussowitsch 
3519566063dSJacob Faibussowitsch   struct my_struct
3529566063dSJacob Faibussowitsch   {
3539566063dSJacob Faibussowitsch     void *data;
3549566063dSJacob Faibussowitsch   } my_complex_type;
3559566063dSJacob Faibussowitsch 
3569566063dSJacob Faibussowitsch   struct my_struct bar(void)
3579566063dSJacob Faibussowitsch   {
3586aad120cSJose E. Roman     PetscCall(foo(15)); // ERROR PetscErrorCode not convertible to struct my_struct!
3599566063dSJacob Faibussowitsch   }
3609566063dSJacob Faibussowitsch 
3616aad120cSJose E. Roman   PetscCall(bar()) // ERROR input not convertible to PetscErrorCode
3629566063dSJacob Faibussowitsch .ve
3639566063dSJacob Faibussowitsch 
36487497f52SBarry Smith   It is also possible to call this directly on a `PetscErrorCode` variable
36549c86fc7SBarry Smith .vb
36649c86fc7SBarry Smith   PetscCall(ierr);  // check if ierr is nonzero
36749c86fc7SBarry Smith .ve
36849c86fc7SBarry Smith 
369792fecdfSBarry Smith   Should not be used to call callback functions provided by users, `PetscCallBack()` should be used in that situation.
370ef1023bdSBarry Smith 
3716a8be23eSBarry Smith   `PetscUseTypeMethod()` or `PetscTryTypeMethod()` should be used when calling functions pointers contained in a PETSc object's `ops` array
3726a8be23eSBarry Smith 
37349c86fc7SBarry Smith   Fortran Notes:
37449c86fc7SBarry Smith     The Fortran function from which this is used must declare a variable PetscErrorCode ierr and ierr must be
37587497f52SBarry Smith     the final argument to the PETSc function being called.
37649c86fc7SBarry Smith 
37749c86fc7SBarry Smith     In the main program and in Fortran subroutines that do not have ierr as the final return parameter one
37887497f52SBarry Smith     should use `PetscCallA()`
37949c86fc7SBarry Smith 
38049c86fc7SBarry Smith   Example Fortran Usage:
38149c86fc7SBarry Smith .vb
38249c86fc7SBarry Smith   PetscErrorCode ierr
38349c86fc7SBarry Smith   Vec v
38449c86fc7SBarry Smith 
38549c86fc7SBarry Smith   ...
38649c86fc7SBarry Smith   PetscCall(VecShift(v,1.0,ierr))
38749c86fc7SBarry Smith   PetscCallA(VecShift(v,1.0,ierr))
38849c86fc7SBarry Smith .ve
38949c86fc7SBarry Smith 
3909566063dSJacob Faibussowitsch   Level: beginner
3919566063dSJacob Faibussowitsch 
39249c86fc7SBarry Smith .seealso: `SETERRQ()`, `PetscCheck()`, `PetscAssert()`, `PetscTraceBackErrorHandler()`, `PetscCallMPI()`
393792fecdfSBarry Smith           `PetscPushErrorHandler()`, `PetscError()`, `CHKMEMQ`, `CHKERRA()`, `CHKERRMPI()`, `PetscCallBack()`
3949566063dSJacob Faibussowitsch M*/
395ef1023bdSBarry Smith 
396ef1023bdSBarry Smith /*MC
397792fecdfSBarry 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
398ef1023bdSBarry Smith   handler and returns from the current function with the error code.
399ef1023bdSBarry Smith 
400ef1023bdSBarry Smith   Synopsis:
401ef1023bdSBarry Smith   #include <petscerror.h>
402792fecdfSBarry Smith   void PetscCallBack(const char *functionname,PetscFunction(args))
403ef1023bdSBarry Smith 
404ef1023bdSBarry Smith   Not Collective
405ef1023bdSBarry Smith 
406ef1023bdSBarry Smith   Input Parameters:
407ef1023bdSBarry Smith + functionname - the name of the function being called, this can be a string with spaces that describes the meaning of the callback
40887497f52SBarry Smith - PetscFunction - user provided callback function that returns an error code
409ef1023bdSBarry Smith 
410ef1023bdSBarry Smith   Notes:
411ef1023bdSBarry Smith   Once the error handler is called the calling function is then returned from with the given
41287497f52SBarry Smith   error code. Experienced users can set the error handler with `PetscPushErrorHandler()`.
413ef1023bdSBarry Smith 
41487497f52SBarry Smith   `PetscCallBack()` should only be called in PETSc when a call is being made to a user provided call-back routine.
415ef1023bdSBarry Smith 
416ef1023bdSBarry Smith   Example Usage:
417ef1023bdSBarry Smith .vb
418792fecdfSBarry Smith   PetscCallBack("XXX callback to do something",a->callback(...));
419ef1023bdSBarry Smith .ve
420ef1023bdSBarry Smith 
421ef1023bdSBarry Smith   Level: developer
422ef1023bdSBarry Smith 
42387497f52SBarry Smith .seealso: `SETERRQ()`, `PetscCheck()`, `PetscCall()`, `PetscAssert()`, `PetscTraceBackErrorHandler()`, `PetscCallMPI()`
424ef1023bdSBarry Smith           `PetscPushErrorHandler()`, `PetscError()`, `CHKMEMQ`, `CHKERRA()`, `CHKERRMPI()`, `PetscCall()`
425ef1023bdSBarry Smith M*/
426ef1023bdSBarry Smith 
4279566063dSJacob Faibussowitsch #if defined(PETSC_CLANG_STATIC_ANALYZER)
4289566063dSJacob Faibussowitsch void PetscCall(PetscErrorCode);
429792fecdfSBarry Smith void PetscCallBack(const char *, PetscErrorCode);
4309566063dSJacob Faibussowitsch void PetscCallVoid(PetscErrorCode);
4319566063dSJacob Faibussowitsch #else
4329371c9d4SSatish Balay   #define PetscCall(...) \
4339371c9d4SSatish Balay     do { \
434e33ced7fSLisandro Dalcin       PetscErrorCode ierr_q_; \
43537154d10SBarry Smith       PetscStackUpdateLine; \
436e33ced7fSLisandro Dalcin       ierr_q_ = __VA_ARGS__; \
4379566063dSJacob Faibussowitsch       if (PetscUnlikely(ierr_q_)) return PetscError(PETSC_COMM_SELF, __LINE__, PETSC_FUNCTION_NAME, __FILE__, ierr_q_, PETSC_ERROR_REPEAT, " "); \
4389566063dSJacob Faibussowitsch     } while (0)
4399371c9d4SSatish Balay   #define PetscCallBack(function, ...) \
4409371c9d4SSatish Balay     do { \
441e33ced7fSLisandro Dalcin       PetscErrorCode ierr_q_; \
442e33ced7fSLisandro Dalcin       PetscStackUpdateLine; \
443e33ced7fSLisandro Dalcin       PetscStackPushExternal(function); \
444e33ced7fSLisandro Dalcin       ierr_q_ = __VA_ARGS__; \
445ef1023bdSBarry Smith       PetscStackPop; \
446ef1023bdSBarry Smith       if (PetscUnlikely(ierr_q_)) return PetscError(PETSC_COMM_SELF, __LINE__, PETSC_FUNCTION_NAME, __FILE__, ierr_q_, PETSC_ERROR_REPEAT, " "); \
447ef1023bdSBarry Smith     } while (0)
4489371c9d4SSatish Balay   #define PetscCallVoid(...) \
4499371c9d4SSatish Balay     do { \
450e33ced7fSLisandro Dalcin       PetscErrorCode ierr_void_; \
451e33ced7fSLisandro Dalcin       PetscStackUpdateLine; \
452e33ced7fSLisandro Dalcin       ierr_void_ = __VA_ARGS__; \
4539371c9d4SSatish Balay       if (PetscUnlikely(ierr_void_)) { \
4549371c9d4SSatish Balay         (void)PetscError(PETSC_COMM_SELF, __LINE__, PETSC_FUNCTION_NAME, __FILE__, ierr_void_, PETSC_ERROR_REPEAT, " "); \
4559371c9d4SSatish Balay         return; \
4569371c9d4SSatish Balay       } \
4579566063dSJacob Faibussowitsch     } while (0)
4589566063dSJacob Faibussowitsch #endif
4599566063dSJacob Faibussowitsch 
4609566063dSJacob Faibussowitsch /*MC
4619566063dSJacob Faibussowitsch   CHKERRQ - Checks error code returned from PETSc function
46230de9b25SBarry Smith 
46330de9b25SBarry Smith   Synopsis:
464aaa7dc30SBarry Smith   #include <petscsys.h>
4659566063dSJacob Faibussowitsch   void CHKERRQ(PetscErrorCode ierr)
4669566063dSJacob Faibussowitsch 
4679566063dSJacob Faibussowitsch   Not Collective
4689566063dSJacob Faibussowitsch 
4699566063dSJacob Faibussowitsch   Input Parameters:
4709566063dSJacob Faibussowitsch . ierr - nonzero error code
4719566063dSJacob Faibussowitsch 
4729566063dSJacob Faibussowitsch   Notes:
47387497f52SBarry Smith   Deprecated in favor of `PetscCall()`. This routine behaves identically to it.
4749566063dSJacob Faibussowitsch 
4759566063dSJacob Faibussowitsch   Level: deprecated
4769566063dSJacob Faibussowitsch 
477db781477SPatrick Sanan .seealso: `PetscCall()`
4789566063dSJacob Faibussowitsch M*/
4799566063dSJacob Faibussowitsch #define CHKERRQ(...) PetscCall(__VA_ARGS__)
4809566063dSJacob Faibussowitsch #define CHKERRV(...) PetscCallVoid(__VA_ARGS__)
4819566063dSJacob Faibussowitsch 
482db9cea48SBarry Smith PETSC_EXTERN void PetscMPIErrorString(PetscMPIInt, char *);
483db9cea48SBarry Smith 
4849566063dSJacob Faibussowitsch /*MC
4859566063dSJacob Faibussowitsch   PetscCallMPI - Checks error code returned from MPI calls, if non-zero it calls the error
4869566063dSJacob Faibussowitsch   handler and then returns
4879566063dSJacob Faibussowitsch 
4889566063dSJacob Faibussowitsch   Synopsis:
4899566063dSJacob Faibussowitsch   #include <petscerror.h>
49049c86fc7SBarry Smith   void PetscCallMPI(MPI_Function(args))
49130de9b25SBarry Smith 
492eca87e8dSBarry Smith   Not Collective
49330de9b25SBarry Smith 
49430de9b25SBarry Smith   Input Parameters:
49549c86fc7SBarry Smith . MPI_Function - an MPI function that returns an MPI error code
49630de9b25SBarry Smith 
4979566063dSJacob Faibussowitsch   Notes:
49887497f52SBarry Smith   Always returns the error code `PETSC_ERR_MPI`; the MPI error code and string are embedded in
4999566063dSJacob Faibussowitsch   the string error message. Do not use this to call any other routines (for example PETSc
5009566063dSJacob Faibussowitsch   routines), it should only be used for direct MPI calls. Due to limitations of the
5019566063dSJacob Faibussowitsch   preprocessor this can unfortunately not easily be enforced, so the user should take care to
5029566063dSJacob Faibussowitsch   check this themselves.
5039566063dSJacob Faibussowitsch 
5049566063dSJacob Faibussowitsch   Example Usage:
5059566063dSJacob Faibussowitsch .vb
5069566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_size(...)); // OK, calling MPI function
5079566063dSJacob Faibussowitsch 
5089566063dSJacob Faibussowitsch   PetscCallMPI(PetscFunction(...)); // ERROR, use PetscCall() instead!
5099566063dSJacob Faibussowitsch .ve
5109566063dSJacob Faibussowitsch 
51149c86fc7SBarry Smith   Fortran Notes:
51287497f52SBarry Smith     The Fortran function from which this is used must declare a variable `PetscErrorCode` ierr and ierr must be
51349c86fc7SBarry Smith     the final argument to the MPI function being called.
51449c86fc7SBarry Smith 
51549c86fc7SBarry Smith     In the main program and in Fortran subroutines that do not have ierr as the final return parameter one
51687497f52SBarry Smith     should use `PetscCallMPIA()`
51749c86fc7SBarry Smith 
51849c86fc7SBarry Smith   Fortran Usage:
51949c86fc7SBarry Smith .vb
52049c86fc7SBarry Smith   PetscErrorCode ierr or integer ierr
52149c86fc7SBarry Smith   ...
52249c86fc7SBarry Smith   PetscCallMPI(MPI_Comm_size(...,ierr))
52349c86fc7SBarry Smith   PetscCallMPIA(MPI_Comm_size(...,ierr)) ! Will abort after calling error handler
52449c86fc7SBarry Smith 
52549c86fc7SBarry Smith   PetscCallMPI(MPI_Comm_size(...,eflag)) ! ERROR, final argument must be ierr
52649c86fc7SBarry Smith .ve
52749c86fc7SBarry Smith 
52830de9b25SBarry Smith   Level: beginner
52930de9b25SBarry Smith 
530db781477SPatrick Sanan .seealso: `SETERRMPI()`, `PetscCall()`, `SETERRQ()`, `SETERRABORT()`, `PetscCallAbort()`,
531db781477SPatrick Sanan           `PetscTraceBackErrorHandler()`, `PetscPushErrorHandler()`, `PetscError()`, `CHKMEMQ`
53230de9b25SBarry Smith M*/
5333fcd9f07SJacob Faibussowitsch #if defined(PETSC_CLANG_STATIC_ANALYZER)
53463a3b9bcSJacob Faibussowitsch void PetscCallMPI(PetscMPIInt);
535064a246eSJacob Faibussowitsch #else
5369371c9d4SSatish Balay   #define PetscCallMPI(...) \
5379371c9d4SSatish Balay     do { \
538e33ced7fSLisandro Dalcin       PetscMPIInt _7_errorcode; \
539e33ced7fSLisandro Dalcin       char        _7_errorstring[2 * MPI_MAX_ERROR_STRING]; \
540ef1023bdSBarry Smith       PetscStackUpdateLine; \
541792fecdfSBarry Smith       PetscStackPushExternal("MPI function"); \
542*d71ae5a4SJacob Faibussowitsch       { \
543*d71ae5a4SJacob Faibussowitsch         _7_errorcode = __VA_ARGS__; \
544*d71ae5a4SJacob Faibussowitsch       } \
545ef1023bdSBarry Smith       PetscStackPop; \
5469566063dSJacob Faibussowitsch       if (PetscUnlikely(_7_errorcode)) { \
547db9cea48SBarry Smith         PetscMPIErrorString(_7_errorcode, (char *)_7_errorstring); \
548db9cea48SBarry Smith         SETERRQ(PETSC_COMM_SELF, PETSC_ERR_MPI, "MPI error %d %s", (int)_7_errorcode, _7_errorstring); \
5493fcd9f07SJacob Faibussowitsch       } \
5503fcd9f07SJacob Faibussowitsch     } while (0)
5519566063dSJacob Faibussowitsch #endif
552064a246eSJacob Faibussowitsch 
5537037b0edSPatrick Sanan /*MC
5549566063dSJacob Faibussowitsch   CHKERRMPI - Checks error code returned from MPI calls, if non-zero it calls the error
5559566063dSJacob Faibussowitsch   handler and then returns
5569566063dSJacob Faibussowitsch 
5579566063dSJacob Faibussowitsch   Synopsis:
5589566063dSJacob Faibussowitsch   #include <petscerror.h>
5599566063dSJacob Faibussowitsch   void CHKERRMPI(PetscErrorCode ierr)
5609566063dSJacob Faibussowitsch 
5619566063dSJacob Faibussowitsch   Not Collective
5629566063dSJacob Faibussowitsch 
5639566063dSJacob Faibussowitsch   Input Parameter:
5649566063dSJacob Faibussowitsch . ierr - nonzero error code, see the list of standard error codes in include/petscerror.h
5659566063dSJacob Faibussowitsch 
5669566063dSJacob Faibussowitsch   Notes:
56787497f52SBarry Smith   Deprecated in favor of `PetscCallMPI()`. This routine behaves identically to it.
5689566063dSJacob Faibussowitsch 
5699566063dSJacob Faibussowitsch   Level: deprecated
5709566063dSJacob Faibussowitsch 
571db781477SPatrick Sanan .seealso: `PetscCallMPI()`
5729566063dSJacob Faibussowitsch M*/
5739566063dSJacob Faibussowitsch #define CHKERRMPI(...) PetscCallMPI(__VA_ARGS__)
5749566063dSJacob Faibussowitsch 
5759566063dSJacob Faibussowitsch /*MC
5769566063dSJacob Faibussowitsch   PetscCallAbort - Checks error code returned from PETSc function, if non-zero it aborts immediately
5779566063dSJacob Faibussowitsch 
5789566063dSJacob Faibussowitsch   Synopsis:
5799566063dSJacob Faibussowitsch   #include <petscerror.h>
5809566063dSJacob Faibussowitsch   void PetscCallAbort(MPI_Comm comm, PetscErrorCode ierr)
5819566063dSJacob Faibussowitsch 
5829566063dSJacob Faibussowitsch   Collective on comm
5839566063dSJacob Faibussowitsch 
5849566063dSJacob Faibussowitsch   Input Parameters:
5859566063dSJacob Faibussowitsch + comm - the MPI communicator on which to abort
5869566063dSJacob Faibussowitsch - ierr - nonzero error code, see the list of standard error codes in include/petscerror.h
5879566063dSJacob Faibussowitsch 
5889566063dSJacob Faibussowitsch   Notes:
58987497f52SBarry Smith   This macro has identical type and usage semantics to `PetscCall()` with the important caveat
5909566063dSJacob Faibussowitsch   that this macro does not return. Instead, if ierr is nonzero it calls the PETSc error handler
59187497f52SBarry Smith   and then immediately calls `MPI_Abort()`. It can therefore be used anywhere.
5929566063dSJacob Faibussowitsch 
59387497f52SBarry Smith   As per `MPI_Abort()` semantics the communicator passed must be valid, although there is currently
59487497f52SBarry Smith   no attempt made at handling any potential errors from `MPI_Abort()`. Note that while
59587497f52SBarry Smith   `MPI_Abort()` is required to terminate only those processes which reside on comm, it is often
59687497f52SBarry Smith   the case that `MPI_Abort()` terminates *all* processes.
5979566063dSJacob Faibussowitsch 
5989566063dSJacob Faibussowitsch   Example Usage:
5999566063dSJacob Faibussowitsch .vb
6009566063dSJacob Faibussowitsch   PetscErrorCode boom(void) { return PETSC_ERR_MEM; }
6019566063dSJacob Faibussowitsch 
6029566063dSJacob Faibussowitsch   void foo(void)
6039566063dSJacob Faibussowitsch   {
6049566063dSJacob Faibussowitsch     PetscCallAbort(PETSC_COMM_WORLD,boom()); // OK, does not return a type
6059566063dSJacob Faibussowitsch   }
6069566063dSJacob Faibussowitsch 
6079566063dSJacob Faibussowitsch   double bar(void)
6089566063dSJacob Faibussowitsch   {
6099566063dSJacob Faibussowitsch     PetscCallAbort(PETSC_COMM_WORLD,boom()); // OK, does not return a type
6109566063dSJacob Faibussowitsch   }
6119566063dSJacob Faibussowitsch 
6129566063dSJacob Faibussowitsch   PetscCallAbort(MPI_COMM_NULL,boom()); // ERROR, communicator should be valid
6139566063dSJacob Faibussowitsch 
6149566063dSJacob Faibussowitsch   struct baz
6159566063dSJacob Faibussowitsch   {
6169566063dSJacob Faibussowitsch     baz()
6179566063dSJacob Faibussowitsch     {
6189566063dSJacob Faibussowitsch       PetscCallAbort(PETSC_COMM_SELF,boom()); // OK
6199566063dSJacob Faibussowitsch     }
6209566063dSJacob Faibussowitsch 
6219566063dSJacob Faibussowitsch     ~baz()
6229566063dSJacob Faibussowitsch     {
6239566063dSJacob Faibussowitsch       PetscCallAbort(PETSC_COMM_SELF,boom()); // OK (in fact the only way to handle PETSc errors)
6249566063dSJacob Faibussowitsch     }
6259566063dSJacob Faibussowitsch   };
6269566063dSJacob Faibussowitsch .ve
6279566063dSJacob Faibussowitsch 
6289566063dSJacob Faibussowitsch   Level: intermediate
6299566063dSJacob Faibussowitsch 
630db781477SPatrick Sanan .seealso: `SETERRABORT()`, `PetscTraceBackErrorHandler()`, `PetscPushErrorHandler()`, `PetscError()`,
631db781477SPatrick Sanan           `SETERRQ()`, `CHKMEMQ`, `PetscCallMPI()`
6329566063dSJacob Faibussowitsch M*/
6339566063dSJacob Faibussowitsch #if defined(PETSC_CLANG_STATIC_ANALYZER)
6349566063dSJacob Faibussowitsch void PetscCallAbort(MPI_Comm, PetscErrorCode);
6359566063dSJacob Faibussowitsch void PetscCallContinue(PetscErrorCode);
6369566063dSJacob Faibussowitsch #else
6379371c9d4SSatish Balay   #define PetscCallAbort(comm, ...) \
6389371c9d4SSatish Balay     do { \
6399566063dSJacob Faibussowitsch       PetscErrorCode ierr_abort_ = __VA_ARGS__; \
6409566063dSJacob Faibussowitsch       if (PetscUnlikely(ierr_abort_)) { \
6419566063dSJacob Faibussowitsch         PetscError(PETSC_COMM_SELF, __LINE__, PETSC_FUNCTION_NAME, __FILE__, ierr_abort_, PETSC_ERROR_REPEAT, " "); \
6429566063dSJacob Faibussowitsch         MPI_Abort(comm, ierr_abort_); \
6439566063dSJacob Faibussowitsch       } \
6449566063dSJacob Faibussowitsch     } while (0)
6459371c9d4SSatish Balay   #define PetscCallContinue(...) \
6469371c9d4SSatish Balay     do { \
6479566063dSJacob Faibussowitsch       PetscErrorCode ierr_continue_ = __VA_ARGS__; \
6489566063dSJacob Faibussowitsch       if (PetscUnlikely(ierr_continue_)) PetscError(PETSC_COMM_SELF, __LINE__, PETSC_FUNCTION_NAME, __FILE__, ierr_continue_, PETSC_ERROR_REPEAT, " "); \
6499566063dSJacob Faibussowitsch     } while (0)
6509566063dSJacob Faibussowitsch #endif
6519566063dSJacob Faibussowitsch 
6529566063dSJacob Faibussowitsch /*MC
6539566063dSJacob Faibussowitsch   CHKERRABORT - Checks error code returned from PETSc function. If non-zero it aborts immediately.
6549566063dSJacob Faibussowitsch 
6559566063dSJacob Faibussowitsch   Synopsis:
6569566063dSJacob Faibussowitsch   #include <petscerror.h>
6579566063dSJacob Faibussowitsch   void CHKERRABORT(MPI_Comm comm, PetscErrorCode ierr)
6589566063dSJacob Faibussowitsch 
6599566063dSJacob Faibussowitsch   Not Collective
6609566063dSJacob Faibussowitsch 
6619566063dSJacob Faibussowitsch   Input Parameters:
6629566063dSJacob Faibussowitsch + comm - the MPI communicator
6639566063dSJacob Faibussowitsch - ierr - nonzero error code, see the list of standard error codes in include/petscerror.h
6649566063dSJacob Faibussowitsch 
6659566063dSJacob Faibussowitsch   Notes:
66687497f52SBarry Smith   Deprecated in favor of `PetscCallAbort()`. This routine behaves identically to it.
6679566063dSJacob Faibussowitsch 
6689566063dSJacob Faibussowitsch   Level: deprecated
6699566063dSJacob Faibussowitsch 
670db781477SPatrick Sanan .seealso: `PetscCallAbort()`
6719566063dSJacob Faibussowitsch M*/
6729566063dSJacob Faibussowitsch #define CHKERRABORT(comm, ...) PetscCallAbort(comm, __VA_ARGS__)
6739566063dSJacob Faibussowitsch #define CHKERRCONTINUE(...)    PetscCallContinue(__VA_ARGS__)
6749566063dSJacob Faibussowitsch 
6759566063dSJacob Faibussowitsch /*MC
67687497f52SBarry Smith    CHKERRA - Fortran-only replacement for use of `CHKERRQ()` in the main program, which aborts immediately
677f388eb8bSPatrick Sanan 
678f388eb8bSPatrick Sanan    Synopsis:
679f388eb8bSPatrick Sanan    #include <petscsys.h>
680f388eb8bSPatrick Sanan    PetscErrorCode CHKERRA(PetscErrorCode ierr)
681f388eb8bSPatrick Sanan 
682f388eb8bSPatrick Sanan    Not Collective
683f388eb8bSPatrick Sanan 
684f388eb8bSPatrick Sanan    Input Parameters:
685f388eb8bSPatrick Sanan .  ierr - nonzero error code, see the list of standard error codes in include/petscerror.h
686f388eb8bSPatrick Sanan 
68787497f52SBarry Smith   Level: deprecated
688f388eb8bSPatrick Sanan 
68987497f52SBarry Smith    Note:
69087497f52SBarry Smith    This macro is rarely needed, normal usage is `PetscCallA()` in the main Fortran program.
691f388eb8bSPatrick Sanan 
69287497f52SBarry Smith .seealso: `PetscCall()`, `PetscCallA()`, `PetscCallAbort()`, `CHKERRQ()`, `SETERRA()`, `SETERRQ()`, `SETERRABORT()`
693f388eb8bSPatrick Sanan M*/
694f388eb8bSPatrick Sanan 
6951e4f893aSSatish Balay PETSC_EXTERN PetscBool petscwaitonerrorflg;
6961e4f893aSSatish Balay PETSC_EXTERN PetscBool petscindebugger;
6977c66cc67SJunchao Zhang 
6987c66cc67SJunchao Zhang /*MC
6997c66cc67SJunchao Zhang    PETSCABORT - Call MPI_Abort with an informative error code
7007c66cc67SJunchao Zhang 
7017c66cc67SJunchao Zhang    Synopsis:
7027c66cc67SJunchao Zhang    #include <petscsys.h>
7037c66cc67SJunchao Zhang    PETSCABORT(MPI_Comm comm, PetscErrorCode ierr)
7047c66cc67SJunchao Zhang 
7057c66cc67SJunchao Zhang    Collective
7067c66cc67SJunchao Zhang 
7077c66cc67SJunchao Zhang    Input Parameters:
7087c66cc67SJunchao Zhang +  comm - A communicator, so that the error can be collective
7097c66cc67SJunchao Zhang -  ierr - nonzero error code, see the list of standard error codes in include/petscerror.h
7107c66cc67SJunchao Zhang 
711bf4d2887SBarry Smith    Level: advanced
7127c66cc67SJunchao Zhang 
713bf4d2887SBarry Smith    Notes:
714bf4d2887SBarry Smith    If the option -start_in_debugger was used then this calls abort() to stop the program in the debugger.
715bf4d2887SBarry Smith 
71687497f52SBarry Smith    if `PetscCIEnabledPortableErrorOutput` is set it strives to exit cleanly without call `MPI_Abort()`
717660278c0SBarry Smith 
7187c66cc67SJunchao Zhang  M*/
7199371c9d4SSatish Balay #define PETSCABORT(comm, ...) \
7209371c9d4SSatish Balay   do { \
721baae8e41SSatish Balay     if (petscwaitonerrorflg) PetscSleep(1000); \
722bf4d2887SBarry Smith     if (petscindebugger) abort(); \
7233fcd9f07SJacob Faibussowitsch     else { \
7243fcd9f07SJacob Faibussowitsch       PetscErrorCode ierr_petsc_abort_ = __VA_ARGS__; \
725660278c0SBarry Smith       PetscMPIInt    size; \
726660278c0SBarry Smith       MPI_Comm_size(comm, &size); \
727660278c0SBarry Smith       if (PetscCIEnabledPortableErrorOutput && size == PetscGlobalSize && ierr_petsc_abort_ != PETSC_ERR_SIG) { \
7289371c9d4SSatish Balay         MPI_Finalize(); \
7299371c9d4SSatish Balay         exit(0); \
730660278c0SBarry Smith       } else if (PetscCIEnabledPortableErrorOutput && PetscGlobalSize == 1) { \
731660278c0SBarry Smith         exit(0); \
732660278c0SBarry Smith       } else { \
733660278c0SBarry Smith         MPI_Abort(comm, (PetscMPIInt)ierr_petsc_abort_); \
734660278c0SBarry Smith       } \
7353fcd9f07SJacob Faibussowitsch     } \
7367c66cc67SJunchao Zhang   } while (0)
737986eef2eSBarry Smith 
7389566063dSJacob Faibussowitsch #ifdef PETSC_CLANGUAGE_CXX
739986eef2eSBarry Smith   /*MC
7409566063dSJacob Faibussowitsch   PetscCallThrow - Checks error code, if non-zero it calls the C++ error handler which throws
7419566063dSJacob Faibussowitsch   an exception
742986eef2eSBarry Smith 
743986eef2eSBarry Smith   Synopsis:
7449566063dSJacob Faibussowitsch   #include <petscerror.h>
7459566063dSJacob Faibussowitsch   void PetscCallThrow(PetscErrorCode ierr)
746986eef2eSBarry Smith 
747986eef2eSBarry Smith   Not Collective
748986eef2eSBarry Smith 
7499566063dSJacob Faibussowitsch   Input Parameter:
750986eef2eSBarry Smith . ierr - nonzero error code, see the list of standard error codes in include/petscerror.h
751986eef2eSBarry Smith 
752986eef2eSBarry Smith   Notes:
7539566063dSJacob Faibussowitsch   Requires PETSc to be configured with clanguage = c++. Throws a std::runtime_error() on error.
754986eef2eSBarry Smith 
75587497f52SBarry Smith   Once the error handler throws the exception you can use `PetscCallVoid()` which returns without
75687497f52SBarry Smith   an error code (bad idea since the error is ignored) or `PetscCallAbort()` to have `MPI_Abort()`
7579566063dSJacob Faibussowitsch   called immediately.
7589566063dSJacob Faibussowitsch 
7599566063dSJacob Faibussowitsch   Level: beginner
7609566063dSJacob Faibussowitsch 
761db781477SPatrick Sanan .seealso: `SETERRQ()`, `PetscCall()`, `SETERRABORT()`, `PetscCallAbort()`, `PetscTraceBackErrorHandler()`,
762db781477SPatrick Sanan           `PetscPushErrorHandler()`, `PetscError()`, `CHKMEMQ`
763986eef2eSBarry Smith M*/
7649371c9d4SSatish Balay   #define PetscCallThrow(...) \
7659371c9d4SSatish Balay     do { \
7669566063dSJacob Faibussowitsch       PetscErrorCode ierr_cxx_ = __VA_ARGS__; \
7679566063dSJacob Faibussowitsch       if (PetscUnlikely(ierr_cxx_)) PetscError(PETSC_COMM_SELF, __LINE__, PETSC_FUNCTION_NAME, __FILE__, ierr_cxx_, PETSC_ERROR_IN_CXX, PETSC_NULLPTR); \
768ffc4695bSBarry Smith     } while (0)
76985614651SBarry Smith 
770cc26af49SMatthew Knepley   /*MC
771cc26af49SMatthew Knepley   CHKERRXX - Checks error code, if non-zero it calls the C++ error handler which throws an exception
772cc26af49SMatthew Knepley 
773cc26af49SMatthew Knepley   Synopsis:
7749566063dSJacob Faibussowitsch   #include <petscerror.h>
7753af045c5SBarry Smith   void CHKERRXX(PetscErrorCode ierr)
776cc26af49SMatthew Knepley 
777eca87e8dSBarry Smith   Not Collective
778cc26af49SMatthew Knepley 
7799566063dSJacob Faibussowitsch   Input Parameter:
7803af045c5SBarry Smith . ierr - nonzero error code, see the list of standard error codes in include/petscerror.h
781cc26af49SMatthew Knepley 
782cc26af49SMatthew Knepley   Notes:
78387497f52SBarry Smith   Deprecated in favor of `PetscCallThrow()`. This routine behaves identically to it.
784cc26af49SMatthew Knepley 
7859566063dSJacob Faibussowitsch   Level: deprecated
786cc26af49SMatthew Knepley 
787db781477SPatrick Sanan .seealso: `PetscCallThrow()`
788cc26af49SMatthew Knepley M*/
7899566063dSJacob Faibussowitsch   #define CHKERRXX(...) PetscCallThrow(__VA_ARGS__)
790fd705b32SMatthew Knepley #endif
791fd705b32SMatthew Knepley 
7923f520e80SJunchao Zhang /*MC
7939566063dSJacob Faibussowitsch   PetscCallCXX - Checks C++ function calls and if they throw an exception, catch it and then
7949566063dSJacob Faibussowitsch   return a PETSc error code
7953f520e80SJunchao Zhang 
7963f520e80SJunchao Zhang   Synopsis:
7979566063dSJacob Faibussowitsch   #include <petscerror.h>
7989566063dSJacob Faibussowitsch   void PetscCallCXX(expr) noexcept;
7993f520e80SJunchao Zhang 
8003f520e80SJunchao Zhang   Not Collective
8013f520e80SJunchao Zhang 
8029566063dSJacob Faibussowitsch   Input Parameter:
8039566063dSJacob Faibussowitsch . expr - An arbitrary expression
8043f520e80SJunchao Zhang 
8053f520e80SJunchao Zhang   Notes:
8069566063dSJacob Faibussowitsch   PetscCallCXX(expr) is a macro replacement for
8079566063dSJacob Faibussowitsch .vb
8089566063dSJacob Faibussowitsch   try {
8099566063dSJacob Faibussowitsch     expr;
8109566063dSJacob Faibussowitsch   } catch (const std::exception& e) {
8119566063dSJacob Faibussowitsch     return ConvertToPetscErrorCode(e);
8129566063dSJacob Faibussowitsch   }
8139566063dSJacob Faibussowitsch .ve
8149566063dSJacob Faibussowitsch   Due to the fact that it catches any (reasonable) exception, it is essentially noexcept.
8153f520e80SJunchao Zhang 
8169566063dSJacob Faibussowitsch   Example Usage:
8179566063dSJacob Faibussowitsch .vb
8189566063dSJacob Faibussowitsch   void foo(void) { throw std::runtime_error("error"); }
8193f520e80SJunchao Zhang 
8209566063dSJacob Faibussowitsch   void bar()
8219566063dSJacob Faibussowitsch   {
822e8952933SJacob Faibussowitsch     PetscCallCXX(foo()); // ERROR bar() does not return PetscErrorCode
8239566063dSJacob Faibussowitsch   }
8249566063dSJacob Faibussowitsch 
8259566063dSJacob Faibussowitsch   PetscErrorCode baz()
8269566063dSJacob Faibussowitsch   {
8279566063dSJacob Faibussowitsch     PetscCallCXX(foo()); // OK
8289566063dSJacob Faibussowitsch 
8299566063dSJacob Faibussowitsch     PetscCallCXX(
8309566063dSJacob Faibussowitsch       bar();
831e8952933SJacob Faibussowitsch       foo(); // OK mutliple statements allowed
8329566063dSJacob Faibussowitsch     );
8339566063dSJacob Faibussowitsch   }
8349566063dSJacob Faibussowitsch 
8359566063dSJacob Faibussowitsch   struct bop
8369566063dSJacob Faibussowitsch   {
8379566063dSJacob Faibussowitsch     bop()
8389566063dSJacob Faibussowitsch     {
839e8952933SJacob Faibussowitsch       PetscCallCXX(foo()); // ERROR returns PetscErrorCode, cannot be used in constructors
8409566063dSJacob Faibussowitsch     }
8419566063dSJacob Faibussowitsch   };
8429566063dSJacob Faibussowitsch 
843e8952933SJacob Faibussowitsch   // ERROR contains do-while, cannot be used as function-try block
8449566063dSJacob Faibussowitsch   PetscErrorCode qux() PetscCallCXX(
8459566063dSJacob Faibussowitsch     bar();
8469566063dSJacob Faibussowitsch     baz();
8479566063dSJacob Faibussowitsch     foo();
8489566063dSJacob Faibussowitsch     return 0;
8499566063dSJacob Faibussowitsch   )
8509566063dSJacob Faibussowitsch .ve
8519566063dSJacob Faibussowitsch 
85249762cbcSSatish Balay   Level: beginner
85349762cbcSSatish Balay 
854db781477SPatrick Sanan .seealso: `PetscCallThrow()`, `SETERRQ()`, `PetscCall()`, `SETERRABORT()`, `PetscCallAbort()`,
855db781477SPatrick Sanan           `PetscTraceBackErrorHandler()`, `PetscPushErrorHandler()`, `PetscError()`, `CHKMEMQ`
8563f520e80SJunchao Zhang M*/
8579371c9d4SSatish Balay #define PetscCallCXX(...) \
8589371c9d4SSatish Balay   do { \
85937154d10SBarry Smith     PetscStackUpdateLine; \
8603fcd9f07SJacob Faibussowitsch     try { \
8613fcd9f07SJacob Faibussowitsch       __VA_ARGS__; \
862*d71ae5a4SJacob Faibussowitsch     } catch (const std::exception &e) { \
863*d71ae5a4SJacob Faibussowitsch       SETERRQ(PETSC_COMM_SELF, PETSC_ERR_LIB, "%s", e.what()); \
864*d71ae5a4SJacob Faibussowitsch     } \
8653fcd9f07SJacob Faibussowitsch   } while (0)
8663f520e80SJunchao Zhang 
86730de9b25SBarry Smith /*MC
8689566063dSJacob Faibussowitsch   CHKERRCXX - Checks C++ function calls and if they throw an exception, catch it and then
8699566063dSJacob Faibussowitsch   return a PETSc error code
8709566063dSJacob Faibussowitsch 
8719566063dSJacob Faibussowitsch   Synopsis:
8729566063dSJacob Faibussowitsch   #include <petscerror.h>
8739566063dSJacob Faibussowitsch   void CHKERRCXX(func) noexcept;
8749566063dSJacob Faibussowitsch 
8759566063dSJacob Faibussowitsch   Not Collective
8769566063dSJacob Faibussowitsch 
8779566063dSJacob Faibussowitsch   Input Parameter:
8789566063dSJacob Faibussowitsch . func - C++ function calls
8799566063dSJacob Faibussowitsch 
8809566063dSJacob Faibussowitsch   Notes:
88187497f52SBarry Smith   Deprecated in favor of `PetscCallCXX()`. This routine behaves identically to it.
8829566063dSJacob Faibussowitsch 
8839566063dSJacob Faibussowitsch   Level: deprecated
8849566063dSJacob Faibussowitsch 
885db781477SPatrick Sanan .seealso: `PetscCallCXX()`
8869566063dSJacob Faibussowitsch M*/
8879566063dSJacob Faibussowitsch #define CHKERRCXX(...) PetscCallCXX(__VA_ARGS__)
8889566063dSJacob Faibussowitsch 
8899566063dSJacob Faibussowitsch /*MC
89030de9b25SBarry Smith    CHKMEMQ - Checks the memory for corruption, calls error handler if any is detected
89130de9b25SBarry Smith 
89230de9b25SBarry Smith    Synopsis:
893aaa7dc30SBarry Smith    #include <petscsys.h>
89491d3bdf4SKris Buschelman    CHKMEMQ;
89530de9b25SBarry Smith 
896eca87e8dSBarry Smith    Not Collective
897eca87e8dSBarry Smith 
89830de9b25SBarry Smith   Level: beginner
89930de9b25SBarry Smith 
90030de9b25SBarry Smith    Notes:
901a17b96a8SKyle Gerard Felker     We highly recommend using Valgrind https://petsc.org/release/faq/#valgrind or for NVIDIA CUDA systems
9025ed36255SBarry Smith     https://docs.nvidia.com/cuda/cuda-memcheck/index.html for finding memory problems. The ``CHKMEMQ`` macro is useful on systems that
9035ed36255SBarry Smith     do not have valgrind, but is not as good as valgrind or cuda-memcheck.
9041957e957SBarry Smith 
90587497f52SBarry Smith     Must run with the option -malloc_debug (-malloc_test in debug mode; or if `PetscMallocSetDebug()` called) to enable this option
90630de9b25SBarry Smith 
90730de9b25SBarry Smith     Once the error handler is called the calling function is then returned from with the given error code.
90830de9b25SBarry Smith 
90930de9b25SBarry Smith     By defaults prints location where memory that is corrupted was allocated.
91030de9b25SBarry Smith 
91187497f52SBarry Smith     Use `CHKMEMA` for functions that return void
912f621e05eSBarry Smith 
913db781477SPatrick Sanan .seealso: `PetscTraceBackErrorHandler()`, `PetscPushErrorHandler()`, `PetscError()`, `SETERRQ()`, `PetscMallocValidate()`
91430de9b25SBarry Smith M*/
9156d210af2SJacob Faibussowitsch #if defined(PETSC_CLANG_STATIC_ANALYZER)
916064a246eSJacob Faibussowitsch   #define CHKMEMQ
917064a246eSJacob Faibussowitsch   #define CHKMEMA
9186d210af2SJacob Faibussowitsch #else
9199371c9d4SSatish Balay   #define CHKMEMQ \
9209371c9d4SSatish Balay     do { \
92186d09637SLisandro Dalcin       PetscErrorCode ierr_memq_ = PetscMallocValidate(__LINE__, PETSC_FUNCTION_NAME, __FILE__); \
92286d09637SLisandro Dalcin       if (PetscUnlikely(ierr_memq_)) return PetscError(PETSC_COMM_SELF, __LINE__, PETSC_FUNCTION_NAME, __FILE__, ierr_memq_, PETSC_ERROR_REPEAT, " "); \
92386d09637SLisandro Dalcin     } while (0)
9246d210af2SJacob Faibussowitsch   #define CHKMEMA PetscMallocValidate(__LINE__, PETSC_FUNCTION_NAME, __FILE__)
925064a246eSJacob Faibussowitsch #endif
9269566063dSJacob Faibussowitsch 
927668f157eSBarry Smith /*E
928668f157eSBarry Smith   PetscErrorType - passed to the PETSc error handling routines indicating if this is the first or a later call to the error handlers
929668f157eSBarry Smith 
930668f157eSBarry Smith   Level: advanced
931668f157eSBarry Smith 
93287497f52SBarry Smith   `PETSC_ERROR_IN_CXX` indicates the error was detected in C++ and an exception should be generated
933d736bfebSBarry Smith 
93495452b02SPatrick Sanan   Developer Notes:
93595452b02SPatrick Sanan     This is currently used to decide when to print the detailed information about the run in PetscTraceBackErrorHandler()
936668f157eSBarry Smith 
93787497f52SBarry Smith .seealso: `PetscError()`, `SETERRQ()`
938668f157eSBarry Smith E*/
9399371c9d4SSatish Balay typedef enum {
9409371c9d4SSatish Balay   PETSC_ERROR_INITIAL = 0,
9419371c9d4SSatish Balay   PETSC_ERROR_REPEAT  = 1,
9429371c9d4SSatish Balay   PETSC_ERROR_IN_CXX  = 2
9439371c9d4SSatish Balay } PetscErrorType;
9444b209cf6SBarry Smith 
945eb9e708aSLisandro Dalcin #if defined(__clang_analyzer__)
946eb9e708aSLisandro Dalcin __attribute__((analyzer_noreturn))
947eb9e708aSLisandro Dalcin #endif
9489371c9d4SSatish Balay PETSC_EXTERN PetscErrorCode
9499371c9d4SSatish Balay PetscError(MPI_Comm, int, const char *, const char *, PetscErrorCode, PetscErrorType, const char *, ...) PETSC_ATTRIBUTE_COLD PETSC_ATTRIBUTE_FORMAT(7, 8);
950eb9e708aSLisandro Dalcin 
951014dd563SJed Brown PETSC_EXTERN PetscErrorCode PetscErrorPrintfInitialize(void);
952014dd563SJed Brown PETSC_EXTERN PetscErrorCode PetscErrorMessage(int, const char *[], char **);
953d8e4614bSJacob Faibussowitsch PETSC_EXTERN PetscErrorCode PetscTraceBackErrorHandler(MPI_Comm, int, const char *, const char *, PetscErrorCode, PetscErrorType, const char *, void *) PETSC_ATTRIBUTE_COLD;
954d8e4614bSJacob Faibussowitsch PETSC_EXTERN PetscErrorCode PetscIgnoreErrorHandler(MPI_Comm, int, const char *, const char *, PetscErrorCode, PetscErrorType, const char *, void *) PETSC_ATTRIBUTE_COLD;
955d8e4614bSJacob Faibussowitsch PETSC_EXTERN PetscErrorCode PetscEmacsClientErrorHandler(MPI_Comm, int, const char *, const char *, PetscErrorCode, PetscErrorType, const char *, void *) PETSC_ATTRIBUTE_COLD;
956d8e4614bSJacob Faibussowitsch PETSC_EXTERN PetscErrorCode PetscMPIAbortErrorHandler(MPI_Comm, int, const char *, const char *, PetscErrorCode, PetscErrorType, const char *, void *) PETSC_ATTRIBUTE_COLD;
957d8e4614bSJacob Faibussowitsch PETSC_EXTERN PetscErrorCode PetscAbortErrorHandler(MPI_Comm, int, const char *, const char *, PetscErrorCode, PetscErrorType, const char *, void *) PETSC_ATTRIBUTE_COLD;
958d8e4614bSJacob Faibussowitsch PETSC_EXTERN PetscErrorCode PetscAttachDebuggerErrorHandler(MPI_Comm, int, const char *, const char *, PetscErrorCode, PetscErrorType, const char *, void *) PETSC_ATTRIBUTE_COLD;
959d8e4614bSJacob Faibussowitsch PETSC_EXTERN PetscErrorCode PetscReturnErrorHandler(MPI_Comm, int, const char *, const char *, PetscErrorCode, PetscErrorType, const char *, void *) PETSC_ATTRIBUTE_COLD;
960efca3c55SSatish Balay PETSC_EXTERN PetscErrorCode PetscPushErrorHandler(PetscErrorCode (*handler)(MPI_Comm, int, const char *, const char *, PetscErrorCode, PetscErrorType, const char *, void *), void *);
961014dd563SJed Brown PETSC_EXTERN PetscErrorCode PetscPopErrorHandler(void);
9628d359177SBarry Smith PETSC_EXTERN PetscErrorCode PetscSignalHandlerDefault(int, void *);
963014dd563SJed Brown PETSC_EXTERN PetscErrorCode PetscPushSignalHandler(PetscErrorCode (*)(int, void *), void *);
964014dd563SJed Brown PETSC_EXTERN PetscErrorCode PetscPopSignalHandler(void);
96528559dc8SJed Brown PETSC_EXTERN PetscErrorCode PetscCheckPointerSetIntensity(PetscInt);
966c2a741eeSJunchao Zhang PETSC_EXTERN void           PetscSignalSegvCheckPointerOrMpi(void);
967*d71ae5a4SJacob Faibussowitsch PETSC_DEPRECATED_FUNCTION("Use PetscSignalSegvCheckPointerOrMpi() (since version 3.13)") static inline void PetscSignalSegvCheckPointer(void)
968*d71ae5a4SJacob Faibussowitsch {
9699371c9d4SSatish Balay   PetscSignalSegvCheckPointerOrMpi();
9709371c9d4SSatish Balay }
971329f5518SBarry Smith 
972639ff905SBarry Smith /*MC
973639ff905SBarry Smith     PetscErrorPrintf - Prints error messages.
974639ff905SBarry Smith 
975639ff905SBarry Smith    Synopsis:
976aaa7dc30SBarry Smith     #include <petscsys.h>
977639ff905SBarry Smith      PetscErrorCode (*PetscErrorPrintf)(const char format[],...);
978639ff905SBarry Smith 
979639ff905SBarry Smith     Not Collective
980639ff905SBarry Smith 
981f899ff85SJose E. Roman     Input Parameter:
982639ff905SBarry Smith .   format - the usual printf() format string
983639ff905SBarry Smith 
984639ff905SBarry Smith    Options Database Keys:
9851957e957SBarry Smith +    -error_output_stdout - cause error messages to be printed to stdout instead of the (default) stderr
986e1bc860dSBarry Smith -    -error_output_none - to turn off all printing of error messages (does not change the way the error is handled.)
987639ff905SBarry Smith 
98895452b02SPatrick Sanan    Notes:
98995452b02SPatrick Sanan     Use
990639ff905SBarry Smith $     PetscErrorPrintf = PetscErrorPrintfNone; to turn off all printing of error messages (does not change the way the
991639ff905SBarry Smith $                        error is handled.) and
9921957e957SBarry Smith $     PetscErrorPrintf = PetscErrorPrintfDefault; to turn it back on or you can use your own function
993639ff905SBarry Smith 
994639ff905SBarry Smith           Use
99587497f52SBarry Smith      `PETSC_STDERR` = FILE* obtained from a file open etc. to have stderr printed to the file.
99687497f52SBarry Smith      `PETSC_STDOUT` = FILE* obtained from a file open etc. to have stdout printed to the file.
997639ff905SBarry Smith 
998639ff905SBarry Smith           Use
99987497f52SBarry Smith       `PetscPushErrorHandler()` to provide your own error handler that determines what kind of messages to print
1000639ff905SBarry Smith 
1001639ff905SBarry Smith    Level: developer
1002639ff905SBarry Smith 
1003639ff905SBarry Smith     Fortran Note:
1004639ff905SBarry Smith     This routine is not supported in Fortran.
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:
1536586f9135SBarry Smith    This is so that when an external packge 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