diff options
| author | Peter Eisentraut <peter_e@gmx.net> | 2013-02-12 07:13:22 -0500 |
|---|---|---|
| committer | Peter Eisentraut <peter_e@gmx.net> | 2013-02-12 07:13:22 -0500 |
| commit | 0cb1fac3b19f01025b63d2cdceabb8767185da28 (patch) | |
| tree | 05cddf0e4d15240b6a2e230d29f0edde4b538419 /contrib/seg | |
| parent | 62401db45c4feff9be296fa78a8bb7b9947d69de (diff) | |
| download | postgresql-0cb1fac3b19f01025b63d2cdceabb8767185da28.tar.gz | |
Add noreturn attributes to some error reporting functions
Diffstat (limited to 'contrib/seg')
| -rw-r--r-- | contrib/seg/segscan.l | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/seg/segscan.l b/contrib/seg/segscan.l index ce5ff31e47..95139f4631 100644 --- a/contrib/seg/segscan.l +++ b/contrib/seg/segscan.l @@ -59,7 +59,7 @@ float ({integer}|{real})([eE]{integer})? %% -void +void __attribute__((noreturn)) yyerror(const char *message) { if (*yytext == YY_END_OF_BUFFER_CHAR) |