diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-08-16 12:06:39 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-09-18 16:01:31 +0200 |
| commit | 706cde1695b05e6f9dc842886afc4a1a15af67e9 (patch) | |
| tree | dd390ec980cdd63efc154c3906e0ed302403ee77 /validation | |
| parent | f448769d2dca82b708667b48e27e5158d2a707f1 (diff) | |
| download | sparse-dev-706cde1695b05e6f9dc842886afc4a1a15af67e9.tar.gz | |
add test case for bad return type
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>
Diffstat (limited to 'validation')
| -rw-r--r-- | validation/bad-return-type.c | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/validation/bad-return-type.c b/validation/bad-return-type.c new file mode 100644 index 00000000..0f3b3f51 --- /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 + */ |