Message ID | 20170823201554.90551-7-luc.vanoostenryck@gmail.com (mailing list archive) |
---|---|
State | Superseded, archived |
Headers | show |
diff --git a/validation/bad-return-type.c b/validation/bad-return-type.c new file mode 100644 index 000000000..0f3b3f516 --- /dev/null +++ b/validation/bad-return-type.c @@ -0,0 +1,19 @@ +void foo(int a) +{ + return a; +} + +int bar(void) +{ + return; +} + +/* + * check-name: bad return type + * check-command: sparse -Wno-decl $file + * + * check-error-start +bad-return-type.c:3:16: error: return expression in void function +bad-return-type.c:8:9: error: return with no return value + * check-error-end + */
add test cases for the diagnostic of: - void function returning an integer - int function returning with a bare 'return' Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com> --- validation/bad-return-type.c | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100644 validation/bad-return-type.c