Expose Cabs2cil.currentFunctionFDEC

This can be set from Goblint before convStandaloneExp.
goblint · May 26, 2022 · fe7da7b · fe7da7b
1 parent a6c158d
commit fe7da7b
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/frontc/cabs2cil.mli b/src/frontc/cabs2cil.mli
@@ -109,3 +109,5 @@ val environment : (string, envdata * Cil.location) Hashtbl.t
 val genvironment : (string, envdata * Cil.location) Hashtbl.t
 
 val convStandaloneExp: genv:(string, envdata * Cil.location) Hashtbl.t -> env:(string, envdata * Cil.location) Hashtbl.t -> Cabs.expression -> Cil.exp option
+
+val currentFunctionFDEC: Cil.fundec ref