diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-07-18 18:09:35 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-07-18 18:09:35 +0200 |
| commit | a30da6a51cc240ca1c6966db1b77cf24e0701758 (patch) | |
| tree | 56f0c51205da1dcb0c46afb2d21bf28935cd7542 /validation | |
| parent | 92d7f58c411120eb5bc4f90a0dad6aa228249c6c (diff) | |
| parent | 14b55d27ee7d577be66c60a457f0e80a28ef274d (diff) | |
| download | sparse-dev-a30da6a51cc240ca1c6966db1b77cf24e0701758.tar.gz | |
Merge branch 'empty-expr'
* warn on empty assignments & initializations
Diffstat (limited to 'validation')
| -rw-r--r-- | validation/bad-assignment.c | 1 | ||||
| -rw-r--r-- | validation/empty-assign.c | 13 | ||||
| -rw-r--r-- | validation/empty-initializer.c | 9 |
3 files changed, 23 insertions, 0 deletions
diff --git a/validation/bad-assignment.c b/validation/bad-assignment.c index 71938db7..959712be 100644 --- a/validation/bad-assignment.c +++ b/validation/bad-assignment.c @@ -8,6 +8,7 @@ static int foo(int a) * check-name: bad assignment * * check-error-start +bad-assignment.c:3:11: error: expression expected before '\' bad-assignment.c:3:13: error: Expected ; at end of statement bad-assignment.c:3:13: error: got \ * check-error-end diff --git a/validation/empty-assign.c b/validation/empty-assign.c new file mode 100644 index 00000000..d1c3884f --- /dev/null +++ b/validation/empty-assign.c @@ -0,0 +1,13 @@ +static int foo(int a) +{ + a = ; // KO + return a; +} + +/* + * check-name: empty-assign + * + * check-error-start +empty-assign.c:3:11: error: expression expected before ';' + * check-error-end + */ diff --git a/validation/empty-initializer.c b/validation/empty-initializer.c new file mode 100644 index 00000000..95067999 --- /dev/null +++ b/validation/empty-initializer.c @@ -0,0 +1,9 @@ +static int i = ; // KO + +/* + * check-name: empty-initializer + * + * check-error-start +empty-initializer.c:1:16: error: expression expected before ';' + * check-error-end + */ |