The goal of this series is to eliminate some duplicated warnings in order to reduce noise and allow to better focus on the origin of the problem. The series is also available in the Git repository at: git://github.com/lucvoo/sparse-dev.git expr-bad-twice ---------------------------------------------------------------- Luc Van Oostenryck (8): add testcases for duplicated warning about invalid types fix error in bad conditional early return if null ctype in evaluate_conditional() add helper: valid_type() use valid_type to avoid to warn twice on conditionals add helpers: valid_expr_type() & valid_subexpr_type() do not report bad types twice always evaluate both operands evaluate.c | 66 +++++++++++++++++++++++++++----------------- symbol.h | 5 ++++ validation/bad-type-twice0.c | 13 +++++++++ validation/bad-type-twice1.c | 16 +++++++++++ validation/bad-type-twice2.c | 18 ++++++++++++ 5 files changed, 93 insertions(+), 25 deletions(-) create mode 100644 validation/bad-type-twice0.c create mode 100644 validation/bad-type-twice1.c create mode 100644 validation/bad-type-twice2.c -- 2.16.0 -- 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
