diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-08-19 10:19:11 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-08-19 10:19:11 +0200 |
| commit | 98427e8d2e51b1b7590bbde3fc18c49ff7dd8e13 (patch) | |
| tree | 4788e5c92252dea1767da7e31611fc0a1404822e /cfrontend | |
| parent | f26267c6289e4fa306a0875ff149a00ee401e043 (diff) | |
| download | compcert-98427e8d2e51b1b7590bbde3fc18c49ff7dd8e13.tar.gz compcert-98427e8d2e51b1b7590bbde3fc18c49ff7dd8e13.zip | |
Exit earlier on invalid alignof and sizeof.
Alginof and sizeof applied to incomplete types now exit earlier
with a fatal error.
Bug 19594.
Diffstat (limited to 'cfrontend')
0 files changed, 0 insertions, 0 deletions