On Sat, Aug 12, 2017 at 8:55 AM, Luc Van Oostenryck <luc.vanoostenryck@xxxxxxxxx> wrote: > + if (--max == 0) > + return; I think actually here need to at least report error very loudly. The error message should be clear there is likely a internal bug in sparse. Hopefully the user will report back to the mailing list. Otherwise sparse will be silence and masking the bugs. In that sense, having the dead loop is not that bad compare to masking a dead loop. Silently work around the bug will hurt sparse in the long term. Chris -- 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
