The goal of this series is to avoid list corruption that may happen with pseudo-users when deleting one while doing nested ptrlist walking. This can occurs with mutually recursive calls: remove_usage() - kill_instruction() - remove_usage() - ... Luc Van Oostenryck (4): ptrlist: add a counter for the number of removed elemnets ptrlist: adjust ptr_list_size for the new ->rm field ptrlist: add MARK_CURRENT_DELETED mark pseudo users as deleted instead of removing them flow.c | 28 ++++++++++++++++++++++------ linearize.c | 2 ++ memops.c | 5 ++++- ptrlist.c | 2 +- ptrlist.h | 11 ++++++++++- simplify.c | 10 ++++++++-- unssa.c | 2 ++ 7 files changed, 49 insertions(+), 11 deletions(-) -- 2.13.2 -- 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
