On Tue, May 16, 2017 at 5:02 AM, Jeff King <peff@xxxxxxxx> wrote: > On Tue, May 16, 2017 at 02:11:40AM +0100, Ramsay Jones wrote: > >> >> If you need to re-roll your 'jk/bug-to-abort' branch, could you please >> squash this into the relevant patch (commit d8193743e0 "usage.c: add >> BUG() function", 12-05-2017). >> >> [Just FYI, sparse complains thus: >> usage.c:212:6: error: symbol 'BUG_fl' redeclared with different type >> (originally declared at git-compat-util.h:1076) - different modifiers >> ] > > Hmm. Our model here is the die() function, which gets noreturn and > format attributes in the declaration, but only noreturn at the > definition. It's because a deficiency of sparse: the format attribute is simply ignored while the NORETURN is treated as a 'modifiers' not much different than 'const' or 'extern'. But the real problem here with sparse is that while it indeed compare the declaration with the definition, this is done not by checking compatibility but by strict equality. In other words, the NORETURN, but also a 'static', in the declaration should be somehow inherited in a subsequent definition but sparse doesn't do that yet. -- Luc Van Oostenryck