From 06a1a35d759dc780e389218b5f78ce3415d4b3cd Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Thu, 1 Oct 2015 09:41:06 +0200
Subject: Remove unused globals also from the debug informations.

---
 cparser/Cleanup.ml | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'cparser/Cleanup.ml')

diff --git a/cparser/Cleanup.ml b/cparser/Cleanup.ml
index 254f6fed..c81fd498 100644
--- a/cparser/Cleanup.ml
+++ b/cparser/Cleanup.ml
@@ -184,6 +184,11 @@ let saturate p =
 
 (* Remove unreferenced definitions *)
 
+let remove_unused_debug =  function
+  | Gdecl (_,id,_,_) ->  Debug.remove_unused id
+  | Gfundef f -> Debug.remove_unused f.fd_name
+  | _ -> ()    
+
 let rec simpl_globdecls accu = function
   | [] -> accu
   | g :: rem ->
@@ -199,7 +204,7 @@ let rec simpl_globdecls accu = function
         | Gpragma s -> true in
       if need
       then simpl_globdecls (g :: accu) rem
-      else simpl_globdecls accu rem
+      else begin remove_unused_debug g.gdesc; simpl_globdecls accu rem end
 
 let program p =
   referenced := IdentSet.empty;
-- 
cgit