Module `Rmciltmps`Source

module E = Errormsg

Sourcemodule RD = Reachingdefs

Sourcemodule AELV = Availexpslv

Sourcemodule UD = Usedef

module IH = Inthash

module S = Stats

Sourcemodule IS : sig ... end

Sourceval debug : bool ref

Sourceval doTime : bool ref

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

Sourcetype nameform =

| Suffix of string
| Prefix of string
| Exact of string

Sourceval getDefRhs : int -> (RD.rhs * int * RD.IOS.t RD.IH.t) option

Sourceval exp_ok : bool ref

Sourceclass memReadOrAddrOfFinderClass : object ... end

Sourceval memReadOrAddrOfFinder : memReadOrAddrOfFinderClass

Sourceval exp_is_ok_replacement : Cil.exp -> bool

Sourceval emptyStmt : Cil.stmt

Sourceval fsr : Cil.stmt ref

Sourceclass stmtFinderClass : int -> object ... end

Sourceval find_statement : 'a -> int -> Cil.stmt option

Sourceval wbHtbl : (int * int, bool) Hashtbl.t

Sourceval writes_between : 'a -> int -> int -> bool

Source

val verify_unmodified : 
  UD.VS.t ->
  UD.VS.t ->
  RD.IOS.t RD.IH.t ->
  RD.IOS.t RD.IH.t ->
  bool

Sourceval fdefs : UD.VS.t ref

Sourceval udDeepSkindHtbl : (UD.VS.t * UD.VS.t) IH.t

Sourceclass defCollectorClass : object ... end

Sourceval defCollector : defCollectorClass

Sourceval collect_fun_defs : Cil.fundec -> UD.VS.t

Source

val ok_to_replace : 
  Cil.varinfo ->
  RD.IOS.t RD.IH.t ->
  int ->
  RD.IOS.t RD.IH.t ->
  int ->
  Cil.fundec ->
  RD.rhs ->
  bool

Sourceval useList : int list ref

Sourceclass useListerClass : int -> Cil.varinfo -> object ... end

Source

val ok_to_replace_with_incdec : 
  RD.IOS.t RD.IH.t ->
  RD.IOS.t RD.IH.t ->
  Cil.fundec ->
  int ->
  Cil.varinfo ->
  RD.rhs ->
  (int * int * Cil.varinfo * Cil.binop) option

Sourceval iioh : Cil.instr option IH.t

Sourceval incdecHash : (int * Cil.varinfo * Cil.binop) IH.t

Sourceval idDefHash : (int * int) list IH.t

Sourceval id_dh_add : int -> (int * int) -> unit

Sourceval check_form : string -> nameform -> bool

Sourceval check_forms : string -> nameform list -> bool

Sourceval forms : nameform list

Source

val varXformClass : 
  ('a -> 'b -> Cil.varinfo -> 'c -> 'd -> Cil.exp option) ->
  'a ->
  'b ->
  'c ->
  'd ->
  Cil.nopCilVisitor

Source

val lvalXformClass : 
  ('a -> 'b -> Cil.lval -> 'c -> 'd -> Cil.exp option) ->
  'a ->
  'b ->
  'c ->
  'd ->
  Cil.nopCilVisitor

Sourceval iosh_get_useful_def : RD.IOS.t IH.t -> Cil.varinfo -> RD.IOS.elt

Sourceval ae_tmp_to_exp_change : bool ref

Source

val ae_tmp_to_exp : 
  Cil.exp IH.t ->
  'a ->
  Cil.varinfo ->
  'b ->
  bool ->
  Cil.exp option

Sourceval ae_lval_to_exp_change : bool ref

Source

val ae_lval_to_exp : 
  ?propStrings:bool ->
  Cil.exp AELV.LvExpHash.t ->
  'a ->
  AELV.LvExpHash.key ->
  'b ->
  bool ->
  Cil.exp option

Sourceval rd_tmp_to_exp_change : bool ref

Source

val rd_tmp_to_exp : 
  RD.IOS.t IH.t ->
  int ->
  Cil.varinfo ->
  Cil.fundec ->
  bool ->
  Cil.exp option

Source

val rd_fwd_subst : 
  RD.IOS.t IH.t ->
  int ->
  Cil.exp ->
  Cil.fundec ->
  bool ->
  Cil.exp * bool

Source

val ae_fwd_subst : 
  Cil.exp IH.t ->
  'a ->
  Cil.exp ->
  'b ->
  bool ->
  Cil.exp * bool

Source

val ae_lv_fwd_subst : 
  ?propStrings:bool ->
  Cil.exp AELV.LvExpHash.t ->
  'a ->
  Cil.exp ->
  'b ->
  bool ->
  Cil.exp * bool

Sourceval ae_simp_fwd_subst : Cil.exp IH.t -> Cil.exp -> bool -> Cil.exp * bool

Source

val ae_lv_simp_fwd_subst : 
  Cil.exp AELV.LvExpHash.t ->
  Cil.exp ->
  bool ->
  Cil.exp * bool

Sourceval ae_tmp_to_const_change : bool ref

Source

val ae_tmp_to_const : 
  Cil.exp IH.t ->
  'a ->
  Cil.varinfo ->
  'b ->
  bool ->
  Cil.exp option

Sourceval tmp_to_const_change : bool ref

Source

val tmp_to_const : 
  RD.IOS.t RD.IH.t ->
  int ->
  Cil.varinfo ->
  Cil.fundec ->
  bool ->
  Cil.exp option

Source

val const_prop : 
  RD.IOS.t RD.IH.t ->
  int ->
  Cil.exp ->
  Cil.fundec ->
  bool ->
  Cil.exp * bool

Source

val ae_const_prop : 
  Cil.exp IH.t ->
  'a ->
  Cil.exp ->
  'b ->
  bool ->
  Cil.exp * bool

Sourceclass expTempElimClass : Cil.fundec -> object ... end

Sourceclass expLvTmpElimClass : Cil.fundec -> object ... end

Sourceclass incdecTempElimClass : Cil.fundec -> object ... end

Sourceclass callTempElimClass : Cil.fundec -> object ... end

Sourceval rm_unused_locals : Cil.fundec -> unit

Sourceval is_volatile : Cil.varinfo -> bool

Sourceclass unusedRemoverClass : Cil.cilVisitor

Sourceval fold_blocks : Cil.block -> unit

Sourceclass removeBrackets : object ... end

Sourceval eliminate_temps : Cil.fundec -> Cil.fundec

Sourceval eliminateTempsForExpPrinting : Cil.fundec -> Cil.fundec

package goblint-cil

Module RmciltmpsSource

Module `Rmciltmps`Source