AutoTune.functionVisitor
inherit GoblintCil.nopCilVisitor
method vglob : GoblintCil.global -> GoblintCil.global list GoblintCil.visitAction
method vfunc : GoblintCil.fundec -> GoblintCil.fundec GoblintCil.visitAction