This series fixes a bug occurring when code contains an unsed statement. In this case, not only the label is ignored, but the following statement is also erroneously discarded together with the label. This can be easily verified by inspecting the output of test-linearize but can't be tested directly with the current test suite. So patches 1 & 2 contain two small improvements to the test suite that allow to test this sort of thing directly, the fix itself and its test are in patch 3. Luc Van Oostenryck (3): testsuite: add tag to ignore the output/error testsuite: check patterns presence or absence in output fix discarded label statement Documentation/test-suite | 16 ++++++++++ linearize.c | 2 +- validation/discarded-label-statement.c | 24 +++++++++++++++ validation/test-suite | 54 ++++++++++++++++++++++++++++++++++ 4 files changed, 95 insertions(+), 1 deletion(-) create mode 100644 validation/discarded-label-statement.c -- 2.10.1 -- 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
