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 /lib/Postorder.v | |
parent | ccf1983c3fe334fa82fa81ff7e3067e93b3d6c0c (diff) | |
download | compcert-a0f238a3d270edd7042d9852d43e3ec5b9602af2.tar.gz compcert-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 'lib/Postorder.v')
0 files changed, 0 insertions, 0 deletions