Hi Luc, On 28 December 2017 at 21:40, Luc Van Oostenryck <luc.vanoostenryck@xxxxxxxxx> wrote: > On Thu, Dec 28, 2017 at 09:20:41PM +0000, Dibyendu Majumdar wrote: >> On 28 December 2017 at 21:19, Luc Van Oostenryck >> <luc.vanoostenryck@xxxxxxxxx> wrote: >> > On Thu, Dec 28, 2017 at 09:02:27PM +0000, Dibyendu Majumdar wrote: >> >> Previous thread on this issue: >> >> >> >> https://www.spinics.net/lists/linux-sparse/msg05427.html >> > >> > Ah yes, sorry, I forgot you already specifically reported this one. >> > >> > It should be fixed now. >> > >> >> Well last time I thought the view was that a fix was not needed? What's changed? > > Another case which led to a better understanding of the situation. > I understood that the correct solution was for the symbol to hold the size. https://www.spinics.net/lists/linux-sparse/msg05442.html https://www.spinics.net/lists/linux-sparse/msg05444.html Regards Dibyendu -- 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