config.c: mark die_bad_number as NORETURN
commit12949d047d1de952cc352e435b014130fcc5810d
authorJeff King <peff@peff.net>
Wed, 16 Apr 2014 16:51:47 +0000 (16 12:51 -0400)
committerJohannes Schindelin <johannes.schindelin@gmx.de>
Sat, 10 May 2014 22:13:53 +0000 (10 17:13 -0500)
tree4370435ec928a2a1a507b64bb75d437fa1c172bf
parent9860bbb4ed5e2ea5f49b9d29cbadd145542c6c97
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>
config.c