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/Driver.ml | |
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/Driver.ml')
0 files changed, 0 insertions, 0 deletions