The goal of this series is to add te missing examination of the base type in evaluate_dereference(). Luc Van Oostenryck (2): add test case unexamined base type fix: evaluate_dereference() unexamined base type evaluate.c | 2 +- validation/bugs/unexamined-base-type-00.c | 28 ++++++++++++++++++++++++++++ 2 files changed, 29 insertions(+), 1 deletion(-) create mode 100644 validation/bugs/unexamined-base-type-00.c The series is available for testing at: git://github.com/lucvoo/sparse-dev.git fix-unexamined -- Luc Van Oostenryck -- 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