On Thu, Jun 8, 2017 at 12:39 AM, Luc Van Oostenryck <luc.vanoostenryck@xxxxxxxxx> wrote: > The goal of this series is to eliminate dead loads which, > especially the deadborn ones which, until now, weren't > removed. > > This series is also available in the git repository at: > git://github.com/lucvoo/sparse.git kill-dead-loads This 3 patch looks good to me. Thanks, 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
