diff options
author | Bernhard Schommer <bschommer@users.noreply.github.com> | 2020-03-29 11:35:58 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-03-29 11:35:58 +0200 |
commit | 14f89bf9c397a4268d2b47418de234992b008d6c (patch) | |
tree | b8a4c89a7762d00121a71308bfb99d0af9b487f9 /driver/Frontend.ml | |
parent | 039b532ae972292ec2f726505422afd49569b738 (diff) | |
download | compcert-14f89bf9c397a4268d2b47418de234992b008d6c.tar.gz compcert-14f89bf9c397a4268d2b47418de234992b008d6c.zip |
Explicit error messages for ill-formed section attributes (#232)
Introduce an error message for section attributes with non string
arguments,and another for multiple, ambiguous section attributes.
This is more consistent with the handling of other
attributes, like packed, than the old behavior of silently
ignoring them.
Diffstat (limited to 'driver/Frontend.ml')
0 files changed, 0 insertions, 0 deletions