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 /common/Sections.mli | |
| parent | 039b532ae972292ec2f726505422afd49569b738 (diff) | |
| download | compcert-kvx-14f89bf9c397a4268d2b47418de234992b008d6c.tar.gz compcert-kvx-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 'common/Sections.mli')
| -rw-r--r-- | common/Sections.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/common/Sections.mli b/common/Sections.mli index bc97814d..d9fd9239 100644 --- a/common/Sections.mli +++ b/common/Sections.mli @@ -46,7 +46,7 @@ val define_section: -> ?writable:bool -> ?executable:bool -> ?access:access_mode -> unit -> unit val use_section_for: AST.ident -> string -> bool -val for_variable: Env.t -> AST.ident -> C.typ -> bool -> +val for_variable: Env.t -> C.location -> AST.ident -> C.typ -> bool -> section_name * access_mode -val for_function: Env.t -> AST.ident -> C.attributes -> section_name list +val for_function: Env.t -> C.location -> AST.ident -> C.attributes -> section_name list val for_stringlit: unit -> section_name |