On Fri, Jan 23, 2015 at 11:26:44PM +0100, Sam Ravnborg wrote: > + } else if (token->ident == &__COUNTER__ident) { > + static int counter = 0; > + replace_with_integer(token, counter++); Same comment as with the other version of this patch: this shouldn't use a static counter, because it needs to reset for each top-level source file. - Josh Triplett -- To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html