fix: stack-use-after-scope by AddressSanitizer

seahorn · Apr 3, 2024 · 147c42e · 147c42e
1 parent e32aa83
commit 147c42e
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/lib/Clam/Clam.cc b/lib/Clam/Clam.cc
@@ -414,10 +414,9 @@ class IntraClamImpl {
 
     if (dumpCrabIR || dumpStdout) {
       std::vector<std::unique_ptr<block_annotation_t>> annotations;
+      std::vector<varname_t> shadow_varnames;
+      assumption_analysis_t unproven_assumption_analyzer(cfg);      
       if (params.print_invars != InvariantPrinterOptions::NONE) {
-	std::vector<varname_t> shadow_varnames;
-	assumption_analysis_t unproven_assumption_analyzer(cfg);
-
 	if (!params.keep_shadow_vars) {
 	  shadow_varnames = m_vfac.get_shadow_vars();
 	}