Currently, sparse doesn't give any kind of warning if a typedef is redefined. But typedef redefinition is illegal in C89 & C99 while C11 allow this but only if the type is the same (which seems to also be GCC's semantic for non-pedantic C89/C99). This series implement the C11 semantic and thus sparse will now warn if a typedef is redefined with a different type. Luc Van Oostenryck (3): add testcase for typedef redefinition export check_duplicates() fix: warn on typedef redefinition evaluate.c | 2 +- parse.c | 4 ++++ symbol.h | 1 + validation/typedef-redef-c89.c | 13 +++++++++++++ validation/typedef-redef.c | 13 +++++++++++++ 5 files changed, 32 insertions(+), 1 deletion(-) create mode 100644 validation/typedef-redef-c89.c create mode 100644 validation/typedef-redef.c -- 2.16.3 -- 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
