FuncVar (goblint-cil.Syntacticsearch.FuncVar)

val is_equal_varname_varid : 
  GoblintCil.varinfo ->
  Stdlib.String.t ->
  int ->
  bool

val delete_elem : 
  Stdlib.String.t list ->
  Stdlib.String.t ->
  Stdlib.String.t list

val delete_duplicates : 'a list -> ('a, int) Stdlib.Hashtbl.t -> 'a list

val map_gfun : 
  (GoblintCil.fundec -> GoblintCil.location -> 'a option) ->
  GoblintCil.global ->
  'a option

val map_gvar : 
  (GoblintCil.varinfo ->
    GoblintCil.initinfo ->
    GoblintCil.location ->
    'a option) ->
  GoblintCil.global ->
  'a option

val is_temporary : int -> bool

val get_func_loc : GoblintCil.file -> string -> GoblintCil.location

val generate_globalvar_list : GoblintCil.file -> string list

val get_all_alphaconverted_in_fun : 
  Stdlib.String.t ->
  string ->
  GoblintCil.file ->
  Stdlib.String.t list

class var_search_in_expr : Stdlib.String.t -> int -> 'a -> (string * 'a * string * int) list Stdlib.ref -> 
  bool -> GoblintCil.nopCilVisitor

val search_expression : 
  GoblintCil.exp ->
  Stdlib.String.t ->
  'a ->
  int ->
  bool ->
  (string * 'a * string * int) list

val search_lhost : 
  GoblintCil.lhost ->
  Stdlib.String.t ->
  'a ->
  int ->
  bool ->
  (string * 'a * string * int) list

val search_offset : 
  GoblintCil.offset ->
  Stdlib.String.t ->
  'a ->
  int ->
  bool ->
  (string * 'a * string * int) list

val search_expression_list : 
  GoblintCil.exp list ->
  Stdlib.String.t ->
  'a ->
  int ->
  bool ->
  (string * 'a * string * int) list

val search_instr_list_for_var : 
  GoblintCil.instr list ->
  Stdlib.String.t ->
  int ->
  bool ->
  (string * GoblintCil.location * string * int) list

val search_stmt_list_for_var : 
  GoblintCil.stmt list ->
  Stdlib.String.t ->
  int ->
  bool ->
  (string * GoblintCil.location * string * int) list

val find_uses_in_fun_var : 
  GoblintCil.fundec ->
  Stdlib.String.t ->
  int ->
  bool ->
  GoblintCil.file ->
  (string * GoblintCil.location * string * int) list

val find_uses_in_fun_find_fun : 
  GoblintCil.global list ->
  Stdlib.String.t ->
  Stdlib.String.t ->
  int ->
  bool ->
  GoblintCil.file ->
  (string * GoblintCil.location * string * int) list

val find_uses_in_fun : 
  Stdlib.String.t ->
  int ->
  Stdlib.String.t ->
  GoblintCil.file ->
  bool ->
  (string * GoblintCil.location * string * int) list

val find_all_glob_vars : GoblintCil.global list -> int list

val find_uses_in_fun_all_glob : 
  Stdlib.String.t ->
  GoblintCil.file ->
  bool ->
  (string * GoblintCil.location * string * int) list

val find_fundec : 
  GoblintCil.global list ->
  Stdlib.String.t ->
  GoblintCil.fundec option

val find_uses_in_fun_all : 
  Stdlib.String.t ->
  GoblintCil.file ->
  bool ->
  (string * GoblintCil.location * string * int) list

val find_var_in_globals : 
  Stdlib.String.t ->
  int ->
  GoblintCil.global list ->
  (string * GoblintCil.location * string * int) list

val find_uses : 
  Stdlib.String.t ->
  int ->
  GoblintCil.file ->
  bool ->
  (string * GoblintCil.location * string * int) list

val find_uses_all_glob : 
  GoblintCil.file ->
  bool ->
  (string * GoblintCil.location * string * int) list

val find_uses_all : 
  GoblintCil.file ->
  bool ->
  (string * GoblintCil.location * string * int) list

val cond_search_uses_stmt_list : 
  GoblintCil.stmt list ->
  Stdlib.String.t ->
  int ->
  bool ->
  (string * GoblintCil.location * string * int) list

val find_uses_in_cond_in_fun : 
  Stdlib.String.t ->
  int ->
  Stdlib.String.t ->
  GoblintCil.file ->
  bool ->
  (string * GoblintCil.location * string * int) list

val find_uses_in_cond : 
  Stdlib.String.t ->
  int ->
  GoblintCil.file ->
  bool ->
  (string * GoblintCil.location * string * int) list

val find_uses_in_cond_all_glob : 
  GoblintCil.file ->
  bool ->
  (string * GoblintCil.location * string * int) list

val find_uses_in_cond_in_fun_all_glob : 
  Stdlib.String.t ->
  GoblintCil.file ->
  bool ->
  (string * GoblintCil.location * string * int) list

val find_uses_in_cond_in_fun_all : 
  Stdlib.String.t ->
  GoblintCil.file ->
  bool ->
  (string * GoblintCil.location * string * int) list

val find_uses_in_cond_all : 
  GoblintCil.file ->
  bool ->
  (string * GoblintCil.location * string * int) list

val remove_result : 'a list -> 'a -> 'a list

val find_uses_in_noncond : 
  Stdlib.String.t ->
  int ->
  GoblintCil.file ->
  bool ->
  (string * GoblintCil.location * string * int) list

val find_uses_in_noncond_all_glob : 
  GoblintCil.file ->
  bool ->
  (string * GoblintCil.location * string * int) list

val find_uses_in_noncond_all : 
  GoblintCil.file ->
  bool ->
  (string * GoblintCil.location * string * int) list

val find_decl_in_fun : 
  Stdlib.String.t ->
  int ->
  Stdlib.String.t ->
  GoblintCil.file ->
  (string * GoblintCil.location * string * int) list

val find_decl_in_fun_all : 
  Stdlib.String.t ->
  GoblintCil.file ->
  (string * GoblintCil.location * string * int) list

val find_decl_all_glob : 
  GoblintCil.file ->
  (string * GoblintCil.location * string * int) list

val find_decl : 
  Stdlib.String.t ->
  int ->
  GoblintCil.file ->
  (Stdlib.String.t * GoblintCil.location * string * int) list

val find_decl_all : 
  GoblintCil.file ->
  (string * GoblintCil.location * string * int) list

class var_find_def_in_fun : Stdlib.String.t -> int -> Stdlib.String.t -> (string
                                                 * GoblintCil.location
                                                 * string
                                                 * int)
                                                  list
                                                  Stdlib.ref -> GoblintCil.nopCilVisitor

val find_defs_in_fun : 
  Stdlib.String.t ->
  int ->
  Stdlib.String.t ->
  GoblintCil.file ->
  (string * GoblintCil.location * string * int) list

val find_defs_in_fun_all_glob : 
  Stdlib.String.t ->
  GoblintCil.file ->
  (string * GoblintCil.location * string * int) list

val find_defs_in_fun_all : 
  Stdlib.String.t ->
  GoblintCil.file ->
  (string * GoblintCil.location * string * int) list

val find_defs : 
  Stdlib.String.t ->
  int ->
  GoblintCil.file ->
  (string * GoblintCil.location * string * int) list

val find_defs_all_glob : 
  GoblintCil.file ->
  (string * GoblintCil.location * string * int) list

val find_defs_all : 
  GoblintCil.file ->
  (string * GoblintCil.location * string * int) list