diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-11-18 17:18:47 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-11-18 21:57:59 +0100 |
| commit | fd1491b217595b1da31a7c72303cbffff0aba56a (patch) | |
| tree | e0bf0760205d82229807b5389e192db72e4de8eb /validation/eval | |
| parent | a624f755195c4d69b4ad554ec0fe88e2e8efe70d (diff) | |
| download | sparse-dev-fd1491b217595b1da31a7c72303cbffff0aba56a.tar.gz | |
unqual: statement expressions should drop qualifiers
Statement expressions should be subjected to lvalue-conversion
and thus should drop qualifiers.
Fix this by calling unqualify_type() after array-to-pointer
conversion.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/eval')
| -rw-r--r-- | validation/eval/unqual-stmt-expr.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/validation/eval/unqual-stmt-expr.c b/validation/eval/unqual-stmt-expr.c index bac6cb6b..280c2fe8 100644 --- a/validation/eval/unqual-stmt-expr.c +++ b/validation/eval/unqual-stmt-expr.c @@ -9,5 +9,4 @@ int *foo(volatile int x) /* * check-name: unqual-stmt-expr - * check-known-to-fail */ |