f.getLocals().set(twoslotoffset + j
+ (mg.isStatic() ? 0 : 1),
Type.UNKNOWN);
}
}
circulationPump(cfg, cfg.contextOf(mg.getInstructionList()
.getStart()), f, icv, ev);
}
} catch (VerifierConstraintViolatedException ce) {
ce.extendMessage("Constraint violated in method '"
+ methods[method_no] + "':\n", "");