This two patches series contains a fix for the evaluation of dereferences which, in some cases, can be done while the base type is still unexamined. Luc Van Oostenryck (2): add testcases for unexamined base type fix: evaluate_dereference() unexamined base type evaluate.c | 1 + validation/linear/deref-ptr-ptr.c | 26 +++++++++++++++++++++++ validation/linear/unexamined-base-type.c | 36 ++++++++++++++++++++++++++++++++ 3 files changed, 63 insertions(+) create mode 100644 validation/linear/deref-ptr-ptr.c create mode 100644 validation/linear/unexamined-base-type.c -- 2.15.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
