From ac7dd717c0dc8f353130c1395dc0f7910aaf8f24 Mon Sep 17 00:00:00 2001
From: Stanimir Bozhilov <stanimir.bozhilov.1998@gmail.com>
Date: Tue, 3 Oct 2023 17:29:44 +0200
Subject: [PATCH] Automatically set `cil.addNestedScopeAttr` in autoTune when
 running `memOutOfBounds`

---
 src/autoTune.ml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/autoTune.ml b/src/autoTune.ml
index 4912d645ce..4e0080d0bd 100644
--- a/src/autoTune.ml
+++ b/src/autoTune.ml
@@ -225,6 +225,8 @@ let focusOnSpecification () =
     enableAnalyses uafAna
   | ValidDeref -> (* Enable the memOutOfBounds analysis *)
     let memOobAna = ["memOutOfBounds"] in
+    print_endline "Setting \"cil.addNestedScopeAttr\" to true";
+    set_bool "cil.addNestedScopeAttr" true;
     print_endline @@ "Specification: ValidDeref -> enabling memOutOfBounds analysis \"" ^ (String.concat ", " memOobAna) ^ "\"";
     enableAnalyses memOobAna
   | ValidMemtrack