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/cube | |
| parent | 62401db45c4feff9be296fa78a8bb7b9947d69de (diff) | |
Add noreturn attributes to some error reporting functions
Diffstat (limited to 'contrib/cube')
| -rw-r--r-- | contrib/cube/cubescan.l | 2 |
1 files changed, 1 insertions, 1 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) |