aboutsummaryrefslogtreecommitdiffstats
path: root/cparser/PackedStructs.ml
diff options
context:
space:
mode:
authorBernhard Schommer <bernhardschommer@gmail.com>2016-03-15 15:07:47 +0100
committerBernhard Schommer <bernhardschommer@gmail.com>2016-03-15 15:07:47 +0100
commit272a5b812b72f4c3e409ccdbeaf3476d95c4b552 (patch)
tree6a8d5e75a11860b69522cef3b512b1ef5effb438 /cparser/PackedStructs.ml
parent2185164c1845c30ebd4118ed5bc8d339b16663a9 (diff)
downloadcompcert-kvx-272a5b812b72f4c3e409ccdbeaf3476d95c4b552.tar.gz
compcert-kvx-272a5b812b72f4c3e409ccdbeaf3476d95c4b552.zip
Deactivate warning 27 and added back removed code.
The code was mostly there for documentation effort. So warning 27 is deactivated again. Bug 18349
Diffstat (limited to 'cparser/PackedStructs.ml')
-rw-r--r--cparser/PackedStructs.ml8
1 files changed, 4 insertions, 4 deletions
diff --git a/cparser/PackedStructs.ml b/cparser/PackedStructs.ml
index 6a60dfb8..aafa1caa 100644
--- a/cparser/PackedStructs.ml
+++ b/cparser/PackedStructs.ml
@@ -129,8 +129,8 @@ let transf_composite loc env su id attrs ml =
let lookup_function env name =
match Env.lookup_ident env name with
- | (id, II_ident(_, ty)) -> (id, ty)
- | (_, II_enum _) -> raise (Env.Error(Env.Unbound_identifier name))
+ | (id, II_ident(sto, ty)) -> (id, ty)
+ | (id, II_enum _) -> raise (Env.Error(Env.Unbound_identifier name))
(* Type for the access *)
@@ -387,7 +387,7 @@ let rec transf_globdecls env accu = function
| [] -> List.rev accu
| g :: gl ->
match g.gdesc with
- | Gdecl((sto, id, ty, _) as d) ->
+ | Gdecl((sto, id, ty, init) as d) ->
transf_globdecls
(Env.add_ident env id sto ty)
({g with gdesc = Gdecl(transf_decl g.gloc env d)} :: accu)
@@ -422,7 +422,7 @@ let rec transf_globdecls env accu = function
(Env.add_enum env id {ei_members = el; ei_attr = attr})
(g :: accu)
gl
- | Gpragma _ ->
+ | Gpragma p ->
transf_globdecls env (g :: accu) gl
(* Program *)