package goblint

  1. Overview
  2. Docs

Source file cilMaps.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
(** Special maps used for incremental comparison. *)

open GoblintCil

module FundecForMap = struct
  type t = Cil.fundec

  (*x.svar.uid cannot be used, as they may overlap between old and now AST*)
  let compare x y = String.compare x.svar.vname y.svar.vname
end

module FundecMap = Map.Make(FundecForMap)

module VarinfoOrdered = struct
  type t = varinfo

  (*x.svar.uid cannot be used, as they may overlap between old and now AST*)
  let compare (x: varinfo) (y: varinfo) = String.compare x.vname y.vname
end


module VarinfoMap = Map.Make(VarinfoOrdered)