package goblint-cil

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module RmciltmpsSource

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 =
  1. | Suffix of string
  2. | Prefix of string
  3. | 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
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
Sourceval 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
Sourceval 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
Sourceval 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
Sourceval varXformClass : ('a -> 'b -> Cil.varinfo -> 'c -> 'd -> Cil.exp option) -> 'a -> 'b -> 'c -> 'd -> Cil.nopCilVisitor
Sourceval 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
Sourceval ae_tmp_to_exp : Cil.exp IH.t -> 'a -> Cil.varinfo -> 'b -> bool -> Cil.exp option
Sourceval ae_lval_to_exp_change : bool ref
Sourceval 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
Sourceval rd_tmp_to_exp : RD.IOS.t IH.t -> int -> Cil.varinfo -> Cil.fundec -> bool -> Cil.exp option
Sourceval rd_fwd_subst : RD.IOS.t IH.t -> int -> Cil.exp -> Cil.fundec -> bool -> Cil.exp * bool
Sourceval ae_fwd_subst : Cil.exp IH.t -> 'a -> Cil.exp -> 'b -> bool -> Cil.exp * bool
Sourceval 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
Sourceval ae_lv_simp_fwd_subst : Cil.exp AELV.LvExpHash.t -> Cil.exp -> bool -> Cil.exp * bool
Sourceval ae_tmp_to_const_change : bool ref
Sourceval ae_tmp_to_const : Cil.exp IH.t -> 'a -> Cil.varinfo -> 'b -> bool -> Cil.exp option
Sourceval tmp_to_const_change : bool ref
Sourceval tmp_to_const : RD.IOS.t RD.IH.t -> int -> Cil.varinfo -> Cil.fundec -> bool -> Cil.exp option
Sourceval const_prop : RD.IOS.t RD.IH.t -> int -> Cil.exp -> Cil.fundec -> bool -> Cil.exp * bool
Sourceval 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
Sourceval fold_blocks : Cil.block -> unit
Sourceclass removeBrackets : object ... end
Sourceval eliminate_temps : Cil.fundec -> Cil.fundec
Sourceval eliminateTempsForExpPrinting : Cil.fundec -> Cil.fundec
OCaml

Innovation. Community. Security.