Separate -Ysafe-int and -Ysafe-init-global

Author: liufengyun

compiler/src/dotty/tools/dotc/transform/init/Checker.scala

@@ -28,15 +28,16 @@ class Checker extends Phase:
   override val runsAfter = Set(Pickler.name)
 
   override def isEnabled(using Context): Boolean =
-    super.isEnabled && ctx.settings.YcheckInit.value
+    super.isEnabled && (ctx.settings.YcheckInit.value || ctx.settings.YcheckInitGlobal.value)
 
   override def runOn(units: List[CompilationUnit])(using Context): List[CompilationUnit] =
     val checkCtx = ctx.fresh.setPhase(this.start)
     val traverser = new InitTreeTraverser()
     units.foreach { unit => traverser.traverse(unit.tpdTree) }
     val classes = traverser.getClasses()
 
-    Semantic.checkClasses(classes)(using checkCtx)
+    if ctx.settings.YcheckInit.value then
+      Semantic.checkClasses(classes)(using checkCtx)
 
     if ctx.settings.YcheckInitGlobal.value then
       Objects.checkClasses(classes)(using checkCtx)