Source file goblintCil.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
include Cil
(** @inline *)

(** {1 CIL modules} *)

module Cfg = Cfg
module Check = Check
module Cil = Cil
module Cilint = Cilint
module Cillower = Cillower
module Ciltools = Ciltools
module Cilutil = Cilutil
module Dataflow = Dataflow
module Dominators = Dominators
module Escape = Escape
module Expcompare = Expcompare
module Feature = Feature
module Formatcil = Formatcil
module Machdep = Machdep
module Machdepenv = Machdepenv
module Mergecil = Mergecil
module Rmtmps = Rmtmps

(** {1 FrontC modules} *)

module Cabs = Cabs
module Cabs2cil = Cabs2cil
module Cabshelper = Cabshelper
module Cabsvisit = Cabsvisit
module Cprint = Cprint
module Frontc = Frontc
module Patch = Patch
module Whitetrack = Whitetrack

(** {1 Utility modules} *)

module Alpha = Alpha
module Errormsg = Errormsg
module GrowArray = GrowArray (* needed for zrapp *)
module Inthash = Inthash (* needed for liveness, syntacticsearch *)
module Pretty = Pretty
module Stats = Stats
module Trace = Trace
module Util = Util