diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-01-14 20:58:43 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-01-14 20:58:43 +0100 |
| commit | 54effdc2bae11f441a34465754e9e43c44b41df9 (patch) | |
| tree | 546e86db82daddc56bb96b3e10437ad5646a1fd0 /debug/DebugInformation.ml | |
| parent | ca055fc22c3b9d0ac6bbd394562933aa3e044c95 (diff) | |
| download | compcert-kvx-54effdc2bae11f441a34465754e9e43c44b41df9.tar.gz compcert-kvx-54effdc2bae11f441a34465754e9e43c44b41df9.zip | |
More unique debug types.
The typdef, enumerator and function_type types form the DebugTypes and
DwarfTypes shared a some fields. This commits renames them in order to
make them more unique and avoid potential name clashes.
Diffstat (limited to 'debug/DebugInformation.ml')
| -rw-r--r-- | debug/DebugInformation.ml | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/debug/DebugInformation.ml b/debug/DebugInformation.ml index be322a55..105b6aad 100644 --- a/debug/DebugInformation.ml +++ b/debug/DebugInformation.ml @@ -116,9 +116,9 @@ let insert_type (ty: typ) = | TVoid _ -> None | _ -> Some (attr_aux t)) in let ftype = { - fun_return_type = ret; - fun_prototyped = prot; - fun_params = param; + fun_type_return_type = ret; + fun_type_prototyped = prot; + fun_type_params = param; } in FunctionType ftype | TNamed (id,_) -> @@ -128,8 +128,8 @@ let insert_type (ty: typ) = Some (attr_aux t) with Not_found -> None in let t = { - typedef_file_loc = None; - typedef_name = id.name; + td_file_loc = None; + td_name = id.name; typ = typ; } in Typedef t @@ -406,14 +406,14 @@ let insert_global_declaration env dec = | Gtypedef (id,t) -> let id = insert_type (TNamed (id,[])) in let tid = insert_type t in - replace_typedef id (fun typ -> {typ with typedef_file_loc = Some dec.gloc; typ = Some tid;}); + replace_typedef id (fun typ -> {typ with td_file_loc = Some dec.gloc; typ = Some tid;}); | Genumdef (n,at,e) -> ignore(insert_type (TEnum (n,at))); let id = find_type (TEnum (n,[])) in let enumerator = List.map (fun (i,c,_) -> { - enumerator_name = i.name; - enumerator_const = c; + e_name = i.name; + e_const = c; }) e in replace_enum id (fun en -> {en with enum_file_loc = Some dec.gloc; enum_enumerators = enumerator;}) |