Goblint_lib.ReturnUtil
Special variable for return value.
module AD = ValueDomain.AD
val return_varstore : GoblintCil.varinfo Stdlib.ref
val return_varinfo : unit -> GoblintCil.varinfo
val return_var : unit -> AD.t
val return_lval : unit -> GoblintCil.lval
val longjmp_return : GoblintCil.varinfo Stdlib.ref