diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-08-17 12:34:28 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-08-17 12:34:28 +0200 |
| commit | e2b4459ccd1b0f8436cb70a631772d715e642dcd (patch) | |
| tree | 22f9d82330c64b20cdcf506e09e2d253e907981e /driver/Configuration.mli | |
| parent | 0f9d824914c9dff0bf5d983ab387a5b5326307fc (diff) | |
| download | compcert-kvx-e2b4459ccd1b0f8436cb70a631772d715e642dcd.tar.gz compcert-kvx-e2b4459ccd1b0f8436cb70a631772d715e642dcd.zip | |
Exit earlier on empty union.
Instead of a warning for an empty union CompCert reports an error
and exits. This avoids problems during the generation of
initializers for these.
Bug 19565.
Diffstat (limited to 'driver/Configuration.mli')
0 files changed, 0 insertions, 0 deletions