package goblint-cil

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

module Usedef : sig ... end

module DF = GoblintCil.Dataflow

module UD = Usedef

module IH = GoblintCil.Inthash

module E = GoblintCil.Errormsg

val debug : bool Stdlib.ref

val ignore_inst : (GoblintCil.instr -> bool) Stdlib.ref

val ignore_call : (GoblintCil.instr -> bool) Stdlib.ref

val registerIgnoreInst : (GoblintCil.instr -> bool) -> unit

val registerIgnoreCall : (GoblintCil.instr -> bool) -> unit

val live_label : string Stdlib.ref

val live_func : string Stdlib.ref

module VS = UD.VS

val debug_print : unit -> VS.t -> GoblintCil.Pretty.doc

val min_print : unit -> VS.t -> GoblintCil.Pretty.doc

val printer : (unit -> VS.t -> GoblintCil.Pretty.doc) Stdlib.ref

module LiveFlow : sig ... end

module L : sig ... end

val all_stmts : GoblintCil.stmt list Stdlib.ref

class nullAdderClass : object ... end

val null_adder : GoblintCil.fundec -> GoblintCil.stmt list

val computeLiveness : GoblintCil.fundec -> unit

val getLiveSet : int -> VS.t option

val getLiveness : GoblintCil.stmt -> VS.t

val getPostLiveness : GoblintCil.stmt -> LiveFlow.t

val instrLiveness : 
  GoblintCil.instr list ->
  GoblintCil.stmt ->
  VS.t ->
  bool ->
  VS.t list

class livenessVisitorClass : bool -> object ... end

class deadnessVisitorClass : object ... end

val print_everything : unit -> unit

val match_label : GoblintCil.label -> bool

class doFeatureClass : object ... end

val do_live_feature : GoblintCil.file -> unit

val feature : GoblintCil.Feature.t