diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2019-11-18 22:34:41 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2019-11-19 21:05:56 +0100 |
| commit | 009181de300b2f0e6f9e64d4694e07aa12808c57 (patch) | |
| tree | 869ba7208ffb2f1b8d965ba761c3f44e8a291f0c /validation | |
| parent | 2c5eeff0f1741761196b8b2cfc86b71ef9ef9548 (diff) | |
| download | sparse-dev-009181de300b2f0e6f9e64d4694e07aa12808c57.tar.gz | |
fix assignment check with function attribute
It's OK to assign a non-qualified type to the corresponding
const- or -volatile-qualified type (same for 'restrict').
For modifiers like __pure or __noreturn, it's the opposite:
it's OK to assign the qualified version to the corresponding
non-qualified type.
Allow this by using type_difference() with the appropriate mask
when checking assignments.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation')
0 files changed, 0 insertions, 0 deletions