config.c: mark die_bad_number as NORETURN
commitfdfcf013a9accd6236410ed70768a676cabdfca6
authorJeff King <peff@peff.net>
Wed, 16 Apr 2014 16:51:47 +0000 (16 12:51 -0400)
committerStepan Kasal <kasal@ucw.cz>
Thu, 15 May 2014 07:30:52 +0000 (15 09:30 +0200)
tree40ccb6e523efb2172875c8be43b940e662d6fcb6
parent94696668a7cd46bc0a9e43c0496445d227d7bf98
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