Up – Package index » goblint-cil » Library goblint-cil.zrapp » Availexpslv » addrOfOrGlobalFinderClass

Class `Availexpslv.addrOfOrGlobalFinderClass`

inherit Cil.nopCilVisitor

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