| Message ID | 20161102214509.36571-3-luc.vanoostenryck@gmail.com (mailing list archive) |
|---|---|
| State | Mainlined, archived |
| Headers | show |
On Thu, Nov 3, 2016 at 5:45 AM, Luc Van Oostenryck <luc.vanoostenryck@gmail.com> wrote: > These tests must fail because some errors which should > be detected are not. > But the test suite lack to see that because those tests > don't have the check-error-start/end section. > > Add such a section (with madeup error message) so that the > testsuite now properly see and report the failure. Applied. Chris -- To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
diff --git a/validation/badtype1.c b/validation/badtype1.c index ced7f9f1..b15cb50e 100644 --- a/validation/badtype1.c +++ b/validation/badtype1.c @@ -3,4 +3,8 @@ static void foo(enum bar baz); /* * check-name: enum not in scope * check-known-to-fail + * + * check-error-start +badtype1.c:1:22: warning: bad scope for 'enum bar' + * check-error-end */ diff --git a/validation/struct-ns2.c b/validation/struct-ns2.c index 4dd2c3bf..c5afbb71 100644 --- a/validation/struct-ns2.c +++ b/validation/struct-ns2.c @@ -16,4 +16,10 @@ h (void) /* * check-name: struct not in scope * check-known-to-fail + * + * check-error-start +struct-ns2.c:2:11: warning: bad scope for 'struct Bar' +struct-ns2.c:12:14: error: incomplete type/unknown size for 'y' +struct-ns2.c:13:5: error: using member 'i' in incomplete 'struct Bar' + * check-error-end */
These tests must fail because some errors which should be detected are not. But the test suite lack to see that because those tests don't have the check-error-start/end section. Add such a section (with madeup error message) so that the testsuite now properly see and report the failure. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com> --- validation/badtype1.c | 4 ++++ validation/struct-ns2.c | 6 ++++++ 2 files changed, 10 insertions(+)