On Wed, Jul 19, 2017 at 3:51 PM, Luc Van Oostenryck <luc.vanoostenryck@xxxxxxxxx> wrote: > > Some add_user() can be called in this loop. so it's just a question > to some input code complex enough to have an add_user() > done on the same pseudo as the one concerned in the outer > loop. Can you point me to a call stack that trigger the add_user()? I have run the full kernel compile did not trigger it. The other two nested loop delete was catches within the first 15 files or so. > I stated several times that the only real solution will be to mark the > elements as being deleted (and only effectively delete them in some > safe situations) exactly like it is done for instruction (which are probably > the type the most often deleted from lists. Trying to effectively > removing them from lists like it is currently done for the others types > would most probably fail in the most horrible ways). > It's a simple & clean solution, provably correct in *all* situations. > But I don't remember having seen any replies from you on this subject. That is because you are away and you did not read through the email. I did comment on it. It doesn't correct in *all* situations. We need bigger hammer. I locate it out for you. http://marc.info/?l=linux-sparse&m=149987902920449&w=3 ==========quote================ Even Luc's suggestion for "mark and sweep" to delete the ptrlist is not going to help with the nested loop split. I will add that check. I don't expect new offenders but let's make sure about it. ==========end quote============= http://marc.info/?l=linux-sparse&m=149969288517115&w=3 =============quote=============== > I earlier suggested to instead change the way elements are 'deleted' > (like instructions are already never removed from their list but > just marked as deleted). That looks simple but it has hidden complications as well. The issue is that we need to find out which list need this kind of special treatment. Who is the outer loop. If the same function can be both call as the outer loop and inner loop then it is complicate to decide when it should do the finalize. There is also the price to pay for walking the list twice which does not exist if nested loop can be avoided. =============end quote============== 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
