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 /COPYING | |
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 'COPYING')
0 files changed, 0 insertions, 0 deletions