Module `Reachingdefs`Source

module E = Errormsg

Sourcemodule DF = Dataflow

Sourcemodule UD = Usedef

Sourcemodule L = Liveness

module IH = Inthash

module U = Util

module S = Stats

Sourceval debug_fn : string ref

Sourceval doTime : bool ref

Sourceval time : string -> ('a -> 'b) -> 'a -> 'b

Sourcemodule IOS : sig ... end

Sourceval debug : bool ref

Sourceval ih_inter : 'a IH.t -> 'b IH.t -> 'a IH.t

Sourceval ih_union : 'a IH.t -> 'a IH.t -> 'a IH.t

Sourceval iosh_singleton_lookup : IOS.t IH.t -> Cil.varinfo -> IOS.elt

Sourceval iosh_lookup : 'a IH.t -> Cil.varinfo -> 'a option

Sourceval iosh_defId_find : IOS.t IH.t -> int -> int option

Sourceval iosh_combine : IOS.t IH.t -> IOS.t IH.t -> IOS.t IH.t

Sourceval iosh_equals : IOS.t IH.t -> IOS.t IH.t -> bool

Sourceval iosh_replace : IOS.t IH.t -> int -> Cil.varinfo -> unit

Sourceval iosh_filter_dead : 'a -> 'b -> 'a

Sourceval proc_defs : UD.VS.t -> IOS.t IH.t -> (unit -> int) -> unit

Sourceval idMaker : unit -> int -> unit -> int

Sourceval iRDsHtbl : (int * bool, (unit * int * IOS.t IH.t) list) Hashtbl.t

Source

val instrRDs : 
  Cil.instr list ->
  int ->
  ('a * int * IOS.t IH.t) ->
  bool ->
  (unit * int * IOS.t IH.t) list

Sourcetype rhs =

| RDExp of Cil.exp
| RDCall of Cil.instr

Sourceval rhsHtbl : (rhs * int * IOS.t IH.t) option IH.t

Source

val getDefRhs : 
  Cil.stmt IH.t ->
  ('a * int * IOS.t IH.t) IH.t ->
  int ->
  (rhs * int * IOS.t IH.t) option

Source

val prettyprint : 
  Cil.stmt IH.t ->
  ('a * int * IOS.t IH.t) IH.t ->
  unit ->
  ('b * 'c * IOS.t IH.t) ->
  Pretty.doc

Sourcemodule ReachingDef : sig ... end

Sourcemodule RD : sig ... end

Sourceval iosh_none_fill : IOS.t IH.t -> Cil.varinfo list -> unit

Sourceval clearMemos : unit -> unit

Sourceval computeRDs : Cil.fundec -> unit

Sourceval getRDs : int -> (unit * int * IOS.t IH.t) option

Sourceval getDefIdStmt : int -> Cil.stmt option

Sourceval getStmt : int -> Cil.stmt option

Sourceval getSimpRhs : int -> rhs option

Sourceval isDefInstr : Cil.instr -> int -> bool

Sourceval ppFdec : Cil.fundec -> Pretty.doc

Sourceclass rdVisitorClass : object ... end

Install

Dune Dependency

Authors

Maintainers

Sources

doc/goblint-cil.zrapp/Reachingdefs/index.html

Module `Reachingdefs`Source

package goblint-cil

Install

Dune Dependency

Authors

Maintainers

Sources

doc/goblint-cil.zrapp/Reachingdefs/index.html

Module ReachingdefsSource

Module `Reachingdefs`Source