Complete thread_gas

goblint · Sep 20, 2024 · 300a195 · 300a195
1 parent dc84b4a
commit 300a195
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/src/framework/constraints.ml b/src/framework/constraints.ml
@@ -542,7 +542,12 @@ module PerFunctionGas(GasVal:GasVal):Gas = struct
   let callee_gas f v =
     let c = Option.default (G.top ()) (M.find_opt f v) in
     M.add f (max 0 c-1) v
-  let thread_gas f v = v (*  max 0 (v - 1) *)
+  let thread_gas f v =
+    match Cilfacade.find_varinfo_fundec f with
+    | fd ->
+      callee_gas fd v
+    | exception Not_found ->
+      callee_gas Cil.dummyFunDec v
 end