From 7ecc40af1ccd00d3c29c0683cd4050fb6287e10d Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Thu, 27 Jan 2022 11:30:28 +0100
Subject: [PATCH] [kernel] Skip gvar visit when not needed
Aorai does not get in the way anymore
---
src/kernel_services/ast_data/kernel_function.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/kernel_services/ast_data/kernel_function.ml b/src/kernel_services/ast_data/kernel_function.ml
index f62f1ddbb94..bcf75c5cc04 100644
--- a/src/kernel_services/ast_data/kernel_function.ml
+++ b/src/kernel_services/ast_data/kernel_function.ml
@@ -151,7 +151,7 @@ let compute () =
with Not_found ->
Kernel.fatal "No kernel function for function %a"
Cil_datatype.Varinfo.pretty fd.svar)
- | GVar _ -> Cil.DoChildren
+ | GVar _ -> Cil.SkipChildren
| _ -> Cil.SkipChildren
method! vinst _ = SkipChildren
method! vexpr _ = SkipChildren
--
GitLab