diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-04-01 12:17:20 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-04-01 12:17:20 +0200 |
commit | 8fa20fb6701a380835eed29770aafd3f087ebad8 (patch) | |
tree | 7629aa3b8721835b298f2aa998dbab9e49171b4e /backend/PrintAnnot.ml | |
parent | 035047ca6c4f62c8481ffa9e4cc0783ea6a1b784 (diff) | |
download | compcert-8fa20fb6701a380835eed29770aafd3f087ebad8.tar.gz compcert-8fa20fb6701a380835eed29770aafd3f087ebad8.zip |
Print all files ever encountered in the filenum.
Diffstat (limited to 'backend/PrintAnnot.ml')
-rw-r--r-- | backend/PrintAnnot.ml | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/backend/PrintAnnot.ml b/backend/PrintAnnot.ml index 26f96370..7b0c1083 100644 --- a/backend/PrintAnnot.ml +++ b/backend/PrintAnnot.ml @@ -21,6 +21,13 @@ open AST open Memdata open Asm +(** All files used in the debug entries *) +module StringSet = Set.Make(String) +let all_files : StringSet.t ref = ref StringSet.empty +let add_file file = + all_files := StringSet.add file !all_files + + (** Line number annotations *) let filename_info : (string, int * Printlines.filebuf option) Hashtbl.t |