This serie aims to detect incorrect types used in conditionals. Patch 1 fix a test case where a void was used ina conditional. Patch 2 is an helper for the next patch. Patch 3 do the validation. Luc Van Oostenryck (3): fix conditional context test case with void add helper: is_scalar_type() validate expression's type in conditionals evaluate.c | 5 +++ symbol.h | 22 ++++++++++ validation/conditional-type.c | 99 +++++++++++++++++++++++++++++++++++++++++++ validation/context.c | 2 +- 4 files changed, 127 insertions(+), 1 deletion(-) create mode 100644 validation/conditional-type.c -- 2.11.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
