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 | |
| parent | 62401db45c4feff9be296fa78a8bb7b9947d69de (diff) | |
Add noreturn attributes to some error reporting functions
Diffstat (limited to 'contrib')
| -rw-r--r-- | contrib/cube/cubescan.l | 2 | ||||
| -rw-r--r-- | contrib/seg/segscan.l | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/contrib/cube/cubescan.l b/contrib/cube/cubescan.l index a74eb4ba37e..8f917cd33ad 100644 --- a/contrib/cube/cubescan.l +++ b/contrib/cube/cubescan.l @@ -60,7 +60,7 @@ float ({integer}|{real})([eE]{integer})? %% -void +void __attribute__((noreturn)) yyerror(const char *message) { if (*yytext == YY_END_OF_BUFFER_CHAR) 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) |