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 /contrib/seg | |
| parent | 62401db45c4feff9be296fa78a8bb7b9947d69de (diff) | |
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 ce5ff31e47c..95139f46318 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) |