diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-08-17 11:05:56 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-08-17 11:05:56 +0200 |
| commit | b1a059251053a061d98e4b440bfab40ffd8761c7 (patch) | |
| tree | 386d060186662ec65c3fbed316f644946a2bb5a6 /driver/Configuration.mli | |
| parent | b08fd2ea809b87af8551ff6bc50e544209798d24 (diff) | |
| download | compcert-b1a059251053a061d98e4b440bfab40ffd8761c7.tar.gz compcert-b1a059251053a061d98e4b440bfab40ffd8761c7.zip | |
Catch attribute excpetion in _Alignas elab
The exception Wrong_attr_arg raised is now catched during the
translation of the wrong _Alignas attributes.
Bug 19568.
Diffstat (limited to 'driver/Configuration.mli')
0 files changed, 0 insertions, 0 deletions