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>
This commit is contained in:
parent
b592917dcf
commit
96e0ce30db
|
@ -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.
|
* 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);
|
fprintf(stderr, "%s: Out of memory.\n", prog_name);
|
||||||
exit(1);
|
exit(1);
|
||||||
|
|
|
@ -76,7 +76,7 @@ extern const char prog_name[];
|
||||||
extern const char prog_version[];
|
extern const char prog_version[];
|
||||||
|
|
||||||
int get_line_from_file(FILE * f, char line[], int line_buf_size);
|
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);
|
void usage(FILE * outfile);
|
||||||
|
|
||||||
#endif /* COMMON_H */
|
#endif /* COMMON_H */
|
||||||
|
|
Loading…
Reference in New Issue