On Sat, Aug 12, 2017 at 5:26 PM, Christopher Li <sparse@xxxxxxxxxxx> wrote: > 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. No disagreement here. -- Luc -- 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
