Fix Not_found exception in autotuner with congruences and termination.

goblint · Nov 23, 2023 · f262386 · f262386
1 parent 2f5e555
commit f262386
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/autoTune.ml b/src/autoTune.ml
@@ -99,7 +99,9 @@ let rec setCongruenceRecursive fd depth neigbourFunction =
     FunctionSet.iter
       (fun vinfo ->
          print_endline ("    " ^ vinfo.vname);
-         setCongruenceRecursive (Cilfacade.find_varinfo_fundec vinfo) (depth -1) neigbourFunction
+         match (Cilfacade.find_varinfo_fundec vinfo) with
+         | fd -> setCongruenceRecursive fd (depth -1) neigbourFunction
+         | exception Not_found -> () (* Happens for __goblint_bounded*)
       )
       (FunctionSet.filter (*for extern and builtin functions there is no function definition in CIL*)
          (fun x -> not (isExtern x.vstorage || BatString.starts_with x.vname "__builtin"))