diff options
| author | Peter Eisentraut | 2013-02-12 12:13:22 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2013-02-12 12:13:22 +0000 |
| commit | 0cb1fac3b19f01025b63d2cdceabb8767185da28 (patch) | |
| tree | 05cddf0e4d15240b6a2e230d29f0edde4b538419 /src/backend | |
| parent | 62401db45c4feff9be296fa78a8bb7b9947d69de (diff) | |
Add noreturn attributes to some error reporting functions
Diffstat (limited to 'src/backend')
| -rw-r--r-- | src/backend/replication/repl_scanner.l | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/backend/replication/repl_scanner.l b/src/backend/replication/repl_scanner.l index a124498306..b4743e6357 100644 --- a/src/backend/replication/repl_scanner.l +++ b/src/backend/replication/repl_scanner.l @@ -152,7 +152,7 @@ addlitchar(unsigned char ychar) appendStringInfoChar(&litbuf, ychar); } -void +void __attribute__((noreturn)) yyerror(const char *message) { ereport(ERROR, |