package goblint-cil

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val name : string
val debug : bool ref
type t = VS.t
val pretty : unit -> VS.t -> Pretty.doc
val stmtStartData : VS.t IH.t
val funcExitData : VS.t
val combineStmtStartData : Cil.stmt -> old:t -> t -> VS.t option
val combineSuccessors : VS.t -> VS.t -> VS.t
val doStmt : Cil.stmt -> VS.t DF.action
val doInstr : Cil.instr -> 'a -> VS.t DF.action
val filterStmt : 'a -> 'b -> bool