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 /cfrontend/Cexec.v | |
| parent | e2b4459ccd1b0f8436cb70a631772d715e642dcd (diff) | |
| download | compcert-kvx-f26267c6289e4fa306a0875ff149a00ee401e043.tar.gz compcert-kvx-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 'cfrontend/Cexec.v')
0 files changed, 0 insertions, 0 deletions