Up – Package index » goblint-cil » Library goblint-cil.makecfg » MakeCFG » vidVisitor

Class `MakeCFG.vidVisitor`

inherit Cil.nopCilVisitor

val count : int ref

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