xref: /petsc/include/petscerror.h (revision cf53795e253c8c9d9d0fbcef4cffd37d916c4e81)
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__); \
264c7481402SJacob 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:
282c7481402SJacob Faibussowitsch   Equivalent to `PetscCheck()` if debugging is enabled, and `PetscAssume(cond)` otherwise.
2832c71b3e2SJacob Faibussowitsch 
28487497f52SBarry Smith   See `PetscCheck()` for usage and behaviour.
28587497f52SBarry Smith 
28687497f52SBarry Smith   This is needed instead of simply using `assert()` because this correctly handles the collective nature of errors under MPI
2879ace16cdSJacob Faibussowitsch 
2889ace16cdSJacob Faibussowitsch   Level: beginner
2899ace16cdSJacob Faibussowitsch 
2900e6b6b59SJacob Faibussowitsch .seealso: `PetscCheck()`, `SETERRQ()`, `PetscError()`, `PetscAssertAbort()`
2919566063dSJacob Faibussowitsch M*/
292c7481402SJacob Faibussowitsch #if PetscDefined(USE_DEBUG)
293c7481402SJacob Faibussowitsch   #define PetscAssert(cond, comm, ierr, ...) PetscCheck(cond, comm, ierr, __VA_ARGS__)
294c7481402SJacob Faibussowitsch #else
295c7481402SJacob Faibussowitsch   #define PetscAssert(cond, ...) PetscAssume(cond)
296c7481402SJacob Faibussowitsch #endif
2979ace16cdSJacob Faibussowitsch 
2989ace16cdSJacob Faibussowitsch /*MC
2990e6b6b59SJacob Faibussowitsch   PetscAssertAbort - Assert that a particular condition is true, otherwise prints error and aborts
3000e6b6b59SJacob Faibussowitsch 
3010e6b6b59SJacob Faibussowitsch   Synopsis:
3020e6b6b59SJacob Faibussowitsch   #include <petscerror.h>
3030e6b6b59SJacob Faibussowitsch   void PetscAssertAbort(bool cond, MPI_Comm comm, PetscErrorCode ierr, const char *message, ...)
3040e6b6b59SJacob Faibussowitsch 
3050e6b6b59SJacob Faibussowitsch   Collective
3060e6b6b59SJacob Faibussowitsch 
3070e6b6b59SJacob Faibussowitsch   Input Parameters:
3080e6b6b59SJacob Faibussowitsch + cond    - The boolean condition
3090e6b6b59SJacob Faibussowitsch . comm    - The communicator on which the check can be collective on
3100e6b6b59SJacob Faibussowitsch . ierr    - A nonzero error code, see include/petscerror.h for the complete list
3110e6b6b59SJacob Faibussowitsch - message - Error message in printf format
3120e6b6b59SJacob Faibussowitsch 
3130e6b6b59SJacob Faibussowitsch   Notes:
3140e6b6b59SJacob Faibussowitsch   Enabled only in debug builds. See `PetscCheckAbort()` for usage.
3150e6b6b59SJacob Faibussowitsch 
3160e6b6b59SJacob Faibussowitsch   Level: beginner
3170e6b6b59SJacob Faibussowitsch 
3180e6b6b59SJacob Faibussowitsch .seealso: `PetscCheckAbort()`, `PetscAssert()`, `PetscCheck()`, `SETERRABORT()`, `PetscError()`
3190e6b6b59SJacob Faibussowitsch M*/
3200e6b6b59SJacob Faibussowitsch #define PetscAssertAbort(cond, comm, ierr, ...) \
3210e6b6b59SJacob Faibussowitsch   do { \
3220e6b6b59SJacob Faibussowitsch     if (PetscUnlikelyDebug(!(cond))) SETERRABORT(comm, ierr, __VA_ARGS__); \
3230e6b6b59SJacob Faibussowitsch   } while (0)
3240e6b6b59SJacob Faibussowitsch 
3250e6b6b59SJacob Faibussowitsch /*MC
32649c86fc7SBarry Smith   PetscCall - Calls a PETSc function and then checks the resulting error code, if it is non-zero it calls the error
32749c86fc7SBarry Smith   handler and returns from the current function with the error code.
3289566063dSJacob Faibussowitsch 
3299566063dSJacob Faibussowitsch   Synopsis:
3309566063dSJacob Faibussowitsch   #include <petscerror.h>
33149c86fc7SBarry Smith   void PetscCall(PetscFunction(args))
3329566063dSJacob Faibussowitsch 
3339566063dSJacob Faibussowitsch   Not Collective
3349566063dSJacob Faibussowitsch 
3359566063dSJacob Faibussowitsch   Input Parameter:
33649c86fc7SBarry Smith . PetscFunction - any PETSc function that returns an error code
3379566063dSJacob Faibussowitsch 
3389566063dSJacob Faibussowitsch   Notes:
3399566063dSJacob Faibussowitsch   Once the error handler is called the calling function is then returned from with the given
34087497f52SBarry Smith   error code. Experienced users can set the error handler with `PetscPushErrorHandler()`.
3419566063dSJacob Faibussowitsch 
34287497f52SBarry Smith   `PetscCall()` cannot be used in functions returning a datatype not convertible to
34387497f52SBarry Smith   `PetscErrorCode`. For example, `PetscCall()` may not be used in functions returning void, use
34487497f52SBarry Smith   `PetscCallVoid()` in this case.
3459566063dSJacob Faibussowitsch 
3469566063dSJacob Faibussowitsch   Example Usage:
3479566063dSJacob Faibussowitsch .vb
3489566063dSJacob Faibussowitsch   PetscCall(PetscInitiailize(...)); // OK to call even when PETSc is not yet initialized!
3499566063dSJacob Faibussowitsch 
3509566063dSJacob Faibussowitsch   struct my_struct
3519566063dSJacob Faibussowitsch   {
3529566063dSJacob Faibussowitsch     void *data;
3539566063dSJacob Faibussowitsch   } my_complex_type;
3549566063dSJacob Faibussowitsch 
3559566063dSJacob Faibussowitsch   struct my_struct bar(void)
3569566063dSJacob Faibussowitsch   {
3576aad120cSJose E. Roman     PetscCall(foo(15)); // ERROR PetscErrorCode not convertible to struct my_struct!
3589566063dSJacob Faibussowitsch   }
3599566063dSJacob Faibussowitsch 
3606aad120cSJose E. Roman   PetscCall(bar()) // ERROR input not convertible to PetscErrorCode
3619566063dSJacob Faibussowitsch .ve
3629566063dSJacob Faibussowitsch 
36387497f52SBarry Smith   It is also possible to call this directly on a `PetscErrorCode` variable
36449c86fc7SBarry Smith .vb
36549c86fc7SBarry Smith   PetscCall(ierr);  // check if ierr is nonzero
36649c86fc7SBarry Smith .ve
36749c86fc7SBarry Smith 
368792fecdfSBarry Smith   Should not be used to call callback functions provided by users, `PetscCallBack()` should be used in that situation.
369ef1023bdSBarry Smith 
3706a8be23eSBarry Smith   `PetscUseTypeMethod()` or `PetscTryTypeMethod()` should be used when calling functions pointers contained in a PETSc object's `ops` array
3716a8be23eSBarry Smith 
37249c86fc7SBarry Smith   Fortran Notes:
37349c86fc7SBarry Smith     The Fortran function from which this is used must declare a variable PetscErrorCode ierr and ierr must be
37487497f52SBarry Smith     the final argument to the PETSc function being called.
37549c86fc7SBarry Smith 
37649c86fc7SBarry Smith     In the main program and in Fortran subroutines that do not have ierr as the final return parameter one
37787497f52SBarry Smith     should use `PetscCallA()`
37849c86fc7SBarry Smith 
37949c86fc7SBarry Smith   Example Fortran Usage:
38049c86fc7SBarry Smith .vb
38149c86fc7SBarry Smith   PetscErrorCode ierr
38249c86fc7SBarry Smith   Vec v
38349c86fc7SBarry Smith 
38449c86fc7SBarry Smith   ...
38549c86fc7SBarry Smith   PetscCall(VecShift(v,1.0,ierr))
38649c86fc7SBarry Smith   PetscCallA(VecShift(v,1.0,ierr))
38749c86fc7SBarry Smith .ve
38849c86fc7SBarry Smith 
3899566063dSJacob Faibussowitsch   Level: beginner
3909566063dSJacob Faibussowitsch 
39149c86fc7SBarry Smith .seealso: `SETERRQ()`, `PetscCheck()`, `PetscAssert()`, `PetscTraceBackErrorHandler()`, `PetscCallMPI()`
392792fecdfSBarry Smith           `PetscPushErrorHandler()`, `PetscError()`, `CHKMEMQ`, `CHKERRA()`, `CHKERRMPI()`, `PetscCallBack()`
3939566063dSJacob Faibussowitsch M*/
394ef1023bdSBarry Smith 
395ef1023bdSBarry Smith /*MC
396792fecdfSBarry 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
397ef1023bdSBarry Smith   handler and returns from the current function with the error code.
398ef1023bdSBarry Smith 
399ef1023bdSBarry Smith   Synopsis:
400ef1023bdSBarry Smith   #include <petscerror.h>
401792fecdfSBarry Smith   void PetscCallBack(const char *functionname,PetscFunction(args))
402ef1023bdSBarry Smith 
403ef1023bdSBarry Smith   Not Collective
404ef1023bdSBarry Smith 
405ef1023bdSBarry Smith   Input Parameters:
406ef1023bdSBarry Smith + functionname - the name of the function being called, this can be a string with spaces that describes the meaning of the callback
40787497f52SBarry Smith - PetscFunction - user provided callback function that returns an error code
408ef1023bdSBarry Smith 
409ef1023bdSBarry Smith   Notes:
410ef1023bdSBarry Smith   Once the error handler is called the calling function is then returned from with the given
41187497f52SBarry Smith   error code. Experienced users can set the error handler with `PetscPushErrorHandler()`.
412ef1023bdSBarry Smith 
41387497f52SBarry Smith   `PetscCallBack()` should only be called in PETSc when a call is being made to a user provided call-back routine.
414ef1023bdSBarry Smith 
415ef1023bdSBarry Smith   Example Usage:
416ef1023bdSBarry Smith .vb
417792fecdfSBarry Smith   PetscCallBack("XXX callback to do something",a->callback(...));
418ef1023bdSBarry Smith .ve
419ef1023bdSBarry Smith 
420ef1023bdSBarry Smith   Level: developer
421ef1023bdSBarry Smith 
42287497f52SBarry Smith .seealso: `SETERRQ()`, `PetscCheck()`, `PetscCall()`, `PetscAssert()`, `PetscTraceBackErrorHandler()`, `PetscCallMPI()`
423ef1023bdSBarry Smith           `PetscPushErrorHandler()`, `PetscError()`, `CHKMEMQ`, `CHKERRA()`, `CHKERRMPI()`, `PetscCall()`
424ef1023bdSBarry Smith M*/
425ef1023bdSBarry Smith 
4269566063dSJacob Faibussowitsch #if defined(PETSC_CLANG_STATIC_ANALYZER)
4279566063dSJacob Faibussowitsch void PetscCall(PetscErrorCode);
428792fecdfSBarry Smith void PetscCallBack(const char *, PetscErrorCode);
4299566063dSJacob Faibussowitsch void PetscCallVoid(PetscErrorCode);
4309566063dSJacob Faibussowitsch #else
4319371c9d4SSatish Balay   #define PetscCall(...) \
4329371c9d4SSatish Balay     do { \
433e33ced7fSLisandro Dalcin       PetscErrorCode ierr_q_; \
43437154d10SBarry Smith       PetscStackUpdateLine; \
435e33ced7fSLisandro Dalcin       ierr_q_ = __VA_ARGS__; \
4369566063dSJacob Faibussowitsch       if (PetscUnlikely(ierr_q_)) return PetscError(PETSC_COMM_SELF, __LINE__, PETSC_FUNCTION_NAME, __FILE__, ierr_q_, PETSC_ERROR_REPEAT, " "); \
4379566063dSJacob Faibussowitsch     } while (0)
4389371c9d4SSatish Balay   #define PetscCallBack(function, ...) \
4399371c9d4SSatish Balay     do { \
440e33ced7fSLisandro Dalcin       PetscErrorCode ierr_q_; \
441e33ced7fSLisandro Dalcin       PetscStackUpdateLine; \
442e33ced7fSLisandro Dalcin       PetscStackPushExternal(function); \
443e33ced7fSLisandro Dalcin       ierr_q_ = __VA_ARGS__; \
444ef1023bdSBarry Smith       PetscStackPop; \
445ef1023bdSBarry Smith       if (PetscUnlikely(ierr_q_)) return PetscError(PETSC_COMM_SELF, __LINE__, PETSC_FUNCTION_NAME, __FILE__, ierr_q_, PETSC_ERROR_REPEAT, " "); \
446ef1023bdSBarry Smith     } while (0)
4479371c9d4SSatish Balay   #define PetscCallVoid(...) \
4489371c9d4SSatish Balay     do { \
449e33ced7fSLisandro Dalcin       PetscErrorCode ierr_void_; \
450e33ced7fSLisandro Dalcin       PetscStackUpdateLine; \
451e33ced7fSLisandro Dalcin       ierr_void_ = __VA_ARGS__; \
4529371c9d4SSatish Balay       if (PetscUnlikely(ierr_void_)) { \
4539371c9d4SSatish Balay         (void)PetscError(PETSC_COMM_SELF, __LINE__, PETSC_FUNCTION_NAME, __FILE__, ierr_void_, PETSC_ERROR_REPEAT, " "); \
4549371c9d4SSatish Balay         return; \
4559371c9d4SSatish Balay       } \
4569566063dSJacob Faibussowitsch     } while (0)
4579566063dSJacob Faibussowitsch #endif
4589566063dSJacob Faibussowitsch 
4599566063dSJacob Faibussowitsch /*MC
4609566063dSJacob Faibussowitsch   CHKERRQ - Checks error code returned from PETSc function
46130de9b25SBarry Smith 
46230de9b25SBarry Smith   Synopsis:
463aaa7dc30SBarry Smith   #include <petscsys.h>
4649566063dSJacob Faibussowitsch   void CHKERRQ(PetscErrorCode ierr)
4659566063dSJacob Faibussowitsch 
4669566063dSJacob Faibussowitsch   Not Collective
4679566063dSJacob Faibussowitsch 
4689566063dSJacob Faibussowitsch   Input Parameters:
4699566063dSJacob Faibussowitsch . ierr - nonzero error code
4709566063dSJacob Faibussowitsch 
4719566063dSJacob Faibussowitsch   Notes:
47287497f52SBarry Smith   Deprecated in favor of `PetscCall()`. This routine behaves identically to it.
4739566063dSJacob Faibussowitsch 
4749566063dSJacob Faibussowitsch   Level: deprecated
4759566063dSJacob Faibussowitsch 
476db781477SPatrick Sanan .seealso: `PetscCall()`
4779566063dSJacob Faibussowitsch M*/
4789566063dSJacob Faibussowitsch #define CHKERRQ(...) PetscCall(__VA_ARGS__)
4799566063dSJacob Faibussowitsch #define CHKERRV(...) PetscCallVoid(__VA_ARGS__)
4809566063dSJacob Faibussowitsch 
481db9cea48SBarry Smith PETSC_EXTERN void PetscMPIErrorString(PetscMPIInt, char *);
482db9cea48SBarry Smith 
4839566063dSJacob Faibussowitsch /*MC
4849566063dSJacob Faibussowitsch   PetscCallMPI - Checks error code returned from MPI calls, if non-zero it calls the error
4859566063dSJacob Faibussowitsch   handler and then returns
4869566063dSJacob Faibussowitsch 
4879566063dSJacob Faibussowitsch   Synopsis:
4889566063dSJacob Faibussowitsch   #include <petscerror.h>
48949c86fc7SBarry Smith   void PetscCallMPI(MPI_Function(args))
49030de9b25SBarry Smith 
491eca87e8dSBarry Smith   Not Collective
49230de9b25SBarry Smith 
49330de9b25SBarry Smith   Input Parameters:
49449c86fc7SBarry Smith . MPI_Function - an MPI function that returns an MPI error code
49530de9b25SBarry Smith 
4969566063dSJacob Faibussowitsch   Notes:
49787497f52SBarry Smith   Always returns the error code `PETSC_ERR_MPI`; the MPI error code and string are embedded in
4989566063dSJacob Faibussowitsch   the string error message. Do not use this to call any other routines (for example PETSc
4999566063dSJacob Faibussowitsch   routines), it should only be used for direct MPI calls. Due to limitations of the
5009566063dSJacob Faibussowitsch   preprocessor this can unfortunately not easily be enforced, so the user should take care to
5019566063dSJacob Faibussowitsch   check this themselves.
5029566063dSJacob Faibussowitsch 
5039566063dSJacob Faibussowitsch   Example Usage:
5049566063dSJacob Faibussowitsch .vb
5059566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_size(...)); // OK, calling MPI function
5069566063dSJacob Faibussowitsch 
5079566063dSJacob Faibussowitsch   PetscCallMPI(PetscFunction(...)); // ERROR, use PetscCall() instead!
5089566063dSJacob Faibussowitsch .ve
5099566063dSJacob Faibussowitsch 
51049c86fc7SBarry Smith   Fortran Notes:
51187497f52SBarry Smith     The Fortran function from which this is used must declare a variable `PetscErrorCode` ierr and ierr must be
51249c86fc7SBarry Smith     the final argument to the MPI function being called.
51349c86fc7SBarry Smith 
51449c86fc7SBarry Smith     In the main program and in Fortran subroutines that do not have ierr as the final return parameter one
51587497f52SBarry Smith     should use `PetscCallMPIA()`
51649c86fc7SBarry Smith 
51749c86fc7SBarry Smith   Fortran Usage:
51849c86fc7SBarry Smith .vb
51949c86fc7SBarry Smith   PetscErrorCode ierr or integer ierr
52049c86fc7SBarry Smith   ...
52149c86fc7SBarry Smith   PetscCallMPI(MPI_Comm_size(...,ierr))
52249c86fc7SBarry Smith   PetscCallMPIA(MPI_Comm_size(...,ierr)) ! Will abort after calling error handler
52349c86fc7SBarry Smith 
52449c86fc7SBarry Smith   PetscCallMPI(MPI_Comm_size(...,eflag)) ! ERROR, final argument must be ierr
52549c86fc7SBarry Smith .ve
52649c86fc7SBarry Smith 
52730de9b25SBarry Smith   Level: beginner
52830de9b25SBarry Smith 
529db781477SPatrick Sanan .seealso: `SETERRMPI()`, `PetscCall()`, `SETERRQ()`, `SETERRABORT()`, `PetscCallAbort()`,
530db781477SPatrick Sanan           `PetscTraceBackErrorHandler()`, `PetscPushErrorHandler()`, `PetscError()`, `CHKMEMQ`
53130de9b25SBarry Smith M*/
5323fcd9f07SJacob Faibussowitsch #if defined(PETSC_CLANG_STATIC_ANALYZER)
53363a3b9bcSJacob Faibussowitsch void PetscCallMPI(PetscMPIInt);
534064a246eSJacob Faibussowitsch #else
5359371c9d4SSatish Balay   #define PetscCallMPI(...) \
5369371c9d4SSatish Balay     do { \
537e33ced7fSLisandro Dalcin       PetscMPIInt _7_errorcode; \
538e33ced7fSLisandro Dalcin       char        _7_errorstring[2 * MPI_MAX_ERROR_STRING]; \
539ef1023bdSBarry Smith       PetscStackUpdateLine; \
540792fecdfSBarry Smith       PetscStackPushExternal("MPI function"); \
541d71ae5a4SJacob Faibussowitsch       { \
542d71ae5a4SJacob Faibussowitsch         _7_errorcode = __VA_ARGS__; \
543d71ae5a4SJacob Faibussowitsch       } \
544ef1023bdSBarry Smith       PetscStackPop; \
5459566063dSJacob Faibussowitsch       if (PetscUnlikely(_7_errorcode)) { \
546db9cea48SBarry Smith         PetscMPIErrorString(_7_errorcode, (char *)_7_errorstring); \
547db9cea48SBarry Smith         SETERRQ(PETSC_COMM_SELF, PETSC_ERR_MPI, "MPI error %d %s", (int)_7_errorcode, _7_errorstring); \
5483fcd9f07SJacob Faibussowitsch       } \
5493fcd9f07SJacob Faibussowitsch     } while (0)
5509566063dSJacob Faibussowitsch #endif
551064a246eSJacob Faibussowitsch 
5527037b0edSPatrick Sanan /*MC
5539566063dSJacob Faibussowitsch   CHKERRMPI - Checks error code returned from MPI calls, if non-zero it calls the error
5549566063dSJacob Faibussowitsch   handler and then returns
5559566063dSJacob Faibussowitsch 
5569566063dSJacob Faibussowitsch   Synopsis:
5579566063dSJacob Faibussowitsch   #include <petscerror.h>
5589566063dSJacob Faibussowitsch   void CHKERRMPI(PetscErrorCode ierr)
5599566063dSJacob Faibussowitsch 
5609566063dSJacob Faibussowitsch   Not Collective
5619566063dSJacob Faibussowitsch 
5629566063dSJacob Faibussowitsch   Input Parameter:
5639566063dSJacob Faibussowitsch . ierr - nonzero error code, see the list of standard error codes in include/petscerror.h
5649566063dSJacob Faibussowitsch 
5659566063dSJacob Faibussowitsch   Notes:
56687497f52SBarry Smith   Deprecated in favor of `PetscCallMPI()`. This routine behaves identically to it.
5679566063dSJacob Faibussowitsch 
5689566063dSJacob Faibussowitsch   Level: deprecated
5699566063dSJacob Faibussowitsch 
570db781477SPatrick Sanan .seealso: `PetscCallMPI()`
5719566063dSJacob Faibussowitsch M*/
5729566063dSJacob Faibussowitsch #define CHKERRMPI(...) PetscCallMPI(__VA_ARGS__)
5739566063dSJacob Faibussowitsch 
5749566063dSJacob Faibussowitsch /*MC
5759566063dSJacob Faibussowitsch   PetscCallAbort - Checks error code returned from PETSc function, if non-zero it aborts immediately
5769566063dSJacob Faibussowitsch 
5779566063dSJacob Faibussowitsch   Synopsis:
5789566063dSJacob Faibussowitsch   #include <petscerror.h>
5799566063dSJacob Faibussowitsch   void PetscCallAbort(MPI_Comm comm, PetscErrorCode ierr)
5809566063dSJacob Faibussowitsch 
581c3339decSBarry Smith   Collective
5829566063dSJacob Faibussowitsch 
5839566063dSJacob Faibussowitsch   Input Parameters:
5849566063dSJacob Faibussowitsch + comm - the MPI communicator on which to abort
5859566063dSJacob Faibussowitsch - ierr - nonzero error code, see the list of standard error codes in include/petscerror.h
5869566063dSJacob Faibussowitsch 
5879566063dSJacob Faibussowitsch   Notes:
58887497f52SBarry Smith   This macro has identical type and usage semantics to `PetscCall()` with the important caveat
5899566063dSJacob Faibussowitsch   that this macro does not return. Instead, if ierr is nonzero it calls the PETSc error handler
59087497f52SBarry Smith   and then immediately calls `MPI_Abort()`. It can therefore be used anywhere.
5919566063dSJacob Faibussowitsch 
59287497f52SBarry Smith   As per `MPI_Abort()` semantics the communicator passed must be valid, although there is currently
59387497f52SBarry Smith   no attempt made at handling any potential errors from `MPI_Abort()`. Note that while
59487497f52SBarry Smith   `MPI_Abort()` is required to terminate only those processes which reside on comm, it is often
59587497f52SBarry Smith   the case that `MPI_Abort()` terminates *all* processes.
5969566063dSJacob Faibussowitsch 
5979566063dSJacob Faibussowitsch   Example Usage:
5989566063dSJacob Faibussowitsch .vb
5999566063dSJacob Faibussowitsch   PetscErrorCode boom(void) { return PETSC_ERR_MEM; }
6009566063dSJacob Faibussowitsch 
6019566063dSJacob Faibussowitsch   void foo(void)
6029566063dSJacob Faibussowitsch   {
6039566063dSJacob Faibussowitsch     PetscCallAbort(PETSC_COMM_WORLD,boom()); // OK, does not return a type
6049566063dSJacob Faibussowitsch   }
6059566063dSJacob Faibussowitsch 
6069566063dSJacob Faibussowitsch   double bar(void)
6079566063dSJacob Faibussowitsch   {
6089566063dSJacob Faibussowitsch     PetscCallAbort(PETSC_COMM_WORLD,boom()); // OK, does not return a type
6099566063dSJacob Faibussowitsch   }
6109566063dSJacob Faibussowitsch 
6119566063dSJacob Faibussowitsch   PetscCallAbort(MPI_COMM_NULL,boom()); // ERROR, communicator should be valid
6129566063dSJacob Faibussowitsch 
6139566063dSJacob Faibussowitsch   struct baz
6149566063dSJacob Faibussowitsch   {
6159566063dSJacob Faibussowitsch     baz()
6169566063dSJacob Faibussowitsch     {
6179566063dSJacob Faibussowitsch       PetscCallAbort(PETSC_COMM_SELF,boom()); // OK
6189566063dSJacob Faibussowitsch     }
6199566063dSJacob Faibussowitsch 
6209566063dSJacob Faibussowitsch     ~baz()
6219566063dSJacob Faibussowitsch     {
6229566063dSJacob Faibussowitsch       PetscCallAbort(PETSC_COMM_SELF,boom()); // OK (in fact the only way to handle PETSc errors)
6239566063dSJacob Faibussowitsch     }
6249566063dSJacob Faibussowitsch   };
6259566063dSJacob Faibussowitsch .ve
6269566063dSJacob Faibussowitsch 
6279566063dSJacob Faibussowitsch   Level: intermediate
6289566063dSJacob Faibussowitsch 
629db781477SPatrick Sanan .seealso: `SETERRABORT()`, `PetscTraceBackErrorHandler()`, `PetscPushErrorHandler()`, `PetscError()`,
630db781477SPatrick Sanan           `SETERRQ()`, `CHKMEMQ`, `PetscCallMPI()`
6319566063dSJacob Faibussowitsch M*/
6329566063dSJacob Faibussowitsch #if defined(PETSC_CLANG_STATIC_ANALYZER)
6339566063dSJacob Faibussowitsch void PetscCallAbort(MPI_Comm, PetscErrorCode);
6349566063dSJacob Faibussowitsch void PetscCallContinue(PetscErrorCode);
6359566063dSJacob Faibussowitsch #else
6369371c9d4SSatish Balay   #define PetscCallAbort(comm, ...) \
6379371c9d4SSatish Balay     do { \
6389566063dSJacob Faibussowitsch       PetscErrorCode ierr_abort_ = __VA_ARGS__; \
6399566063dSJacob Faibussowitsch       if (PetscUnlikely(ierr_abort_)) { \
6409566063dSJacob Faibussowitsch         PetscError(PETSC_COMM_SELF, __LINE__, PETSC_FUNCTION_NAME, __FILE__, ierr_abort_, PETSC_ERROR_REPEAT, " "); \
6419566063dSJacob Faibussowitsch         MPI_Abort(comm, ierr_abort_); \
6429566063dSJacob Faibussowitsch       } \
6439566063dSJacob Faibussowitsch     } while (0)
6449371c9d4SSatish Balay   #define PetscCallContinue(...) \
6459371c9d4SSatish Balay     do { \
6469566063dSJacob Faibussowitsch       PetscErrorCode ierr_continue_ = __VA_ARGS__; \
6479566063dSJacob Faibussowitsch       if (PetscUnlikely(ierr_continue_)) PetscError(PETSC_COMM_SELF, __LINE__, PETSC_FUNCTION_NAME, __FILE__, ierr_continue_, PETSC_ERROR_REPEAT, " "); \
6489566063dSJacob Faibussowitsch     } while (0)
6499566063dSJacob Faibussowitsch #endif
6509566063dSJacob Faibussowitsch 
6519566063dSJacob Faibussowitsch /*MC
6529566063dSJacob Faibussowitsch   CHKERRABORT - Checks error code returned from PETSc function. If non-zero it aborts immediately.
6539566063dSJacob Faibussowitsch 
6549566063dSJacob Faibussowitsch   Synopsis:
6559566063dSJacob Faibussowitsch   #include <petscerror.h>
6569566063dSJacob Faibussowitsch   void CHKERRABORT(MPI_Comm comm, PetscErrorCode ierr)
6579566063dSJacob Faibussowitsch 
6589566063dSJacob Faibussowitsch   Not Collective
6599566063dSJacob Faibussowitsch 
6609566063dSJacob Faibussowitsch   Input Parameters:
6619566063dSJacob Faibussowitsch + comm - the MPI communicator
6629566063dSJacob Faibussowitsch - ierr - nonzero error code, see the list of standard error codes in include/petscerror.h
6639566063dSJacob Faibussowitsch 
6649566063dSJacob Faibussowitsch   Notes:
66587497f52SBarry Smith   Deprecated in favor of `PetscCallAbort()`. This routine behaves identically to it.
6669566063dSJacob Faibussowitsch 
6679566063dSJacob Faibussowitsch   Level: deprecated
6689566063dSJacob Faibussowitsch 
669db781477SPatrick Sanan .seealso: `PetscCallAbort()`
6709566063dSJacob Faibussowitsch M*/
6719566063dSJacob Faibussowitsch #define CHKERRABORT(comm, ...) PetscCallAbort(comm, __VA_ARGS__)
6729566063dSJacob Faibussowitsch #define CHKERRCONTINUE(...)    PetscCallContinue(__VA_ARGS__)
6739566063dSJacob Faibussowitsch 
6749566063dSJacob Faibussowitsch /*MC
67587497f52SBarry Smith    CHKERRA - Fortran-only replacement for use of `CHKERRQ()` in the main program, which aborts immediately
676f388eb8bSPatrick Sanan 
677f388eb8bSPatrick Sanan    Synopsis:
678f388eb8bSPatrick Sanan    #include <petscsys.h>
679f388eb8bSPatrick Sanan    PetscErrorCode CHKERRA(PetscErrorCode ierr)
680f388eb8bSPatrick Sanan 
681f388eb8bSPatrick Sanan    Not Collective
682f388eb8bSPatrick Sanan 
683f388eb8bSPatrick Sanan    Input Parameters:
684f388eb8bSPatrick Sanan .  ierr - nonzero error code, see the list of standard error codes in include/petscerror.h
685f388eb8bSPatrick Sanan 
68687497f52SBarry Smith   Level: deprecated
687f388eb8bSPatrick Sanan 
68887497f52SBarry Smith    Note:
68987497f52SBarry Smith    This macro is rarely needed, normal usage is `PetscCallA()` in the main Fortran program.
690f388eb8bSPatrick Sanan 
69187497f52SBarry Smith .seealso: `PetscCall()`, `PetscCallA()`, `PetscCallAbort()`, `CHKERRQ()`, `SETERRA()`, `SETERRQ()`, `SETERRABORT()`
692f388eb8bSPatrick Sanan M*/
693f388eb8bSPatrick Sanan 
6941e4f893aSSatish Balay PETSC_EXTERN PetscBool petscwaitonerrorflg;
6951e4f893aSSatish Balay PETSC_EXTERN PetscBool petscindebugger;
6967c66cc67SJunchao Zhang 
6977c66cc67SJunchao Zhang /*MC
6987c66cc67SJunchao Zhang    PETSCABORT - Call MPI_Abort with an informative error code
6997c66cc67SJunchao Zhang 
7007c66cc67SJunchao Zhang    Synopsis:
7017c66cc67SJunchao Zhang    #include <petscsys.h>
7027c66cc67SJunchao Zhang    PETSCABORT(MPI_Comm comm, PetscErrorCode ierr)
7037c66cc67SJunchao Zhang 
7047c66cc67SJunchao Zhang    Collective
7057c66cc67SJunchao Zhang 
7067c66cc67SJunchao Zhang    Input Parameters:
7077c66cc67SJunchao Zhang +  comm - A communicator, so that the error can be collective
7087c66cc67SJunchao Zhang -  ierr - nonzero error code, see the list of standard error codes in include/petscerror.h
7097c66cc67SJunchao Zhang 
710bf4d2887SBarry Smith    Level: advanced
7117c66cc67SJunchao Zhang 
712bf4d2887SBarry Smith    Notes:
713bf4d2887SBarry Smith    If the option -start_in_debugger was used then this calls abort() to stop the program in the debugger.
714bf4d2887SBarry Smith 
71587497f52SBarry Smith    if `PetscCIEnabledPortableErrorOutput` is set it strives to exit cleanly without call `MPI_Abort()`
716660278c0SBarry Smith 
7177c66cc67SJunchao Zhang  M*/
7189371c9d4SSatish Balay #define PETSCABORT(comm, ...) \
7199371c9d4SSatish Balay   do { \
720baae8e41SSatish Balay     if (petscwaitonerrorflg) PetscSleep(1000); \
721bf4d2887SBarry Smith     if (petscindebugger) abort(); \
7223fcd9f07SJacob Faibussowitsch     else { \
7233fcd9f07SJacob Faibussowitsch       PetscErrorCode ierr_petsc_abort_ = __VA_ARGS__; \
724660278c0SBarry Smith       PetscMPIInt    size; \
725660278c0SBarry Smith       MPI_Comm_size(comm, &size); \
726660278c0SBarry Smith       if (PetscCIEnabledPortableErrorOutput && size == PetscGlobalSize && ierr_petsc_abort_ != PETSC_ERR_SIG) { \
7279371c9d4SSatish Balay         MPI_Finalize(); \
7289371c9d4SSatish Balay         exit(0); \
729660278c0SBarry Smith       } else if (PetscCIEnabledPortableErrorOutput && PetscGlobalSize == 1) { \
730660278c0SBarry Smith         exit(0); \
731660278c0SBarry Smith       } else { \
732660278c0SBarry Smith         MPI_Abort(comm, (PetscMPIInt)ierr_petsc_abort_); \
733660278c0SBarry Smith       } \
7343fcd9f07SJacob Faibussowitsch     } \
7357c66cc67SJunchao Zhang   } while (0)
736986eef2eSBarry Smith 
7379566063dSJacob Faibussowitsch #ifdef PETSC_CLANGUAGE_CXX
738986eef2eSBarry Smith   /*MC
7399566063dSJacob Faibussowitsch   PetscCallThrow - Checks error code, if non-zero it calls the C++ error handler which throws
7409566063dSJacob Faibussowitsch   an exception
741986eef2eSBarry Smith 
742986eef2eSBarry Smith   Synopsis:
7439566063dSJacob Faibussowitsch   #include <petscerror.h>
7449566063dSJacob Faibussowitsch   void PetscCallThrow(PetscErrorCode ierr)
745986eef2eSBarry Smith 
746986eef2eSBarry Smith   Not Collective
747986eef2eSBarry Smith 
7489566063dSJacob Faibussowitsch   Input Parameter:
749986eef2eSBarry Smith . ierr - nonzero error code, see the list of standard error codes in include/petscerror.h
750986eef2eSBarry Smith 
751986eef2eSBarry Smith   Notes:
7529566063dSJacob Faibussowitsch   Requires PETSc to be configured with clanguage = c++. Throws a std::runtime_error() on error.
753986eef2eSBarry Smith 
75487497f52SBarry Smith   Once the error handler throws the exception you can use `PetscCallVoid()` which returns without
75587497f52SBarry Smith   an error code (bad idea since the error is ignored) or `PetscCallAbort()` to have `MPI_Abort()`
7569566063dSJacob Faibussowitsch   called immediately.
7579566063dSJacob Faibussowitsch 
7589566063dSJacob Faibussowitsch   Level: beginner
7599566063dSJacob Faibussowitsch 
760db781477SPatrick Sanan .seealso: `SETERRQ()`, `PetscCall()`, `SETERRABORT()`, `PetscCallAbort()`, `PetscTraceBackErrorHandler()`,
761db781477SPatrick Sanan           `PetscPushErrorHandler()`, `PetscError()`, `CHKMEMQ`
762986eef2eSBarry Smith M*/
7639371c9d4SSatish Balay   #define PetscCallThrow(...) \
7649371c9d4SSatish Balay     do { \
7659566063dSJacob Faibussowitsch       PetscErrorCode ierr_cxx_ = __VA_ARGS__; \
7669566063dSJacob Faibussowitsch       if (PetscUnlikely(ierr_cxx_)) PetscError(PETSC_COMM_SELF, __LINE__, PETSC_FUNCTION_NAME, __FILE__, ierr_cxx_, PETSC_ERROR_IN_CXX, PETSC_NULLPTR); \
767ffc4695bSBarry Smith     } while (0)
76885614651SBarry Smith 
769cc26af49SMatthew Knepley   /*MC
770cc26af49SMatthew Knepley   CHKERRXX - Checks error code, if non-zero it calls the C++ error handler which throws an exception
771cc26af49SMatthew Knepley 
772cc26af49SMatthew Knepley   Synopsis:
7739566063dSJacob Faibussowitsch   #include <petscerror.h>
7743af045c5SBarry Smith   void CHKERRXX(PetscErrorCode ierr)
775cc26af49SMatthew Knepley 
776eca87e8dSBarry Smith   Not Collective
777cc26af49SMatthew Knepley 
7789566063dSJacob Faibussowitsch   Input Parameter:
7793af045c5SBarry Smith . ierr - nonzero error code, see the list of standard error codes in include/petscerror.h
780cc26af49SMatthew Knepley 
781cc26af49SMatthew Knepley   Notes:
78287497f52SBarry Smith   Deprecated in favor of `PetscCallThrow()`. This routine behaves identically to it.
783cc26af49SMatthew Knepley 
7849566063dSJacob Faibussowitsch   Level: deprecated
785cc26af49SMatthew Knepley 
786db781477SPatrick Sanan .seealso: `PetscCallThrow()`
787cc26af49SMatthew Knepley M*/
7889566063dSJacob Faibussowitsch   #define CHKERRXX(...) PetscCallThrow(__VA_ARGS__)
789fd705b32SMatthew Knepley #endif
790fd705b32SMatthew Knepley 
7913f520e80SJunchao Zhang /*MC
7929566063dSJacob Faibussowitsch   PetscCallCXX - Checks C++ function calls and if they throw an exception, catch it and then
7939566063dSJacob Faibussowitsch   return a PETSc error code
7943f520e80SJunchao Zhang 
7953f520e80SJunchao Zhang   Synopsis:
7969566063dSJacob Faibussowitsch   #include <petscerror.h>
7979566063dSJacob Faibussowitsch   void PetscCallCXX(expr) noexcept;
7983f520e80SJunchao Zhang 
7993f520e80SJunchao Zhang   Not Collective
8003f520e80SJunchao Zhang 
8019566063dSJacob Faibussowitsch   Input Parameter:
8029566063dSJacob Faibussowitsch . expr - An arbitrary expression
8033f520e80SJunchao Zhang 
8043f520e80SJunchao Zhang   Notes:
8059566063dSJacob Faibussowitsch   PetscCallCXX(expr) is a macro replacement for
8069566063dSJacob Faibussowitsch .vb
8079566063dSJacob Faibussowitsch   try {
8089566063dSJacob Faibussowitsch     expr;
8099566063dSJacob Faibussowitsch   } catch (const std::exception& e) {
8109566063dSJacob Faibussowitsch     return ConvertToPetscErrorCode(e);
8119566063dSJacob Faibussowitsch   }
8129566063dSJacob Faibussowitsch .ve
8139566063dSJacob Faibussowitsch   Due to the fact that it catches any (reasonable) exception, it is essentially noexcept.
8143f520e80SJunchao Zhang 
8159566063dSJacob Faibussowitsch   Example Usage:
8169566063dSJacob Faibussowitsch .vb
8179566063dSJacob Faibussowitsch   void foo(void) { throw std::runtime_error("error"); }
8183f520e80SJunchao Zhang 
8199566063dSJacob Faibussowitsch   void bar()
8209566063dSJacob Faibussowitsch   {
821e8952933SJacob Faibussowitsch     PetscCallCXX(foo()); // ERROR bar() does not return PetscErrorCode
8229566063dSJacob Faibussowitsch   }
8239566063dSJacob Faibussowitsch 
8249566063dSJacob Faibussowitsch   PetscErrorCode baz()
8259566063dSJacob Faibussowitsch   {
8269566063dSJacob Faibussowitsch     PetscCallCXX(foo()); // OK
8279566063dSJacob Faibussowitsch 
8289566063dSJacob Faibussowitsch     PetscCallCXX(
8299566063dSJacob Faibussowitsch       bar();
830d5b43468SJose E. Roman       foo(); // OK multiple statements allowed
8319566063dSJacob Faibussowitsch     );
8329566063dSJacob Faibussowitsch   }
8339566063dSJacob Faibussowitsch 
8349566063dSJacob Faibussowitsch   struct bop
8359566063dSJacob Faibussowitsch   {
8369566063dSJacob Faibussowitsch     bop()
8379566063dSJacob Faibussowitsch     {
838e8952933SJacob Faibussowitsch       PetscCallCXX(foo()); // ERROR returns PetscErrorCode, cannot be used in constructors
8399566063dSJacob Faibussowitsch     }
8409566063dSJacob Faibussowitsch   };
8419566063dSJacob Faibussowitsch 
842e8952933SJacob Faibussowitsch   // ERROR contains do-while, cannot be used as function-try block
8439566063dSJacob Faibussowitsch   PetscErrorCode qux() PetscCallCXX(
8449566063dSJacob Faibussowitsch     bar();
8459566063dSJacob Faibussowitsch     baz();
8469566063dSJacob Faibussowitsch     foo();
8479566063dSJacob Faibussowitsch     return 0;
8489566063dSJacob Faibussowitsch   )
8499566063dSJacob Faibussowitsch .ve
8509566063dSJacob Faibussowitsch 
85149762cbcSSatish Balay   Level: beginner
85249762cbcSSatish Balay 
853db781477SPatrick Sanan .seealso: `PetscCallThrow()`, `SETERRQ()`, `PetscCall()`, `SETERRABORT()`, `PetscCallAbort()`,
854db781477SPatrick Sanan           `PetscTraceBackErrorHandler()`, `PetscPushErrorHandler()`, `PetscError()`, `CHKMEMQ`
8553f520e80SJunchao Zhang M*/
8569371c9d4SSatish Balay #define PetscCallCXX(...) \
8579371c9d4SSatish Balay   do { \
85837154d10SBarry Smith     PetscStackUpdateLine; \
8593fcd9f07SJacob Faibussowitsch     try { \
8603fcd9f07SJacob Faibussowitsch       __VA_ARGS__; \
861d71ae5a4SJacob Faibussowitsch     } catch (const std::exception &e) { \
862d71ae5a4SJacob Faibussowitsch       SETERRQ(PETSC_COMM_SELF, PETSC_ERR_LIB, "%s", e.what()); \
863d71ae5a4SJacob Faibussowitsch     } \
8643fcd9f07SJacob Faibussowitsch   } while (0)
8653f520e80SJunchao Zhang 
86630de9b25SBarry Smith /*MC
8679566063dSJacob Faibussowitsch   CHKERRCXX - Checks C++ function calls and if they throw an exception, catch it and then
8689566063dSJacob Faibussowitsch   return a PETSc error code
8699566063dSJacob Faibussowitsch 
8709566063dSJacob Faibussowitsch   Synopsis:
8719566063dSJacob Faibussowitsch   #include <petscerror.h>
8729566063dSJacob Faibussowitsch   void CHKERRCXX(func) noexcept;
8739566063dSJacob Faibussowitsch 
8749566063dSJacob Faibussowitsch   Not Collective
8759566063dSJacob Faibussowitsch 
8769566063dSJacob Faibussowitsch   Input Parameter:
8779566063dSJacob Faibussowitsch . func - C++ function calls
8789566063dSJacob Faibussowitsch 
8799566063dSJacob Faibussowitsch   Notes:
88087497f52SBarry Smith   Deprecated in favor of `PetscCallCXX()`. This routine behaves identically to it.
8819566063dSJacob Faibussowitsch 
8829566063dSJacob Faibussowitsch   Level: deprecated
8839566063dSJacob Faibussowitsch 
884db781477SPatrick Sanan .seealso: `PetscCallCXX()`
8859566063dSJacob Faibussowitsch M*/
8869566063dSJacob Faibussowitsch #define CHKERRCXX(...) PetscCallCXX(__VA_ARGS__)
8879566063dSJacob Faibussowitsch 
8889566063dSJacob Faibussowitsch /*MC
88930de9b25SBarry Smith    CHKMEMQ - Checks the memory for corruption, calls error handler if any is detected
89030de9b25SBarry Smith 
89130de9b25SBarry Smith    Synopsis:
892aaa7dc30SBarry Smith    #include <petscsys.h>
89391d3bdf4SKris Buschelman    CHKMEMQ;
89430de9b25SBarry Smith 
895eca87e8dSBarry Smith    Not Collective
896eca87e8dSBarry Smith 
89730de9b25SBarry Smith   Level: beginner
89830de9b25SBarry Smith 
89930de9b25SBarry Smith    Notes:
900a17b96a8SKyle Gerard Felker     We highly recommend using Valgrind https://petsc.org/release/faq/#valgrind or for NVIDIA CUDA systems
9015ed36255SBarry Smith     https://docs.nvidia.com/cuda/cuda-memcheck/index.html for finding memory problems. The ``CHKMEMQ`` macro is useful on systems that
9025ed36255SBarry Smith     do not have valgrind, but is not as good as valgrind or cuda-memcheck.
9031957e957SBarry Smith 
90487497f52SBarry Smith     Must run with the option -malloc_debug (-malloc_test in debug mode; or if `PetscMallocSetDebug()` called) to enable this option
90530de9b25SBarry Smith 
90630de9b25SBarry Smith     Once the error handler is called the calling function is then returned from with the given error code.
90730de9b25SBarry Smith 
90830de9b25SBarry Smith     By defaults prints location where memory that is corrupted was allocated.
90930de9b25SBarry Smith 
91087497f52SBarry Smith     Use `CHKMEMA` for functions that return void
911f621e05eSBarry Smith 
912db781477SPatrick Sanan .seealso: `PetscTraceBackErrorHandler()`, `PetscPushErrorHandler()`, `PetscError()`, `SETERRQ()`, `PetscMallocValidate()`
91330de9b25SBarry Smith M*/
9146d210af2SJacob Faibussowitsch #if defined(PETSC_CLANG_STATIC_ANALYZER)
915064a246eSJacob Faibussowitsch   #define CHKMEMQ
916064a246eSJacob Faibussowitsch   #define CHKMEMA
9176d210af2SJacob Faibussowitsch #else
9189371c9d4SSatish Balay   #define CHKMEMQ \
9199371c9d4SSatish Balay     do { \
92086d09637SLisandro Dalcin       PetscErrorCode ierr_memq_ = PetscMallocValidate(__LINE__, PETSC_FUNCTION_NAME, __FILE__); \
92186d09637SLisandro Dalcin       if (PetscUnlikely(ierr_memq_)) return PetscError(PETSC_COMM_SELF, __LINE__, PETSC_FUNCTION_NAME, __FILE__, ierr_memq_, PETSC_ERROR_REPEAT, " "); \
92286d09637SLisandro Dalcin     } while (0)
9236d210af2SJacob Faibussowitsch   #define CHKMEMA PetscMallocValidate(__LINE__, PETSC_FUNCTION_NAME, __FILE__)
924064a246eSJacob Faibussowitsch #endif
9259566063dSJacob Faibussowitsch 
926668f157eSBarry Smith /*E
927668f157eSBarry Smith   PetscErrorType - passed to the PETSc error handling routines indicating if this is the first or a later call to the error handlers
928668f157eSBarry Smith 
929668f157eSBarry Smith   Level: advanced
930668f157eSBarry Smith 
93187497f52SBarry Smith   `PETSC_ERROR_IN_CXX` indicates the error was detected in C++ and an exception should be generated
932d736bfebSBarry Smith 
93395452b02SPatrick Sanan   Developer Notes:
93495452b02SPatrick Sanan     This is currently used to decide when to print the detailed information about the run in PetscTraceBackErrorHandler()
935668f157eSBarry Smith 
93687497f52SBarry Smith .seealso: `PetscError()`, `SETERRQ()`
937668f157eSBarry Smith E*/
9389371c9d4SSatish Balay typedef enum {
9399371c9d4SSatish Balay   PETSC_ERROR_INITIAL = 0,
9409371c9d4SSatish Balay   PETSC_ERROR_REPEAT  = 1,
9419371c9d4SSatish Balay   PETSC_ERROR_IN_CXX  = 2
9429371c9d4SSatish Balay } PetscErrorType;
9434b209cf6SBarry Smith 
944eb9e708aSLisandro Dalcin #if defined(__clang_analyzer__)
945eb9e708aSLisandro Dalcin __attribute__((analyzer_noreturn))
946eb9e708aSLisandro Dalcin #endif
9479371c9d4SSatish Balay PETSC_EXTERN PetscErrorCode
9489371c9d4SSatish Balay PetscError(MPI_Comm, int, const char *, const char *, PetscErrorCode, PetscErrorType, const char *, ...) PETSC_ATTRIBUTE_COLD PETSC_ATTRIBUTE_FORMAT(7, 8);
949eb9e708aSLisandro Dalcin 
950014dd563SJed Brown PETSC_EXTERN PetscErrorCode PetscErrorPrintfInitialize(void);
951014dd563SJed Brown PETSC_EXTERN PetscErrorCode PetscErrorMessage(int, const char *[], char **);
952d8e4614bSJacob Faibussowitsch PETSC_EXTERN PetscErrorCode PetscTraceBackErrorHandler(MPI_Comm, int, const char *, const char *, PetscErrorCode, PetscErrorType, const char *, void *) PETSC_ATTRIBUTE_COLD;
953d8e4614bSJacob Faibussowitsch PETSC_EXTERN PetscErrorCode PetscIgnoreErrorHandler(MPI_Comm, int, const char *, const char *, PetscErrorCode, PetscErrorType, const char *, void *) PETSC_ATTRIBUTE_COLD;
954d8e4614bSJacob Faibussowitsch PETSC_EXTERN PetscErrorCode PetscEmacsClientErrorHandler(MPI_Comm, int, const char *, const char *, PetscErrorCode, PetscErrorType, const char *, void *) PETSC_ATTRIBUTE_COLD;
955d8e4614bSJacob Faibussowitsch PETSC_EXTERN PetscErrorCode PetscMPIAbortErrorHandler(MPI_Comm, int, const char *, const char *, PetscErrorCode, PetscErrorType, const char *, void *) PETSC_ATTRIBUTE_COLD;
956d8e4614bSJacob Faibussowitsch PETSC_EXTERN PetscErrorCode PetscAbortErrorHandler(MPI_Comm, int, const char *, const char *, PetscErrorCode, PetscErrorType, const char *, void *) PETSC_ATTRIBUTE_COLD;
957d8e4614bSJacob Faibussowitsch PETSC_EXTERN PetscErrorCode PetscAttachDebuggerErrorHandler(MPI_Comm, int, const char *, const char *, PetscErrorCode, PetscErrorType, const char *, void *) PETSC_ATTRIBUTE_COLD;
958d8e4614bSJacob Faibussowitsch PETSC_EXTERN PetscErrorCode PetscReturnErrorHandler(MPI_Comm, int, const char *, const char *, PetscErrorCode, PetscErrorType, const char *, void *) PETSC_ATTRIBUTE_COLD;
959efca3c55SSatish Balay PETSC_EXTERN PetscErrorCode PetscPushErrorHandler(PetscErrorCode (*handler)(MPI_Comm, int, const char *, const char *, PetscErrorCode, PetscErrorType, const char *, void *), void *);
960014dd563SJed Brown PETSC_EXTERN PetscErrorCode PetscPopErrorHandler(void);
9618d359177SBarry Smith PETSC_EXTERN PetscErrorCode PetscSignalHandlerDefault(int, void *);
962014dd563SJed Brown PETSC_EXTERN PetscErrorCode PetscPushSignalHandler(PetscErrorCode (*)(int, void *), void *);
963014dd563SJed Brown PETSC_EXTERN PetscErrorCode PetscPopSignalHandler(void);
96428559dc8SJed Brown PETSC_EXTERN PetscErrorCode PetscCheckPointerSetIntensity(PetscInt);
965c2a741eeSJunchao Zhang PETSC_EXTERN void           PetscSignalSegvCheckPointerOrMpi(void);
966d71ae5a4SJacob Faibussowitsch PETSC_DEPRECATED_FUNCTION("Use PetscSignalSegvCheckPointerOrMpi() (since version 3.13)") static inline void PetscSignalSegvCheckPointer(void)
967d71ae5a4SJacob Faibussowitsch {
9689371c9d4SSatish Balay   PetscSignalSegvCheckPointerOrMpi();
9699371c9d4SSatish Balay }
970329f5518SBarry Smith 
971639ff905SBarry Smith /*MC
972639ff905SBarry Smith     PetscErrorPrintf - Prints error messages.
973639ff905SBarry Smith 
974*cf53795eSBarry Smith     Not Collective; No Fortran Support
975*cf53795eSBarry Smith 
976639ff905SBarry Smith    Synopsis:
977aaa7dc30SBarry Smith     #include <petscsys.h>
978639ff905SBarry Smith      PetscErrorCode (*PetscErrorPrintf)(const char format[],...);
979639ff905SBarry Smith 
980f899ff85SJose E. Roman     Input Parameter:
981639ff905SBarry Smith .   format - the usual printf() format string
982639ff905SBarry Smith 
983639ff905SBarry Smith    Options Database Keys:
9841957e957SBarry Smith +    -error_output_stdout - cause error messages to be printed to stdout instead of the (default) stderr
985e1bc860dSBarry Smith -    -error_output_none - to turn off all printing of error messages (does not change the way the error is handled.)
986639ff905SBarry Smith 
987*cf53795eSBarry Smith    Level: developer
988*cf53795eSBarry Smith 
98995452b02SPatrick Sanan    Notes:
99095452b02SPatrick Sanan     Use
991639ff905SBarry Smith $     PetscErrorPrintf = PetscErrorPrintfNone; to turn off all printing of error messages (does not change the way the
992639ff905SBarry Smith $                        error is handled.) and
9931957e957SBarry Smith $     PetscErrorPrintf = PetscErrorPrintfDefault; to turn it back on or you can use your own function
994639ff905SBarry Smith 
995639ff905SBarry Smith           Use
99687497f52SBarry Smith      `PETSC_STDERR` = FILE* obtained from a file open etc. to have stderr printed to the file.
99787497f52SBarry Smith      `PETSC_STDOUT` = FILE* obtained from a file open etc. to have stdout printed to the file.
998639ff905SBarry Smith 
999639ff905SBarry Smith           Use
100087497f52SBarry Smith       `PetscPushErrorHandler()` to provide your own error handler that determines what kind of messages to print
1001639ff905SBarry Smith 
1002db781477SPatrick Sanan .seealso: `PetscFPrintf()`, `PetscSynchronizedPrintf()`, `PetscHelpPrintf()`, `PetscPrintf()`, `PetscPushErrorHandler()`, `PetscVFPrintf()`, `PetscHelpPrintf()`
1003639ff905SBarry Smith M*/
10043ca90d2dSJacob Faibussowitsch PETSC_EXTERN PetscErrorCode (*PetscErrorPrintf)(const char[], ...) PETSC_ATTRIBUTE_FORMAT(1, 2);
1005639ff905SBarry Smith 
1006cf0818bdSBarry Smith /*E
1007cf0818bdSBarry Smith      PetscFPTrap - types of floating point exceptions that may be trapped
1008cf0818bdSBarry Smith 
100987497f52SBarry Smith      Currently only `PETSC_FP_TRAP_OFF` and `PETSC_FP_TRAP_ON` are handled. All others are treated as `PETSC_FP_TRAP_ON`.
1010cf0818bdSBarry Smith 
1011cf0818bdSBarry Smith      Level: intermediate
1012cf0818bdSBarry Smith 
1013cf0818bdSBarry Smith .seealso: `PetscSetFPTrap()`, `PetscPushFPTrap()`
1014cf0818bdSBarry Smith  E*/
10159371c9d4SSatish Balay typedef enum {
10169371c9d4SSatish Balay   PETSC_FP_TRAP_OFF      = 0,
10179371c9d4SSatish Balay   PETSC_FP_TRAP_INDIV    = 1,
10189371c9d4SSatish Balay   PETSC_FP_TRAP_FLTOPERR = 2,
10199371c9d4SSatish Balay   PETSC_FP_TRAP_FLTOVF   = 4,
10209371c9d4SSatish Balay   PETSC_FP_TRAP_FLTUND   = 8,
10219371c9d4SSatish Balay   PETSC_FP_TRAP_FLTDIV   = 16,
10229371c9d4SSatish Balay   PETSC_FP_TRAP_FLTINEX  = 32
10239371c9d4SSatish Balay } PetscFPTrap;
1024bd2b07b1SBarry 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)
1025014dd563SJed Brown PETSC_EXTERN PetscErrorCode PetscSetFPTrap(PetscFPTrap);
1026014dd563SJed Brown PETSC_EXTERN PetscErrorCode PetscFPTrapPush(PetscFPTrap);
1027014dd563SJed Brown PETSC_EXTERN PetscErrorCode PetscFPTrapPop(void);
1028aba4c478SBarry Smith PETSC_EXTERN PetscErrorCode PetscDetermineInitialFPTrap(void);
102954a8ef01SBarry Smith 
10303a40ed3dSBarry Smith /*
10313a40ed3dSBarry Smith       Allows the code to build a stack frame as it runs
10323a40ed3dSBarry Smith */
10333a40ed3dSBarry Smith 
103427104ee2SJacob Faibussowitsch #if defined(PETSC_USE_DEBUG)
103599cd645aSJed Brown   #define PETSCSTACKSIZE 64
10363a40ed3dSBarry Smith typedef struct {
10370e33f6ddSBarry Smith   const char *function[PETSCSTACKSIZE];
10380e33f6ddSBarry Smith   const char *file[PETSCSTACKSIZE];
1039184914b5SBarry Smith   int         line[PETSCSTACKSIZE];
1040362febeeSStefano Zampini   int         petscroutine[PETSCSTACKSIZE]; /* 0 external called from petsc, 1 petsc functions, 2 petsc user functions */
1041184914b5SBarry Smith   int         currentsize;
1042a2f94806SJed Brown   int         hotdepth;
10434be741a6SBarry Smith   PetscBool   check; /* option to check for correct Push/Pop semantics, true for default petscstack but not other stacks */
10443a40ed3dSBarry Smith } PetscStack;
104527104ee2SJacob Faibussowitsch PETSC_EXTERN PetscStack petscstack;
104627104ee2SJacob Faibussowitsch #else
104727104ee2SJacob Faibussowitsch typedef struct {
104827104ee2SJacob Faibussowitsch   char Silence_empty_struct_has_size_0_in_C_size_1_in_Cpp;
104927104ee2SJacob Faibussowitsch } PetscStack;
105027104ee2SJacob Faibussowitsch #endif
10513a40ed3dSBarry Smith 
10525d12eec7SSatish Balay #if defined(PETSC_SERIALIZE_FUNCTIONS)
10535d12eec7SSatish Balay   #include <petsc/private/petscfptimpl.h>
10545d12eec7SSatish Balay   /*
10555d12eec7SSatish Balay    Registers the current function into the global function pointer to function name table
10565d12eec7SSatish Balay 
10575d12eec7SSatish Balay    Have to fix this to handle errors but cannot return error since used in PETSC_VIEWER_DRAW_() etc
10585d12eec7SSatish Balay */
10599371c9d4SSatish Balay   #define PetscRegister__FUNCT__() \
10609371c9d4SSatish Balay     do { \
10615d12eec7SSatish Balay       static PetscBool __chked = PETSC_FALSE; \
10625d12eec7SSatish Balay       if (!__chked) { \
10639371c9d4SSatish Balay         void *ptr; \
10649371c9d4SSatish Balay         PetscDLSym(NULL, PETSC_FUNCTION_NAME, &ptr); \
10655d12eec7SSatish Balay         __chked = PETSC_TRUE; \
10669371c9d4SSatish Balay       } \
10679371c9d4SSatish Balay     } while (0)
10685d12eec7SSatish Balay #else
10695d12eec7SSatish Balay   #define PetscRegister__FUNCT__()
10705d12eec7SSatish Balay #endif
10715d12eec7SSatish Balay 
10726d210af2SJacob Faibussowitsch #if defined(PETSC_CLANG_STATIC_ANALYZER)
10736d210af2SJacob Faibussowitsch   #define PetscStackPushNoCheck(funct, petsc_routine, hot)
107437154d10SBarry Smith   #define PetscStackUpdateLine
1075792fecdfSBarry Smith   #define PetscStackPushExternal(funct)
10766d210af2SJacob Faibussowitsch   #define PetscStackPopNoCheck
10776d210af2SJacob Faibussowitsch   #define PetscStackClearTop
10786d210af2SJacob Faibussowitsch   #define PetscFunctionBegin
10796d210af2SJacob Faibussowitsch   #define PetscFunctionBeginUser
10806d210af2SJacob Faibussowitsch   #define PetscFunctionBeginHot
10816d210af2SJacob Faibussowitsch   #define PetscFunctionReturn(a)    return a
10826d210af2SJacob Faibussowitsch   #define PetscFunctionReturnVoid() return
10836d210af2SJacob Faibussowitsch   #define PetscStackPop
10846d210af2SJacob Faibussowitsch   #define PetscStackPush(f)
10856d210af2SJacob Faibussowitsch #elif defined(PETSC_USE_DEBUG)
1086660278c0SBarry Smith 
10879371c9d4SSatish Balay   #define PetscStackPush_Private(stack__, file__, func__, line__, petsc_routine__, hot__) \
10889371c9d4SSatish Balay     do { \
10895a96b57dSJacob Faibussowitsch       if (stack__.currentsize < PETSCSTACKSIZE) { \
10905a96b57dSJacob Faibussowitsch         stack__.function[stack__.currentsize] = func__; \
1091ef1023bdSBarry Smith         if (petsc_routine__) { \
1092ef1023bdSBarry Smith           stack__.file[stack__.currentsize] = file__; \
10935a96b57dSJacob Faibussowitsch           stack__.line[stack__.currentsize] = line__; \
1094ef1023bdSBarry Smith         } else { \
1095648bc8c4SBarry Smith           stack__.file[stack__.currentsize] = PETSC_NULLPTR; \
1096ef1023bdSBarry Smith           stack__.line[stack__.currentsize] = 0; \
1097ef1023bdSBarry Smith         } \
10985a96b57dSJacob Faibussowitsch         stack__.petscroutine[stack__.currentsize] = petsc_routine__; \
10995a96b57dSJacob Faibussowitsch       } \
11005a96b57dSJacob Faibussowitsch       ++stack__.currentsize; \
11015a96b57dSJacob Faibussowitsch       stack__.hotdepth += (hot__ || stack__.hotdepth); \
11025a96b57dSJacob Faibussowitsch     } while (0)
11035a96b57dSJacob Faibussowitsch 
11044be741a6SBarry Smith   /* uses PetscCheckAbort() because may be used in a function that does not return an error code */
11059371c9d4SSatish Balay   #define PetscStackPop_Private(stack__, func__) \
11069371c9d4SSatish Balay     do { \
11074be741a6SBarry 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__); \
11085a96b57dSJacob Faibussowitsch       if (--stack__.currentsize < PETSCSTACKSIZE) { \
11099371c9d4SSatish 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", \
11109371c9d4SSatish Balay                         stack__.function[stack__.currentsize], stack__.file[stack__.currentsize], stack__.line[stack__.currentsize], func__, __FILE__, __LINE__); \
11115a96b57dSJacob Faibussowitsch         stack__.function[stack__.currentsize]     = PETSC_NULLPTR; \
11125a96b57dSJacob Faibussowitsch         stack__.file[stack__.currentsize]         = PETSC_NULLPTR; \
11135a96b57dSJacob Faibussowitsch         stack__.line[stack__.currentsize]         = 0; \
11145a96b57dSJacob Faibussowitsch         stack__.petscroutine[stack__.currentsize] = 0; \
11155a96b57dSJacob Faibussowitsch       } \
11165a96b57dSJacob Faibussowitsch       stack__.hotdepth = PetscMax(stack__.hotdepth - 1, 0); \
11175a96b57dSJacob Faibussowitsch     } while (0)
11185a96b57dSJacob Faibussowitsch 
1119586f9135SBarry Smith   /*MC
1120586f9135SBarry Smith    PetscStackPushNoCheck - Pushes a new function name and line number onto the PETSc default stack that tracks where the running program is
1121586f9135SBarry Smith    currently in the source code.
1122586f9135SBarry Smith 
1123586f9135SBarry Smith    Not Collective
1124586f9135SBarry Smith 
1125586f9135SBarry Smith    Synopsis:
1126586f9135SBarry Smith    #include <petscsys.h>
1127586f9135SBarry Smith    void PetscStackPushNoCheck(char *funct,int petsc_routine,PetscBool hot);
1128586f9135SBarry Smith 
1129586f9135SBarry Smith    Input Parameters:
1130586f9135SBarry Smith +  funct - the function name
1131586f9135SBarry Smith .  petsc_routine - 2 user function, 1 PETSc function, 0 some other function
1132586f9135SBarry Smith -  hot - indicates that the function may be called often so expensive error checking should be turned off inside the function
1133586f9135SBarry Smith 
1134586f9135SBarry Smith    Level: developer
1135586f9135SBarry Smith 
1136586f9135SBarry Smith    Notes:
1137586f9135SBarry 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
113887497f52SBarry 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
1139586f9135SBarry Smith    help debug the problem.
1140586f9135SBarry Smith 
1141ef1023bdSBarry Smith    This version does not check the memory corruption (an expensive operation), use `PetscStackPush()` to check the memory.
1142ef1023bdSBarry Smith 
1143792fecdfSBarry Smith    Use `PetscStackPushExternal()` for a function call that is about to be made to a non-PETSc or user function (such as BLAS etc).
1144ef1023bdSBarry Smith 
1145586f9135SBarry Smith    The default stack is a global variable called `petscstack`.
1146586f9135SBarry Smith 
1147586f9135SBarry Smith .seealso: `PetscAttachDebugger()`, `PetscStackCopy()`, `PetscStackView()`, `PetscStackPopNoCheck()`, `PetscCall()`, `PetscFunctionBegin()`,
1148ef1023bdSBarry Smith           `PetscFunctionReturn()`, `PetscFunctionBeginHot()`, `PetscFunctionBeginUser()`, `PetscStackPush()`, `PetscStackPop`,
1149792fecdfSBarry Smith           `PetscStackPushExternal()`
1150586f9135SBarry Smith M*/
11519371c9d4SSatish Balay   #define PetscStackPushNoCheck(funct, petsc_routine, hot) \
11529371c9d4SSatish Balay     do { \
1153e04113cfSBarry Smith       PetscStackSAWsTakeAccess(); \
11545a96b57dSJacob Faibussowitsch       PetscStackPush_Private(petscstack, __FILE__, funct, __LINE__, petsc_routine, hot); \
1155e04113cfSBarry Smith       PetscStackSAWsGrantAccess(); \
1156441dd030SJed Brown     } while (0)
1157441dd030SJed Brown 
1158586f9135SBarry Smith   /*MC
115987497f52SBarry Smith    PetscStackUpdateLine - in a function that has a `PetscFunctionBegin` or `PetscFunctionBeginUser` updates the stack line number to the
116037154d10SBarry Smith    current line number.
116137154d10SBarry Smith 
116237154d10SBarry Smith    Not Collective
116337154d10SBarry Smith 
116437154d10SBarry Smith    Synopsis:
116537154d10SBarry Smith    #include <petscsys.h>
116637154d10SBarry Smith    void PetscStackUpdateLine
116737154d10SBarry Smith 
116837154d10SBarry Smith    Level: developer
116937154d10SBarry Smith 
117037154d10SBarry Smith    Notes:
117187497f52SBarry Smith    Using `PetscCall()` and friends automatically handles this process
117287497f52SBarry Smith 
117337154d10SBarry 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
117437154d10SBarry Smith    occurred, for example, when a signal is received. It is recommended to use the debugger if extensive information is needed to
117537154d10SBarry Smith    help debug the problem.
117637154d10SBarry Smith 
117737154d10SBarry Smith    The default stack is a global variable called petscstack.
117837154d10SBarry Smith 
117937154d10SBarry Smith    This is used by `PetscCall()` and is otherwise not like to be needed
118037154d10SBarry Smith 
118137154d10SBarry Smith .seealso: `PetscAttachDebugger()`, `PetscStackCopy()`, `PetscStackView()`, `PetscStackPushNoCheck()`, `PetscStackPop`, `PetscCall()`
118237154d10SBarry Smith M*/
118337154d10SBarry Smith   #define PetscStackUpdateLine \
11849371c9d4SSatish Balay     if (petscstack.currentsize > 0 && petscstack.function[petscstack.currentsize - 1] == PETSC_FUNCTION_NAME) { petscstack.line[petscstack.currentsize - 1] = __LINE__; }
118537154d10SBarry Smith 
118637154d10SBarry Smith   /*MC
1187792fecdfSBarry Smith    PetscStackPushExternal - Pushes a new function name onto the PETSc default stack that tracks where the running program is
1188ef1023bdSBarry Smith    currently in the source code. Does not include the filename or line number since this is called by the calling routine
1189ef1023bdSBarry Smith    for non-PETSc or user functions.
1190ef1023bdSBarry Smith 
1191ef1023bdSBarry Smith    Not Collective
1192ef1023bdSBarry Smith 
1193ef1023bdSBarry Smith    Synopsis:
1194ef1023bdSBarry Smith    #include <petscsys.h>
1195792fecdfSBarry Smith    void PetscStackPushExternal(char *funct);
1196ef1023bdSBarry Smith 
1197ef1023bdSBarry Smith    Input Parameters:
1198ef1023bdSBarry Smith .  funct - the function name
1199ef1023bdSBarry Smith 
1200ef1023bdSBarry Smith    Level: developer
1201ef1023bdSBarry Smith 
1202ef1023bdSBarry Smith    Notes:
120387497f52SBarry Smith    Using `PetscCallExternal()` and friends automatically handles this process
120487497f52SBarry Smith 
1205ef1023bdSBarry 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
1206ef1023bdSBarry Smith    occurred, for example, when a signal is received. It is recommended to use the debugger if extensive information is needed to
1207ef1023bdSBarry Smith    help debug the problem.
1208ef1023bdSBarry Smith 
1209ef1023bdSBarry Smith    The default stack is a global variable called `petscstack`.
1210ef1023bdSBarry Smith 
1211ef1023bdSBarry Smith    This is to be used when calling an external package function such as a BLAS function.
1212ef1023bdSBarry Smith 
1213ef1023bdSBarry Smith    This also updates the stack line number for the current stack function.
1214ef1023bdSBarry Smith 
1215ef1023bdSBarry Smith .seealso: `PetscAttachDebugger()`, `PetscStackCopy()`, `PetscStackView()`, `PetscStackPopNoCheck()`, `PetscCall()`, `PetscFunctionBegin()`,
1216ef1023bdSBarry Smith           `PetscFunctionReturn()`, `PetscFunctionBeginHot()`, `PetscFunctionBeginUser()`, `PetscStackPushNoCheck()`, `PetscStackPop`
1217ef1023bdSBarry Smith M*/
12189371c9d4SSatish Balay   #define PetscStackPushExternal(funct) \
12199371c9d4SSatish Balay     do { \
12209371c9d4SSatish Balay       PetscStackUpdateLine; \
12219371c9d4SSatish Balay       PetscStackPushNoCheck(funct, 0, PETSC_TRUE); \
12229371c9d4SSatish Balay     } while (0);
1223ef1023bdSBarry Smith 
1224ef1023bdSBarry Smith   /*MC
1225586f9135SBarry Smith    PetscStackPopNoCheck - Pops a function name from the PETSc default stack that tracks where the running program is
1226586f9135SBarry Smith    currently in the source code.
1227586f9135SBarry Smith 
1228586f9135SBarry Smith    Not Collective
1229586f9135SBarry Smith 
1230586f9135SBarry Smith    Synopsis:
1231586f9135SBarry Smith    #include <petscsys.h>
1232586f9135SBarry Smith    void PetscStackPopNoCheck(char *funct);
1233586f9135SBarry Smith 
1234586f9135SBarry Smith    Input Parameter:
1235586f9135SBarry Smith .   funct - the function name
1236586f9135SBarry Smith 
1237586f9135SBarry Smith    Level: developer
1238586f9135SBarry Smith 
1239586f9135SBarry Smith    Notes:
124087497f52SBarry Smith    Using `PetscCall()`, `PetscCallExternal()`, `PetscCallBack()` and friends negates the need to call this
124187497f52SBarry Smith 
1242586f9135SBarry 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
1243586f9135SBarry Smith    occurred, for example, when a signal is received. It is recommended to use the debugger if extensive information is needed to
1244586f9135SBarry Smith    help debug the problem.
1245586f9135SBarry Smith 
1246586f9135SBarry Smith    The default stack is a global variable called petscstack.
1247586f9135SBarry Smith 
1248586f9135SBarry Smith    Developer Note:
1249586f9135SBarry Smith    `PetscStackPopNoCheck()` takes a function argument while  `PetscStackPop` does not, this difference is likely just historical.
1250586f9135SBarry Smith 
1251586f9135SBarry Smith .seealso: `PetscAttachDebugger()`, `PetscStackCopy()`, `PetscStackView()`, `PetscStackPushNoCheck()`, `PetscStackPop`
1252586f9135SBarry Smith M*/
12539371c9d4SSatish Balay   #define PetscStackPopNoCheck(funct) \
12549371c9d4SSatish Balay     do { \
1255362febeeSStefano Zampini       PetscStackSAWsTakeAccess(); \
12565a96b57dSJacob Faibussowitsch       PetscStackPop_Private(petscstack, funct); \
1257362febeeSStefano Zampini       PetscStackSAWsGrantAccess(); \
1258362febeeSStefano Zampini     } while (0)
1259362febeeSStefano Zampini 
12609371c9d4SSatish Balay   #define PetscStackClearTop \
12619371c9d4SSatish Balay     do { \
1262e04113cfSBarry Smith       PetscStackSAWsTakeAccess(); \
12639371c9d4SSatish Balay       if (petscstack.currentsize > 0 && --petscstack.currentsize < PETSCSTACKSIZE) { \
126427104ee2SJacob Faibussowitsch         petscstack.function[petscstack.currentsize]     = PETSC_NULLPTR; \
126527104ee2SJacob Faibussowitsch         petscstack.file[petscstack.currentsize]         = PETSC_NULLPTR; \
126627104ee2SJacob Faibussowitsch         petscstack.line[petscstack.currentsize]         = 0; \
126727104ee2SJacob Faibussowitsch         petscstack.petscroutine[petscstack.currentsize] = 0; \
1268441dd030SJed Brown       } \
126927104ee2SJacob Faibussowitsch       petscstack.hotdepth = PetscMax(petscstack.hotdepth - 1, 0); \
1270e04113cfSBarry Smith       PetscStackSAWsGrantAccess(); \
1271441dd030SJed Brown     } while (0)
1272441dd030SJed Brown 
127330de9b25SBarry Smith   /*MC
12741957e957SBarry Smith    PetscFunctionBegin - First executable line of each PETSc function,  used for error handling. Final
127587497f52SBarry Smith       line of PETSc functions should be `PetscFunctionReturn`(0);
127630de9b25SBarry Smith 
127730de9b25SBarry Smith    Synopsis:
1278aaa7dc30SBarry Smith    #include <petscsys.h>
127930de9b25SBarry Smith    void PetscFunctionBegin;
128030de9b25SBarry Smith 
1281eca87e8dSBarry Smith    Not Collective
1282eca87e8dSBarry Smith 
128330de9b25SBarry Smith    Usage:
128430de9b25SBarry Smith .vb
128530de9b25SBarry Smith      int something;
128630de9b25SBarry Smith 
128730de9b25SBarry Smith      PetscFunctionBegin;
128830de9b25SBarry Smith .ve
128930de9b25SBarry Smith 
129030de9b25SBarry Smith    Notes:
129187497f52SBarry Smith      Use `PetscFunctionBeginUser` for application codes.
12921957e957SBarry Smith 
129330de9b25SBarry Smith      Not available in Fortran
129430de9b25SBarry Smith 
129530de9b25SBarry Smith    Level: developer
129630de9b25SBarry Smith 
1297586f9135SBarry Smith .seealso: `PetscFunctionReturn()`, `PetscFunctionBeginHot()`, `PetscFunctionBeginUser()`, `PetscStackPushNoCheck()`
129830de9b25SBarry Smith 
129930de9b25SBarry Smith M*/
13009371c9d4SSatish Balay   #define PetscFunctionBegin \
13019371c9d4SSatish Balay     do { \
1302362febeeSStefano Zampini       PetscStackPushNoCheck(PETSC_FUNCTION_NAME, 1, PETSC_FALSE); \
1303a2f94806SJed Brown       PetscRegister__FUNCT__(); \
1304a2f94806SJed Brown     } while (0)
1305a2f94806SJed Brown 
1306a2f94806SJed Brown   /*MC
130787497f52SBarry Smith    PetscFunctionBeginHot - Substitute for `PetscFunctionBegin` to be used in functions that are called in
1308a2f94806SJed Brown    performance-critical circumstances.  Use of this function allows for lighter profiling by default.
1309a2f94806SJed Brown 
1310a2f94806SJed Brown    Synopsis:
1311aaa7dc30SBarry Smith    #include <petscsys.h>
1312a2f94806SJed Brown    void PetscFunctionBeginHot;
1313a2f94806SJed Brown 
1314a2f94806SJed Brown    Not Collective
1315a2f94806SJed Brown 
1316a2f94806SJed Brown    Usage:
1317a2f94806SJed Brown .vb
1318a2f94806SJed Brown      int something;
1319a2f94806SJed Brown 
1320a2f94806SJed Brown      PetscFunctionBeginHot;
1321a2f94806SJed Brown .ve
1322a2f94806SJed Brown 
1323a2f94806SJed Brown    Notes:
1324a2f94806SJed Brown      Not available in Fortran
1325a2f94806SJed Brown 
1326a2f94806SJed Brown    Level: developer
1327a2f94806SJed Brown 
1328586f9135SBarry Smith .seealso: `PetscFunctionBegin`, `PetscFunctionReturn()`, `PetscStackPushNoCheck()`
1329a2f94806SJed Brown 
1330a2f94806SJed Brown M*/
13319371c9d4SSatish Balay   #define PetscFunctionBeginHot \
13329371c9d4SSatish Balay     do { \
1333362febeeSStefano Zampini       PetscStackPushNoCheck(PETSC_FUNCTION_NAME, 1, PETSC_TRUE); \
13342d53ad75SBarry Smith       PetscRegister__FUNCT__(); \
133553c77d0aSJed Brown     } while (0)
133653c77d0aSJed Brown 
1337a8d2bbe5SBarry Smith   /*MC
1338530d85c1SBarry Smith    PetscFunctionBeginUser - First executable line of user provided routines
1339a8d2bbe5SBarry Smith 
1340a8d2bbe5SBarry Smith    Synopsis:
1341aaa7dc30SBarry Smith    #include <petscsys.h>
1342a8d2bbe5SBarry Smith    void PetscFunctionBeginUser;
1343a8d2bbe5SBarry Smith 
1344a8d2bbe5SBarry Smith    Not Collective
1345a8d2bbe5SBarry Smith 
1346a8d2bbe5SBarry Smith    Usage:
1347a8d2bbe5SBarry Smith .vb
1348a8d2bbe5SBarry Smith      int something;
1349a8d2bbe5SBarry Smith 
1350ac285190SBarry Smith      PetscFunctionBeginUser;
1351a8d2bbe5SBarry Smith .ve
1352a8d2bbe5SBarry Smith 
1353a8d2bbe5SBarry Smith    Notes:
1354530d85c1SBarry Smith       Functions that incorporate this must call `PetscFunctionReturn()` instead of return except for main().
1355530d85c1SBarry Smith 
1356530d85c1SBarry Smith       May be used before `PetscInitialize()`
13571957e957SBarry Smith 
1358a8d2bbe5SBarry Smith       Not available in Fortran
1359a8d2bbe5SBarry Smith 
1360530d85c1SBarry Smith       This is identical to `PetscFunctionBegin` except it labels the routine as a user
1361ac285190SBarry Smith       routine instead of as a PETSc library routine.
1362ac285190SBarry Smith 
1363a2f94806SJed Brown    Level: intermediate
1364a8d2bbe5SBarry Smith 
1365586f9135SBarry Smith .seealso: `PetscFunctionReturn()`, `PetscFunctionBegin`, `PetscFunctionBeginHot`, `PetscStackPushNoCheck()`
1366a8d2bbe5SBarry Smith 
1367a8d2bbe5SBarry Smith M*/
13689371c9d4SSatish Balay   #define PetscFunctionBeginUser \
13699371c9d4SSatish Balay     do { \
1370362febeeSStefano Zampini       PetscStackPushNoCheck(PETSC_FUNCTION_NAME, 2, PETSC_FALSE); \
1371a8d2bbe5SBarry Smith       PetscRegister__FUNCT__(); \
1372a8d2bbe5SBarry Smith     } while (0)
1373a8d2bbe5SBarry Smith 
1374586f9135SBarry Smith   /*MC
1375586f9135SBarry Smith    PetscStackPush - Pushes a new function name and line number onto the PETSc default stack that tracks where the running program is
1376586f9135SBarry Smith    currently in the source code and verifies the memory is not corrupted.
1377586f9135SBarry Smith 
1378586f9135SBarry Smith    Not Collective
1379586f9135SBarry Smith 
1380586f9135SBarry Smith    Synopsis:
1381586f9135SBarry Smith    #include <petscsys.h>
1382586f9135SBarry Smith    void PetscStackPush(char *funct)
1383586f9135SBarry Smith 
1384586f9135SBarry Smith    Input Parameter:
1385586f9135SBarry Smith .  funct - the function name
1386586f9135SBarry Smith 
1387586f9135SBarry Smith    Level: developer
1388586f9135SBarry Smith 
1389586f9135SBarry Smith    Notes:
1390586f9135SBarry 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
1391586f9135SBarry Smith    occurred, for example, when a signal is received. It is recommended to use the debugger if extensive information is needed to
1392586f9135SBarry Smith    help debug the problem.
1393586f9135SBarry Smith 
1394586f9135SBarry Smith    The default stack is a global variable called petscstack.
1395586f9135SBarry Smith 
1396586f9135SBarry Smith .seealso: `PetscAttachDebugger()`, `PetscStackCopy()`, `PetscStackView()`, `PetscStackPopNoCheck()`, `PetscCall()`, `PetscFunctionBegin()`,
1397586f9135SBarry Smith           `PetscFunctionReturn()`, `PetscFunctionBeginHot()`, `PetscFunctionBeginUser()`, `PetscStackPushNoCheck()`, `PetscStackPop`
1398586f9135SBarry Smith M*/
13999371c9d4SSatish Balay   #define PetscStackPush(n) \
14009371c9d4SSatish Balay     do { \
1401362febeeSStefano Zampini       PetscStackPushNoCheck(n, 0, PETSC_FALSE); \
140215681b3cSBarry Smith       CHKMEMQ; \
140315681b3cSBarry Smith     } while (0)
14043a40ed3dSBarry Smith 
1405586f9135SBarry Smith   /*MC
1406586f9135SBarry Smith    PetscStackPop - Pops a function name from the PETSc default stack that tracks where the running program is
1407586f9135SBarry Smith    currently in the source code and verifies the memory is not corrupted.
1408586f9135SBarry Smith 
1409586f9135SBarry Smith    Not Collective
1410586f9135SBarry Smith 
1411586f9135SBarry Smith    Synopsis:
1412586f9135SBarry Smith    #include <petscsys.h>
1413586f9135SBarry Smith    void PetscStackPop
1414586f9135SBarry Smith 
1415586f9135SBarry Smith    Level: developer
1416586f9135SBarry Smith 
1417586f9135SBarry Smith    Notes:
1418586f9135SBarry 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
1419586f9135SBarry Smith    occurred, for example, when a signal is received. It is recommended to use the debugger if extensive information is needed to
1420586f9135SBarry Smith    help debug the problem.
1421586f9135SBarry Smith 
1422586f9135SBarry Smith    The default stack is a global variable called petscstack.
1423586f9135SBarry Smith 
1424586f9135SBarry Smith .seealso: `PetscAttachDebugger()`, `PetscStackCopy()`, `PetscStackView()`, `PetscStackPushNoCheck()`, `PetscStackPopNoCheck()`, `PetscStackPush()`
1425586f9135SBarry Smith M*/
14269371c9d4SSatish Balay   #define PetscStackPop \
14279371c9d4SSatish Balay     do { \
1428441dd030SJed Brown       CHKMEMQ; \
1429362febeeSStefano Zampini       PetscStackPopNoCheck(PETSC_FUNCTION_NAME); \
143015681b3cSBarry Smith     } while (0)
1431d64ed03dSBarry Smith 
143230de9b25SBarry Smith   /*MC
143330de9b25SBarry Smith    PetscFunctionReturn - Last executable line of each PETSc function
143487497f52SBarry Smith         used for error handling. Replaces `return()`
143530de9b25SBarry Smith 
143630de9b25SBarry Smith    Synopsis:
1437aaa7dc30SBarry Smith    #include <petscsys.h>
143830de9b25SBarry Smith    void PetscFunctionReturn(0);
143930de9b25SBarry Smith 
1440eca87e8dSBarry Smith    Not Collective
1441eca87e8dSBarry Smith 
144230de9b25SBarry Smith    Usage:
144330de9b25SBarry Smith .vb
144430de9b25SBarry Smith     ....
144530de9b25SBarry Smith      PetscFunctionReturn(0);
144630de9b25SBarry Smith    }
144730de9b25SBarry Smith .ve
144830de9b25SBarry Smith 
144987497f52SBarry Smith    Note:
145030de9b25SBarry Smith      Not available in Fortran
145130de9b25SBarry Smith 
145230de9b25SBarry Smith    Level: developer
145330de9b25SBarry Smith 
1454586f9135SBarry Smith .seealso: `PetscFunctionBegin()`, `PetscStackPopNoCheck()`
145530de9b25SBarry Smith 
145630de9b25SBarry Smith M*/
14579371c9d4SSatish Balay   #define PetscFunctionReturn(a) \
14589371c9d4SSatish Balay     do { \
1459362febeeSStefano Zampini       PetscStackPopNoCheck(PETSC_FUNCTION_NAME); \
146027104ee2SJacob Faibussowitsch       return a; \
146127104ee2SJacob Faibussowitsch     } while (0)
1462d64ed03dSBarry Smith 
14639371c9d4SSatish Balay   #define PetscFunctionReturnVoid() \
14649371c9d4SSatish Balay     do { \
1465362febeeSStefano Zampini       PetscStackPopNoCheck(PETSC_FUNCTION_NAME); \
146627104ee2SJacob Faibussowitsch       return; \
146727104ee2SJacob Faibussowitsch     } while (0)
146827104ee2SJacob Faibussowitsch #else /* PETSC_USE_DEBUG */
146927104ee2SJacob Faibussowitsch   #define PetscStackPushNoCheck(funct, petsc_routine, hot)
147037154d10SBarry Smith   #define PetscStackUpdateLine
1471792fecdfSBarry Smith   #define PetscStackPushExternal(funct)
147227104ee2SJacob Faibussowitsch   #define PetscStackPopNoCheck
147327104ee2SJacob Faibussowitsch   #define PetscStackClearTop
14743a40ed3dSBarry Smith   #define PetscFunctionBegin
14750bdf7c52SPeter Brune   #define PetscFunctionBeginUser
1476a2f94806SJed Brown   #define PetscFunctionBeginHot
147727104ee2SJacob Faibussowitsch   #define PetscFunctionReturn(a)    return a
14785665465eSBarry Smith   #define PetscFunctionReturnVoid() return
1479812af9f3SBarry Smith   #define PetscStackPop             CHKMEMQ
1480812af9f3SBarry Smith   #define PetscStackPush(f)         CHKMEMQ
148127104ee2SJacob Faibussowitsch #endif /* PETSC_USE_DEBUG */
14823a40ed3dSBarry Smith 
14836d210af2SJacob Faibussowitsch #if defined(PETSC_CLANG_STATIC_ANALYZER)
1484e77caa6dSBarry Smith   #define PetscStackCallExternalVoid(name, routine)
1485792fecdfSBarry Smith   #define PetscCallExternal(func, ...)
14866d210af2SJacob Faibussowitsch #else
1487586f9135SBarry Smith   /*MC
1488e77caa6dSBarry Smith     PetscStackCallExternalVoid - Calls an external library routine or user function after pushing the name of the routine on the stack.
1489eb6b5d47SBarry Smith 
1490eb6b5d47SBarry Smith    Input Parameters:
1491eb6b5d47SBarry Smith +   name - string that gives the name of the function being called
1492586f9135SBarry Smith -   routine - actual call to the routine, for example, functionname(a,b)
1493fd3f9acdSBarry Smith 
1494586f9135SBarry Smith    Level: developer
1495eb6b5d47SBarry Smith 
1496586f9135SBarry Smith    Note:
1497792fecdfSBarry Smith    Often one should use `PetscCallExternal()` instead. This routine is intended for external library routines that DO NOT return error codes
1498eb6b5d47SBarry Smith 
1499586f9135SBarry Smith    In debug mode this also checks the memory for corruption at the end of the function call.
1500586f9135SBarry Smith 
1501586f9135SBarry Smith    Certain external packages, such as BLAS/LAPACK may have their own macros for managing the call, error checking, etc.
1502586f9135SBarry Smith 
1503586f9135SBarry Smith    Developer Note:
1504586f9135SBarry 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.
1505586f9135SBarry Smith 
1506792fecdfSBarry Smith .seealso: `PetscCall()`, `PetscStackPushNoCheck()`, `PetscStackPush()`, `PetscCallExternal()`, `PetscCallBLAS()`
1507586f9135SBarry Smith @*/
15089371c9d4SSatish Balay   #define PetscStackCallExternalVoid(name, routine) \
15099371c9d4SSatish Balay     do { \
15109371c9d4SSatish Balay       PetscStackPush(name); \
15119371c9d4SSatish Balay       routine; \
15129371c9d4SSatish Balay       PetscStackPop; \
15139371c9d4SSatish Balay     } while (0)
1514eb6b5d47SBarry Smith 
1515586f9135SBarry Smith   /*MC
1516792fecdfSBarry Smith     PetscCallExternal - Calls an external library routine that returns an error code after pushing the name of the routine on the stack.
1517fd3f9acdSBarry Smith 
1518fd3f9acdSBarry Smith    Input Parameters:
1519fd3f9acdSBarry Smith +   func-  name of the routine
1520586f9135SBarry Smith -   args - arguments to the routine
1521586f9135SBarry Smith 
1522586f9135SBarry Smith    Level: developer
1523fd3f9acdSBarry Smith 
152495452b02SPatrick Sanan    Notes:
1525e77caa6dSBarry Smith    This is intended for external package routines that return error codes. Use `PetscStackCallExternalVoid()` for those that do not.
1526dbf62e16SBarry Smith 
1527586f9135SBarry Smith    In debug mode this also checks the memory for corruption at the end of the function call.
1528fd3f9acdSBarry Smith 
152987497f52SBarry Smith    Assumes the error return code of the function is an integer and that a value of 0 indicates success
153087497f52SBarry Smith 
1531586f9135SBarry Smith    Developer Note:
1532d5b43468SJose E. Roman    This is so that when an external package routine results in a crash or corrupts memory, they get blamed instead of PETSc.
1533586f9135SBarry Smith 
1534e77caa6dSBarry Smith .seealso: `PetscCall()`, `PetscStackPushNoCheck()`, `PetscStackPush()`, `PetscStackCallExternalVoid()`
1535586f9135SBarry Smith M*/
15369371c9d4SSatish Balay   #define PetscCallExternal(func, ...) \
15379371c9d4SSatish Balay     do { \
1538a74df02fSJacob Faibussowitsch       PetscStackPush(PetscStringize(func)); \
1539a74df02fSJacob Faibussowitsch       PetscErrorCode __ierr = func(__VA_ARGS__); \
15401d4906efSStefano Zampini       PetscStackPop; \
154132771afcSJacob Faibussowitsch       PetscCheck(!__ierr, PETSC_COMM_SELF, PETSC_ERR_LIB, "Error in %s(): error code %d", PetscStringize(func), __ierr); \
1542fd3f9acdSBarry Smith     } while (0)
15436d210af2SJacob Faibussowitsch #endif /* PETSC_CLANG_STATIC_ANALYZER */
154406d1fe2cSBarry Smith 
154506d1fe2cSBarry Smith #endif
1546