diff options
| author | Jacob Garber <jgarber1@ualberta.ca> | 2019-07-01 12:13:48 -0600 |
|---|---|---|
| committer | Martin Roth <martinroth@google.com> | 2019-07-07 20:55:59 +0000 |
| commit | 96e0ce30dbcdf709c92ef40ca9cfee0895b712ac (patch) | |
| tree | 412c940206ea5cc8de52f00aa0ae9e6b7c9d0437 | |
| parent | b592917dcf395183fbf8070c74e8344880f9b450 (diff) | |
util/nvramtool: Mark out_of_memory() as noreturn
This silences several false positives from scan-build.
Change-Id: I327a967c75d6aeec0b3aba16ee696dbae8cf997d
Signed-off-by: Jacob Garber <jgarber1@ualberta.ca>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/33950
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: HAOUAS Elyes <ehaouas@noos.fr>
Reviewed-by: Martin Roth <martinroth@google.com>
| -rw-r--r-- | util/nvramtool/common.c | 2 | ||||
| -rw-r--r-- | util/nvramtool/common.h | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/util/nvramtool/common.c b/util/nvramtool/common.c index 8ae6ea86f7..9b0a6b95ba 100644 --- a/util/nvramtool/common.c +++ b/util/nvramtool/common.c @@ -56,7 +56,7 @@ int get_line_from_file(FILE * f, char line[], int line_buf_size) * * We ran out of memory. Print an error message and die. ****************************************************************************/ -void out_of_memory(void) +_Noreturn void out_of_memory(void) { fprintf(stderr, "%s: Out of memory.\n", prog_name); exit(1); diff --git a/util/nvramtool/common.h b/util/nvramtool/common.h index 559e80f12b..19ce5666a7 100644 --- a/util/nvramtool/common.h +++ b/util/nvramtool/common.h @@ -76,7 +76,7 @@ extern const char prog_name[]; extern const char prog_version[]; int get_line_from_file(FILE * f, char line[], int line_buf_size); -void out_of_memory(void); +_Noreturn void out_of_memory(void); void usage(FILE * outfile); #endif /* COMMON_H */ |