diff options
author | Jeff King <peff@peff.net> | 2014-04-16 12:51:47 -0400 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2014-04-16 10:21:14 -0700 |
commit | 06bdc23b7e5b20ab06bf0feb3d463d032978992f (patch) | |
tree | 80e533b57e329ac6234d1a14cb9696ce240cb705 /config.c | |
parent | Git 1.8.5.5 (diff) | |
download | tgif-06bdc23b7e5b20ab06bf0feb3d463d032978992f.tar.xz |
config.c: mark die_bad_number as NORETURN
This can help avoid -Wuninitialized false positives in
git_config_int and git_config_ulong, as the compiler now
knows that we do not return "ret" if we hit the error
codepath.
Signed-off-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'config.c')
-rw-r--r-- | config.c | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -552,6 +552,7 @@ int git_parse_ulong(const char *value, unsigned long *ret) return 1; } +NORETURN static void die_bad_number(const char *name, const char *value) { const char *reason = errno == ERANGE ? |