OSDN Git Service

Avoid calling verify_ssa twice in verify_loop_closed_ssa.