diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-08-18 09:46:23 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-08-18 09:46:23 +0200 |
commit | f26267c6289e4fa306a0875ff149a00ee401e043 (patch) | |
tree | dd7dbc39fb89fd0e08bf39ef7683950ad7303c4a /cparser/validator/Validator_complete.v | |
parent | e2b4459ccd1b0f8436cb70a631772d715e642dcd (diff) | |
download | compcert-f26267c6289e4fa306a0875ff149a00ee401e043.tar.gz compcert-f26267c6289e4fa306a0875ff149a00ee401e043.zip |
Disallow void as type for variables.
This allows problems in elaboration of the initializers for
variables of void type.
Bug 19577.
Diffstat (limited to 'cparser/validator/Validator_complete.v')
0 files changed, 0 insertions, 0 deletions