Module 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 ->
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.