From f8c509dd3938d209cefe99b4e4dabbcdec173103 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Kerem=20=C3=87ak=C4=B1rer?= <kcakirer@hotmail.com>
Date: Tue, 8 Mar 2022 14:07:11 +0100
Subject: [PATCH] Don't call prepareCFG & computeCFGInfo

Fix #6
---
 src/App.re | 20 +++++++++++---------
 1 file changed, 11 insertions(+), 9 deletions(-)

diff --git a/src/App.re b/src/App.re
index a5eb7b9..0d2c14e 100644
--- a/src/App.re
+++ b/src/App.re
@@ -69,15 +69,17 @@ let init_goblint = (solver, spec, registered_name, config, cil) => {
   Maingoblint.handle_extraspecials();
   Maingoblint.handle_flags();
 
-  // Don't remove these either
-  Cil.iterGlobals(cil, glob =>
-    switch (glob) {
-    | GFun(fd, _) =>
-      Cil.prepareCFG(fd);
-      Cil.computeCFGInfo(fd, true);
-    | _ => ()
-    }
-  );
+  // NOTE: Commenting this out since it breaks the node view. Semantic search
+  // may depend on this code but it is currently broken because of unrelated
+  // (and uknown) reasons anyway.
+  // Cil.iterGlobals(cil, glob =>
+  //   switch (glob) {
+  //   | GFun(fd, _) =>
+  //     Cil.prepareCFG(fd);
+  //     Cil.computeCFGInfo(fd, true);
+  //   | _ => ()
+  //   }
+  // );
   Cilfacade.current_file := cil;
 
   let goblint = GvGoblint.unmarshal(spec, cil);