From 854550083ceb53df2977d6e52b821a9aecbfbda5 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Fri, 27 Mar 2020 17:12:57 +0100
Subject: [PATCH] [test] Adds missing 'must_recompte_cfg' in ast_init test
---
tests/syntax/ast_init.ml | 1 +
1 file changed, 1 insertion(+)
diff --git a/tests/syntax/ast_init.ml b/tests/syntax/ast_init.ml
index b0520cc04b9..f0e57935a23 100644
--- a/tests/syntax/ast_init.ml
+++ b/tests/syntax/ast_init.ml
@@ -8,6 +8,7 @@ let apply _ =
(fun b -> b.bstmts <-
Cil.mkStmtOneInstr (Skip (Cil_datatype.Stmt.loc s)) :: b.bstmts)
l;
+ File.must_recompute_cfg (Kernel_function.get_definition f) ;
Ast.mark_as_grown ()
let () = Ast.apply_after_computed apply
--
GitLab