H Luc, On 27 January 2017 at 17:11, Dibyendu Majumdar <mobile@xxxxxxxxxxxxxxx> wrote: > On 27 January 2017 at 15:59, Van Oostenryck Luc > <luc.vanoostenryck@xxxxxxxxx> wrote: >> I think both problems are already addressed but the patches haven't >> yet been handled. >> >> You may look at: >> - https://patchwork.kernel.org/patch/9469701/ I had a look at the two patches. I think this one is only for comparison operations? So the particular failure I saw will still occur I think. Thanks and 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
