From bfa278e947a9bacd87b3e08de66216d3569cf8f7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Mon, 24 Jan 2022 13:45:38 +0100
Subject: [PATCH] [kernel] File: optimizes cleanup visitor.
---
src/kernel_services/ast_queries/file.ml | 9 ++++++++-
1 file changed, 8 insertions(+), 1 deletion(-)
diff --git a/src/kernel_services/ast_queries/file.ml b/src/kernel_services/ast_queries/file.ml
index adbf02e8b61..e6e4ef60d7d 100644
--- a/src/kernel_services/ast_queries/file.ml
+++ b/src/kernel_services/ast_queries/file.ml
@@ -991,7 +991,7 @@ let cleanup file =
DoChildren
| GFunDecl(s,_,_) ->
Logic_utils.clear_funspec s;
- DoChildren
+ SkipChildren
| GType _ | GCompTag _ | GCompTagDecl _ | GEnumTag _
| GEnumTagDecl _ | GVar _ | GVarDecl _ | GAsm _ | GPragma _ | GText _
| GAnnot _ ->
@@ -1003,6 +1003,13 @@ let cleanup file =
Cfg.clearFileCFG ~clear_id:false f;
Cfg.computeFileCFG f; f end
else f)
+
+ method! vinst _ = SkipChildren
+ method! vexpr _ = SkipChildren
+ method! vlval _ = SkipChildren
+ method! vtype _ = SkipChildren
+ method! vspec _ = SkipChildren
+ method! vcode_annot _ = SkipChildren
end
in visitFramacFileSameGlobals visitor file
--
GitLab