package goblint-cil

  1. Overview
  2. Docs
package goblint-cil
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module DeadcodeelimSource

module E = Errormsg
Sourcemodule RD = Reachingdefs
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
Sourceval callHasNoSideEffects : (Cil.instr -> bool) ref
Sourceval usedDefsSet : IS.t ref
Sourceval defUseSetHash : IS.t IH.t
Sourceval sidUseSetHash : IS.t IH.t
Sourceclass usedDefsCollectorClass : object ... end
Sourceclass hasVolatile : bool ref -> object ... end
Sourceval exp_has_volatile : Cil.exp -> bool
Sourceval el_has_volatile : Cil.exp list -> bool
Sourceval removedCount : int ref
Sourceval elim_dead_code_fp : Cil.fundec -> Cil.fundec
Sourceval elim_dead_code : Cil.fundec -> Cil.fundec
Sourceval dce : Cil.file -> unit
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct