diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-08 12:40:12 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-08 12:40:12 +0200 |
| commit | f95b422aaf3f675e1e3b916ac04740a5acaddd02 (patch) | |
| tree | 597092c34a7399fb66975fd857a46a8e02487d22 /debug | |
| parent | e8127be72ffc16f91de51c0b8dca3df0d3bd4745 (diff) | |
| download | compcert-kvx-f95b422aaf3f675e1e3b916ac04740a5acaddd02.tar.gz compcert-kvx-f95b422aaf3f675e1e3b916ac04740a5acaddd02.zip | |
Reset all Hashtables.
Diffstat (limited to 'debug')
| -rw-r--r-- | debug/DebugInformation.ml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/debug/DebugInformation.ml b/debug/DebugInformation.ml index 874dfb77..d1747f8e 100644 --- a/debug/DebugInformation.ml +++ b/debug/DebugInformation.ml @@ -692,9 +692,13 @@ let init name = Hashtbl.reset stamp_to_local; Hashtbl.reset atom_to_local; Hashtbl.reset scope_to_local; + Hashtbl.reset atom_to_scope; Hashtbl.reset compilation_section_start; Hashtbl.reset compilation_section_end; + Hashtbl.reset diab_additional; Hashtbl.reset filenum; + Hashtbl.reset var_locations; + Hashtbl.reset scope_ranges; + Hashtbl.reset label_translation; all_files := StringSet.singleton name; - Hashtbl.reset diab_additional; printed_vars := StringSet.empty; |