message: Simplify CFG
  Summary: Clean up the editable CFG if it is kept alive. This will remove unreachable blocks and other cruft.
diff: @@ -1372,6 +1372,15 @@ void PassManager::run_passes(DexStoresVector& stores, ConfigFiles& conf) {
  TRACE(PM, 2, "%s Pass uses editable cfg.\n", SHOW(pass->name()));
  }
  pass->run_pass(stores, conf, *this);
  +
  + // Ensure the CFG is clean, e.g., no unreachable blocks.
  + if (pass->is_editable_cfg_friendly()) {
  + auto temp_scope = build_class_scope(stores);
  + walk::parallel::code(temp_scope, [&](DexMethod*, IRCode& code) {
  + code.cfg().simplify();
  + });
  + }
  +
  trace_cls.dump(pass->name());
  }
  