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 /runtime/arm/i64_smod.S | |
parent | 0f9d824914c9dff0bf5d983ab387a5b5326307fc (diff) | |
download | compcert-e2b4459ccd1b0f8436cb70a631772d715e642dcd.tar.gz compcert-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 'runtime/arm/i64_smod.S')
0 files changed, 0 insertions, 0 deletions