On Sun, Aug 27, 2017 at 12:40 AM, Christopher Li <sparse@xxxxxxxxxxx> wrote: > On Wed, Aug 23, 2017 at 4:15 PM, Luc Van Oostenryck > <luc.vanoostenryck@xxxxxxxxx> wrote: >> >> git://github.com/lucvoo/sparse.git mem2reg >> > > Hi Luc, I did not see your mem2reg branch on github. > Did you push it on github? > > Sorry haven't have chance to get to it earlier. Hmm, with all the patch applied. sparse seems takes forever on two files of the full kernel check stress test. It looks like it is in a deadloop. sound/pci/hda/hda_generic.c drivers/block/drbd/drbd_receiver.c 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