diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-13 10:29:01 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-13 10:29:01 +0200 |
commit | 09ca4e17ad5cd9bd4d7a6eada42f450a92987226 (patch) | |
tree | b9e12b30d2d21911cce74ee11736579134d40fc2 /debug | |
parent | 3b0bbd7a60771265ff81cc98310d413130ae4d79 (diff) | |
download | compcert-09ca4e17ad5cd9bd4d7a6eada42f450a92987226.tar.gz compcert-09ca4e17ad5cd9bd4d7a6eada42f450a92987226.zip |
Removed unused function.
The function exists_type is not really used so we can remove it.
Bug 17392.
Diffstat (limited to 'debug')
-rw-r--r-- | debug/DebugInformation.ml | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/debug/DebugInformation.ml b/debug/DebugInformation.ml index 0f9c8ff3..96f55f40 100644 --- a/debug/DebugInformation.ml +++ b/debug/DebugInformation.ml @@ -62,12 +62,6 @@ let typ_to_string (ty: typ) = (* Helper functions for the attributes *) let strip_attributes typ = strip_attributes_type typ [AConst; AVolatile] -(* Does the type already exist? *) -let exist_type (ty: typ) = - (* We are only interrested in Const and Volatile *) - let ty = strip_attributes ty in - Hashtbl.mem lookup_types (typ_to_string ty) - (* Find the type id to an type *) let find_type (ty: typ) = (* We are only interrested in Const and Volatile *) @@ -227,6 +221,7 @@ let name_to_definition: (string,int) Hashtbl.t = Hashtbl.create 7 (* Mapping from atom to debug id *) let atom_to_definition: (atom, int) Hashtbl.t = Hashtbl.create 7 +(* Various lookup functions for defintions *) let find_gvar_stamp id = let id = (Hashtbl.find stamp_to_definition id) in let var = Hashtbl.find definitions id in @@ -636,4 +631,4 @@ let init name = Hashtbl.reset scope_ranges; Hashtbl.reset label_translation; all_files := StringSet.singleton name; - printed_vars := StringSet.empty; + printed_vars := StringSet.empty |