package goblint-cil

  1. Overview
  2. Docs
package goblint-cil
Legend:
Library
Module
Module type
Parameter
Class
Class type
module E = Errormsg
module H = Hashtbl
module IH = Inthash
module A = Alpha
val debug : bool
exception Recursion
class copyBodyVisitor : Cil.fundec -> Cil.varinfo -> (Cil.varinfo -> Cil.varinfo) -> Cil.varinfo option -> (string -> string) -> Cil.stmt -> object ... end
val replaceStatement : Cil.fundec -> (Cil.varinfo -> Cil.fundec option) -> (string -> string) -> bool Pervasives.ref -> Cil.stmt -> Cil.stmt
val doFunction : Cil.fundec -> (Cil.varinfo -> Cil.fundec option) -> bool Pervasives.ref -> unit
val doFile : (Cil.varinfo -> Cil.fundec option) -> Cil.file -> unit
val toinline : string list Pervasives.ref
val doit : Cil.file -> unit
val feature : Feature.t