diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-12 14:37:46 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-12 17:18:07 +0200 |
commit | a68c024bd8421cda0d21802669cb01730d109378 (patch) | |
tree | 14b3d4b2221bd42c3a63c0ff9cb8c9b01b6e8d72 /debug | |
parent | 012827a7cba40f434b9fc6ce1b46dc725473eae7 (diff) | |
download | compcert-a68c024bd8421cda0d21802669cb01730d109378.tar.gz compcert-a68c024bd8421cda0d21802669cb01730d109378.zip |
Do not insert atom to global variable mapping.
The atom to global variable debug id mapping is never used so we
do not need to insert global variables into it.
Bug 17392.
Diffstat (limited to 'debug')
-rw-r--r-- | debug/DebugInformation.ml | 19 |
1 files changed, 1 insertions, 18 deletions
diff --git a/debug/DebugInformation.ml b/debug/DebugInformation.ml index 4c566744..3e40fa41 100644 --- a/debug/DebugInformation.ml +++ b/debug/DebugInformation.ml @@ -473,22 +473,6 @@ let set_bitfield_offset str field offset underlying size = comp.ct_members in {comp with ct_members = members;}) -let atom_global_variable id atom = - try - let id,var = find_gvar_stamp id.stamp in - replace_var id ({var with gvar_atom = Some atom;}); - Hashtbl.add atom_to_definition atom id - with Not_found -> () - -let atom_function id atom = - try - let id',f = find_fun_stamp id.stamp in - replace_fun id' ({f with fun_atom = Some atom;}); - Hashtbl.add atom_to_definition atom id'; - Hashtbl.iter (fun (fid,sid) tid -> if fid = id.stamp then - Hashtbl.add atom_to_scope (atom,sid) tid) scope_to_local - with Not_found -> () - let atom_global id atom = try let id' = (Hashtbl.find stamp_to_definition id.stamp) in @@ -500,8 +484,7 @@ let atom_global id atom = Hashtbl.iter (fun (fid,sid) tid -> if fid = id.stamp then Hashtbl.add atom_to_scope (atom,sid) tid) scope_to_local | GlobalVariable var -> - replace_var id' ({var with gvar_atom = Some atom;}); - Hashtbl.add atom_to_definition atom id' + replace_var id' ({var with gvar_atom = Some atom;}) with Not_found -> () let atom_parameter fid id atom = |