The function check_access() can isseus several warnings for the same instruction. This is annoying and useless. This 2-patches series allows to restricy such warning to a single one per-instruction. Luc Van Oostenryck (2): add a field 'tainted' to struct instruction taint: let check_access() warn just once flow.c | 6 +++++- linearize.h | 3 ++- validation/check_access-multi.c | 15 +++++++++++++++ 3 files changed, 22 insertions(+), 2 deletions(-) create mode 100644 validation/check_access-multi.c -- 2.16.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
