package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Module `Goblint_lib.ReturnUtil`

Special variable for return value.

module AD = ValueDomain.AD

val return_varstore : GoblintCil.varinfo ref

val return_varinfo : unit -> GoblintCil.varinfo

val return_var : unit -> AD.t

val return_lval : unit -> GoblintCil.lval

val longjmp_return : GoblintCil.varinfo ref