Up – Package index » goblint » Library goblint.lib » Deadcode

Module `Deadcode`

module Locmap : sig ... end

val dead_branches_then : bool Locmap.t

val dead_branches_else : bool Locmap.t

val dead_branches_cond : Cil.exp Locmap.t