From 76899c206ea362598b67034cba85e95fcfcad421 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Fri, 8 Mar 2019 18:17:17 +0100
Subject: [PATCH] [visitor] let user change the ghost status of a stmt
---
src/kernel_services/ast_queries/cil.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/kernel_services/ast_queries/cil.ml b/src/kernel_services/ast_queries/cil.ml
index 2c8dab8b793..9a3e8911726 100644
--- a/src/kernel_services/ast_queries/cil.ml
+++ b/src/kernel_services/ast_queries/cil.ml
@@ -3370,7 +3370,6 @@ and childrenExp (vis: cilVisitor) (e: exp) : exp =
(* visit all nodes in a Cil statement tree in preorder *)
and visitCilStmt (vis:cilVisitor) (s: stmt) : stmt =
- let ghost = s.ghost in
let oldloc = CurrentLoc.get () in
CurrentLoc.set (Stmt.loc s) ;
vis#push_stmt s; (*(vis#behavior.memo_stmt s);*)
@@ -3379,6 +3378,7 @@ and childrenExp (vis: cilVisitor) (e: exp) : exp =
let res =
doVisitCil vis
vis#behavior.memo_stmt vis#vstmt (childrenStmt toPrepend) s in
+ let ghost = res.ghost in
(* Now see if we have saved some instructions *)
toPrepend := !toPrepend @ vis#unqueueInstr ();
(match !toPrepend with
--
GitLab