TerminationPreprocessing.jumpCollector
Collects the jumps of gotos into jumps and the continue statements of loops into continue_stmts.
jumps
continue_stmts
inherit GoblintCil.nopCilVisitor
method vstmt : GoblintCil.stmt -> GoblintCil.stmt GoblintCil.visitAction