Up – Package index » goblint » Library goblint.lib » InvariantCil » exp_is_in_scope_visitor

Class `InvariantCil.exp_is_in_scope_visitor`

inherit Cil.nopCilVisitor

method vvrbl : Cil.varinfo -> Cil.varinfo Cil.visitAction