Re: [RFC PATCH 00/48] fix promotion of symbol to register

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



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



[Index of Archives]     [Newbies FAQ]     [LKML]     [IETF Annouce]     [DCCP]     [Netdev]     [Networking]     [Security]     [Bugtraq]     [Yosemite]     [MIPS Linux]     [ARM Linux]     [Linux Security]     [Linux RAID]     [Linux SCSI]     [Trinity Fuzzer Tool]

  Powered by Linux