Module Goblint_constraint.VarQuery

Queries for constraint variables related to semantic elements.

type t =
  1. | Global of GoblintCil.Cil.varinfo
  2. | Node of {
    1. node : Node.t;
    2. fundec : GoblintCil.Cil.fundec option;
    }
    (*

    Optional fundec override to allow querying old state in incremental.

    *)
val compare : t -> t -> Ppx_deriving_runtime.int
type 'v f = 'v -> unit
val varqueries_from_names : GoblintCil.Cil.file -> string list -> t list * string list

Takes a Cil.file and a list of names of globals.contents Returns a list of VarQuery.ts of globals whose vname is contained in the argument list, and the list of names for which no global with the name could be found.