mirror of
https://git.postgresql.org/git/postgresql.git
synced 2024-10-02 17:01:20 +02:00
Mark ReThrowError() with attribute noreturn
All related functions were already so marked.
This commit is contained in:
parent
0d2235a25b
commit
26471a51fc
@ -331,7 +331,7 @@ extern void EmitErrorReport(void);
|
|||||||
extern ErrorData *CopyErrorData(void);
|
extern ErrorData *CopyErrorData(void);
|
||||||
extern void FreeErrorData(ErrorData *edata);
|
extern void FreeErrorData(ErrorData *edata);
|
||||||
extern void FlushErrorState(void);
|
extern void FlushErrorState(void);
|
||||||
extern void ReThrowError(ErrorData *edata);
|
extern void ReThrowError(ErrorData *edata) __attribute__((noreturn));
|
||||||
extern void pg_re_throw(void) __attribute__((noreturn));
|
extern void pg_re_throw(void) __attribute__((noreturn));
|
||||||
|
|
||||||
/* Hook for intercepting messages before they are sent to the server log */
|
/* Hook for intercepting messages before they are sent to the server log */
|
||||||
|
Loading…
Reference in New Issue
Block a user