diff options
| author | Tom Lane <tgl@sss.pgh.pa.us> | 2017-11-27 20:56:46 -0500 |
|---|---|---|
| committer | Tom Lane <tgl@sss.pgh.pa.us> | 2017-11-27 20:56:46 -0500 |
| commit | 0772c152b9bd02baeca6920c3371fce95e8f13dc (patch) | |
| tree | b848b3e13a892ab2237130514ee290138cce0670 /src/bin/initdb/initdb.c | |
| parent | cb03fa33aeaea4775b9f3437a2240de4ac9cb630 (diff) | |
| download | postgresql-0772c152b9bd02baeca6920c3371fce95e8f13dc.tar.gz postgresql-0772c152b9bd02baeca6920c3371fce95e8f13dc.zip | |
Mark some more functions as pg_attribute_noreturn().
Doing this suppresses Coverity warnings and might allow improved
code in some cases. The prospects of that are not so bright as
to warrant back-patching, though.
Michael Paquier, per Coverity
Diffstat (limited to 'src/bin/initdb/initdb.c')
| -rw-r--r-- | src/bin/initdb/initdb.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/bin/initdb/initdb.c b/src/bin/initdb/initdb.c index bb2bc065ef9..ad0d0e2ac09 100644 --- a/src/bin/initdb/initdb.c +++ b/src/bin/initdb/initdb.c @@ -237,7 +237,7 @@ static char **filter_lines_with_token(char **lines, const char *token); static char **readfile(const char *path); static void writefile(char *path, char **lines); static FILE *popen_check(const char *command, const char *mode); -static void exit_nicely(void); +static void exit_nicely(void) pg_attribute_noreturn(); static char *get_id(void); static int get_encoding_id(const char *encoding_name); static void set_input(char **dest, const char *filename); |