On Thu, Jul 06, 2017 at 11:02:24PM -0700, Christopher Li wrote: > On Thu, Jul 6, 2017 at 10:44 PM, Luc Van Oostenryck > <luc.vanoostenryck@xxxxxxxxx> wrote: > > Mmmm ... > > > > I really don't like this kind of solution. > > The ptrlist is already fragile and now it would contains > > yet another field that need to be taken care of *and* stay > > coherent with other users. I doubt this will help to reduce bugs. > > You totally miss the point. This patch is not a final solution. > I am not suggesting submit this patch as it is. > > It is mean to expose existing bugs. Ah, OK. > Go try this patch with a "make check". It has over one hundreds fails. I'll do, later (just wakeup here). > Those are real bugs. The current big offender is remove_usage() inside > of the kill_use_list(). It might relate to your code as well. Can you help me > take a look at the offender? Yes, of course I'll help with this. And yes, I added a bunch of these remove_use() with the recursive call to kill_instruction() which I never liked much but solved a bunch of things. -- Luc -- 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
