From 96e0ce30dbcdf709c92ef40ca9cfee0895b712ac Mon Sep 17 00:00:00 2001 From: Jacob Garber Date: Mon, 1 Jul 2019 12:13:48 -0600 Subject: [PATCH] util/nvramtool: Mark out_of_memory() as noreturn This silences several false positives from scan-build. Change-Id: I327a967c75d6aeec0b3aba16ee696dbae8cf997d Signed-off-by: Jacob Garber Reviewed-on: https://review.coreboot.org/c/coreboot/+/33950 Tested-by: build bot (Jenkins) Reviewed-by: HAOUAS Elyes Reviewed-by: Martin Roth --- util/nvramtool/common.c | 2 +- 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 */