diff options
| author | Bernhard Schommer <bschommer@users.noreply.github.com> | 2017-10-17 12:54:13 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-17 12:54:13 +0200 |
| commit | a0f238a3d270edd7042d9852d43e3ec5b9602af2 (patch) | |
| tree | 8209f90d0862f2971ea9803e887439d046138b7a /exportclight | |
| parent | ccf1983c3fe334fa82fa81ff7e3067e93b3d6c0c (diff) | |
| download | compcert-kvx-a0f238a3d270edd7042d9852d43e3ec5b9602af2.tar.gz compcert-kvx-a0f238a3d270edd7042d9852d43e3ec5b9602af2.zip | |
Check recursively for const for modifiable lvalues (#32)
Check recursively for const for modifiable lvalues
According to 6.3.2.1 a modifiable lvalue is an lvalue that does
have a const-qualified type, and if it is a union or structure it
does not have any member, including any member of all contained
strutures or union, with a const-qualified type.
The new check for modifiable lvalue additionally checks this now
instead of only testing for toplevel const.
Bug 22420
Diffstat (limited to 'exportclight')
0 files changed, 0 insertions, 0 deletions