Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Crash when compiling specs2 using -Ysafe-init-global flag #18629

Closed
q-ata opened this issue Sep 30, 2023 · 3 comments
Closed

Crash when compiling specs2 using -Ysafe-init-global flag #18629

q-ata opened this issue Sep 30, 2023 · 3 comments
Assignees
@liufengyun
Labels
area:initialization itype:bug itype:crash

Comments

@q-ata
Copy link
Contributor

q-ata commented Sep 30, 2023

Compiler version

3.4.0-RC1-bin-SNAPSHOT-git-48a7871 (commit 48a7871)

Details

The code is the specs2 community project. When compiled with flag -Ysafe-init-global, compilation fails due to a NoSuchElementException.

The trace at the point of the error is as follows:

-> object MarkdownPrinter:	[ MarkdownPrinter.scala:63 ]
   ^
-> val default = MarkdownPrinter(Env())	[ MarkdownPrinter.scala:64 ]
                                 ^^^
-> arguments: Arguments = EnvDefault.default.arguments,	[ Env.scala:160 ]
                          ^^^^^^^^^^^^^^^^^^
-> def default: Env =	[ EnvDefault.scala:21 ]
   ^
-> create(Arguments())	[ EnvDefault.scala:22 ]
          ^^^^^^^^^^^
-> List.unapplySeq[String]()

The exception is as follows:

[error] java.util.NoSuchElementException: last of empty list
[error] scala.collection.immutable.Nil$.last(List.scala:665)
[error] scala.collection.immutable.Nil$.last(List.scala:661)
[error] dotty.tools.dotc.transform.init.Objects$.evalSeqPatterns$1(Objects.scala:1418)
[error] dotty.tools.dotc.transform.init.Objects$.evalPattern$1(Objects.scala:1337)
[error] dotty.tools.dotc.transform.init.Objects$.evalCase$1(Objects.scala:1272)
[error] dotty.tools.dotc.transform.init.Objects$.patternMatch$$anonfun$1(Objects.scala:1437)
[error] scala.collection.immutable.List.map(List.scala:246)
[error] dotty.tools.dotc.transform.init.Objects$.patternMatch(Objects.scala:1437)
[error] dotty.tools.dotc.transform.init.Objects$.cases(Objects.scala:1192)
[error] dotty.tools.dotc.transform.init.Objects$.eval$$anonfun$1(Objects.scala:1035)
[error] dotty.tools.dotc.transform.init.Objects$Cache$Data.$anonfun$5(Objects.scala:519)
[error] dotty.tools.dotc.transform.init.Cache.cachedEval(Cache.scala:112)
[error] dotty.tools.dotc.transform.init.Objects$Cache$Data.cachedEval(Objects.scala:519)
[error] dotty.tools.dotc.transform.init.Objects$.eval(Objects.scala:1035)
[error] dotty.tools.dotc.transform.init.Objects$.cases(Objects.scala:1178)
[error] dotty.tools.dotc.transform.init.Objects$.$anonfun$9$$anonfun$1(Objects.scala:681)
[error] dotty.tools.dotc.transform.init.Objects$Cache$Data.$anonfun$5(Objects.scala:519)
[error] dotty.tools.dotc.transform.init.Cache.cachedEval(Cache.scala:126)
[error] dotty.tools.dotc.transform.init.Objects$Cache$Data.cachedEval(Objects.scala:519)
[error] dotty.tools.dotc.transform.init.Objects$.$anonfun$9(Objects.scala:684)
[error] dotty.tools.dotc.transform.init.Objects$.call(Objects.scala:677)
[error] dotty.tools.dotc.transform.init.Objects$.$anonfun$23(Objects.scala:1106)
[error] dotty.tools.dotc.transform.init.Objects$.cases(Objects.scala:1106)
[error] dotty.tools.dotc.transform.init.Objects$.eval$$anonfun$1(Objects.scala:1035)
[error] dotty.tools.dotc.transform.init.Objects$Cache$Data.$anonfun$5(Objects.scala:519)
[error] dotty.tools.dotc.transform.init.Cache.cachedEval(Cache.scala:112)
[error] dotty.tools.dotc.transform.init.Objects$Cache$Data.cachedEval(Objects.scala:519)
[error] dotty.tools.dotc.transform.init.Objects$.eval(Objects.scala:1035)
[error] dotty.tools.dotc.transform.init.Objects$.cases(Objects.scala:1147)
[error] dotty.tools.dotc.transform.init.Objects$.eval$$anonfun$1(Objects.scala:1035)
[error] dotty.tools.dotc.transform.init.Objects$Cache$Data.$anonfun$5(Objects.scala:519)
[error] dotty.tools.dotc.transform.init.Cache.cachedEval(Cache.scala:112)
[error] dotty.tools.dotc.transform.init.Objects$Cache$Data.cachedEval(Objects.scala:519)
[error] dotty.tools.dotc.transform.init.Objects$.eval(Objects.scala:1035)
[error] dotty.tools.dotc.transform.init.Objects$.evalArgs$$anonfun$1(Objects.scala:1509)
[error] scala.collection.immutable.List.foreach(List.scala:333)
[error] dotty.tools.dotc.transform.init.Objects$.evalArgs(Objects.scala:1528)
[error] dotty.tools.dotc.transform.init.Objects$.cases(Objects.scala:1065)
[error] dotty.tools.dotc.transform.init.Objects$.$anonfun$9$$anonfun$1(Objects.scala:681)
[error] dotty.tools.dotc.transform.init.Objects$Cache$Data.$anonfun$5(Objects.scala:519)
[error] dotty.tools.dotc.transform.init.Cache.cachedEval(Cache.scala:126)
[error] dotty.tools.dotc.transform.init.Objects$Cache$Data.cachedEval(Objects.scala:519)
[error] dotty.tools.dotc.transform.init.Objects$.$anonfun$9(Objects.scala:684)
[error] dotty.tools.dotc.transform.init.Objects$.call(Objects.scala:677)
[error] dotty.tools.dotc.transform.init.Objects$.$anonfun$28(Objects.scala:1121)
[error] dotty.tools.dotc.transform.init.Objects$.cases(Objects.scala:1121)
[error] dotty.tools.dotc.transform.init.Objects$.$anonfun$9$$anonfun$1(Objects.scala:681)
[error] dotty.tools.dotc.transform.init.Objects$Cache$Data.$anonfun$5(Objects.scala:519)
[error] dotty.tools.dotc.transform.init.Cache.cachedEval(Cache.scala:126)
[error] dotty.tools.dotc.transform.init.Objects$Cache$Data.cachedEval(Objects.scala:519)
[error] dotty.tools.dotc.transform.init.Objects$.$anonfun$9(Objects.scala:684)
[error] dotty.tools.dotc.transform.init.Objects$.call(Objects.scala:677)
[error] dotty.tools.dotc.transform.init.Objects$.$anonfun$23(Objects.scala:1106)
[error] dotty.tools.dotc.transform.init.Objects$.cases(Objects.scala:1106)
[error] dotty.tools.dotc.transform.init.Objects$.eval$$anonfun$1(Objects.scala:1035)
[error] dotty.tools.dotc.transform.init.Objects$Cache$Data.$anonfun$5(Objects.scala:519)
[error] dotty.tools.dotc.transform.init.Cache.cachedEval(Cache.scala:112)
[error] dotty.tools.dotc.transform.init.Objects$Cache$Data.cachedEval(Objects.scala:519)
[error] dotty.tools.dotc.transform.init.Objects$.eval(Objects.scala:1035)
[error] dotty.tools.dotc.transform.init.Objects$.evalArgs$$anonfun$1(Objects.scala:1509)
[error] scala.collection.immutable.List.foreach(List.scala:333)
[error] dotty.tools.dotc.transform.init.Objects$.evalArgs(Objects.scala:1528)
[error] dotty.tools.dotc.transform.init.Objects$.cases(Objects.scala:1084)
[error] dotty.tools.dotc.transform.init.Objects$.$anonfun$9$$anonfun$1(Objects.scala:681)
[error] dotty.tools.dotc.transform.init.Objects$Cache$Data.$anonfun$5(Objects.scala:519)
[error] dotty.tools.dotc.transform.init.Cache.cachedEval(Cache.scala:126)
[error] dotty.tools.dotc.transform.init.Objects$Cache$Data.cachedEval(Objects.scala:519)
[error] dotty.tools.dotc.transform.init.Objects$.$anonfun$9(Objects.scala:684)
[error] dotty.tools.dotc.transform.init.Objects$.call(Objects.scala:677)
[error] dotty.tools.dotc.transform.init.Objects$.$anonfun$23(Objects.scala:1106)
[error] dotty.tools.dotc.transform.init.Objects$.cases(Objects.scala:1106)
[error] dotty.tools.dotc.transform.init.Objects$.eval$$anonfun$1(Objects.scala:1035)
[error] dotty.tools.dotc.transform.init.Objects$Cache$Data.$anonfun$5(Objects.scala:519)
[error] dotty.tools.dotc.transform.init.Cache.cachedEval(Cache.scala:112)
[error] dotty.tools.dotc.transform.init.Objects$Cache$Data.cachedEval(Objects.scala:519)
[error] dotty.tools.dotc.transform.init.Objects$.eval(Objects.scala:1035)
[error] dotty.tools.dotc.transform.init.Objects$.cases(Objects.scala:1124)
[error] dotty.tools.dotc.transform.init.Objects$.$anonfun$9$$anonfun$1(Objects.scala:681)
[error] dotty.tools.dotc.transform.init.Objects$Cache$Data.$anonfun$5(Objects.scala:519)
[error] dotty.tools.dotc.transform.init.Cache.cachedEval(Cache.scala:126)
[error] dotty.tools.dotc.transform.init.Objects$Cache$Data.cachedEval(Objects.scala:519)
[error] dotty.tools.dotc.transform.init.Objects$.$anonfun$9(Objects.scala:684)
[error] dotty.tools.dotc.transform.init.Objects$.call(Objects.scala:677)
[error] dotty.tools.dotc.transform.init.Objects$.$anonfun$23(Objects.scala:1106)
[error] dotty.tools.dotc.transform.init.Objects$.cases(Objects.scala:1106)
[error] dotty.tools.dotc.transform.init.Objects$.eval$$anonfun$1(Objects.scala:1035)
[error] dotty.tools.dotc.transform.init.Objects$Cache$Data.$anonfun$5(Objects.scala:519)
[error] dotty.tools.dotc.transform.init.Cache.cachedEval(Cache.scala:112)
[error] dotty.tools.dotc.transform.init.Objects$Cache$Data.cachedEval(Objects.scala:519)
[error] dotty.tools.dotc.transform.init.Objects$.eval(Objects.scala:1035)
[error] dotty.tools.dotc.transform.init.Objects$.evalArgs$$anonfun$1(Objects.scala:1509)
[error] scala.collection.immutable.List.foreach(List.scala:333)
[error] dotty.tools.dotc.transform.init.Objects$.evalArgs(Objects.scala:1528)
[error] dotty.tools.dotc.transform.init.Objects$.cases(Objects.scala:1084)
[error] dotty.tools.dotc.transform.init.Objects$.eval$$anonfun$1(Objects.scala:1035)
[error] dotty.tools.dotc.transform.init.Objects$Cache$Data.$anonfun$5(Objects.scala:519)
[error] dotty.tools.dotc.transform.init.Cache.cachedEval(Cache.scala:112)
[error] dotty.tools.dotc.transform.init.Objects$Cache$Data.cachedEval(Objects.scala:519)
[error] dotty.tools.dotc.transform.init.Objects$.eval(Objects.scala:1035)
[error] dotty.tools.dotc.transform.init.Objects$.evalArgs$$anonfun$1(Objects.scala:1509)
[error] scala.collection.immutable.List.foreach(List.scala:333)
[error] dotty.tools.dotc.transform.init.Objects$.evalArgs(Objects.scala:1528)
[error] dotty.tools.dotc.transform.init.Objects$.cases(Objects.scala:1084)
[error] dotty.tools.dotc.transform.init.Objects$.eval$$anonfun$1(Objects.scala:1035)
[error] dotty.tools.dotc.transform.init.Objects$Cache$Data.$anonfun$5(Objects.scala:519)
[error] dotty.tools.dotc.transform.init.Cache.cachedEval(Cache.scala:112)
[error] dotty.tools.dotc.transform.init.Objects$Cache$Data.cachedEval(Objects.scala:519)
[error] dotty.tools.dotc.transform.init.Objects$.eval(Objects.scala:1035)
[error] dotty.tools.dotc.transform.init.Objects$.init$$anonfun$4(Objects.scala:1639)
[error] scala.collection.immutable.List.foreach(List.scala:333)
[error] dotty.tools.dotc.transform.init.Objects$.init(Objects.scala:1652)
[error] dotty.tools.dotc.transform.init.Objects$State$.iterate$1(Objects.scala:260)
[error] dotty.tools.dotc.transform.init.Objects$State$.doCheckObject(Objects.scala:275)
[error] dotty.tools.dotc.transform.init.Objects$State$.checkObjectAccess(Objects.scala:302)
[error] dotty.tools.dotc.transform.init.Objects$.accessObject(Objects.scala:999)
[error] dotty.tools.dotc.transform.init.Objects$.checkClasses$$anonfun$2(Objects.scala:1012)
[error] scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
[error] scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
[error] scala.collection.AbstractIterable.foreach(Iterable.scala:933)
[error] scala.collection.IterableOps$WithFilter.foreach(Iterable.scala:903)
[error] dotty.tools.dotc.transform.init.Objects$.checkClasses(Objects.scala:1012)
[error] dotty.tools.dotc.transform.init.Checker.runOn(Checker.scala:43)
[error] dotty.tools.dotc.Run.runPhases$1$$anonfun$1(Run.scala:246)
[error] scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
[error] scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
[error] scala.collection.ArrayOps$.foreach$extension(ArrayOps.scala:1323)
[error] dotty.tools.dotc.Run.runPhases$1(Run.scala:263)
[error] dotty.tools.dotc.Run.compileUnits$$anonfun$1(Run.scala:271)
[error] dotty.tools.dotc.Run.compileUnits$$anonfun$adapted$1(Run.scala:280)
[error] dotty.tools.dotc.util.Stats$.maybeMonitored(Stats.scala:71)
[error] dotty.tools.dotc.Run.compileUnits(Run.scala:280)
[error] dotty.tools.dotc.Run.compileSources(Run.scala:194)
[error] dotty.tools.dotc.Run.compile(Run.scala:179)
[error] dotty.tools.dotc.Driver.doCompile(Driver.scala:37)
[error] dotty.tools.xsbt.CompilerBridgeDriver.run(CompilerBridgeDriver.java:136)
[error] dotty.tools.xsbt.CompilerBridge.run(CompilerBridge.java:22)
[error] sbt.internal.inc.AnalyzingCompiler.compile(AnalyzingCompiler.scala:91)
[error] sbt.internal.inc.MixedAnalyzingCompiler.$anonfun$compile$7(MixedAnalyzingCompiler.scala:193)
[error] scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)
[error] sbt.internal.inc.MixedAnalyzingCompiler.timed(MixedAnalyzingCompiler.scala:248)
[error] sbt.internal.inc.MixedAnalyzingCompiler.$anonfun$compile$4(MixedAnalyzingCompiler.scala:183)
[error] sbt.internal.inc.MixedAnalyzingCompiler.$anonfun$compile$4$adapted(MixedAnalyzingCompiler.scala:163)
[error] sbt.internal.inc.JarUtils$.withPreviousJar(JarUtils.scala:239)
[error] sbt.internal.inc.MixedAnalyzingCompiler.compileScala$1(MixedAnalyzingCompiler.scala:163)
[error] sbt.internal.inc.MixedAnalyzingCompiler.compile(MixedAnalyzingCompiler.scala:211)
[error] sbt.internal.inc.IncrementalCompilerImpl.$anonfun$compileInternal$1(IncrementalCompilerImpl.scala:534)
[error] sbt.internal.inc.IncrementalCompilerImpl.$anonfun$compileInternal$1$adapted(IncrementalCompilerImpl.scala:534)
[error] sbt.internal.inc.Incremental$.$anonfun$apply$5(Incremental.scala:180)
[error] sbt.internal.inc.Incremental$.$anonfun$apply$5$adapted(Incremental.scala:178)
[error] sbt.internal.inc.Incremental$$anon$2.run(Incremental.scala:464)
[error] sbt.internal.inc.IncrementalCommon$CycleState.next(IncrementalCommon.scala:116)
[error] sbt.internal.inc.IncrementalCommon$$anon$1.next(IncrementalCommon.scala:56)
[error] sbt.internal.inc.IncrementalCommon$$anon$1.next(IncrementalCommon.scala:52)
[error] sbt.internal.inc.IncrementalCommon.cycle(IncrementalCommon.scala:263)
[error] sbt.internal.inc.Incremental$.$anonfun$incrementalCompile$8(Incremental.scala:419)
[error] sbt.internal.inc.Incremental$.withClassfileManager(Incremental.scala:506)
[error] sbt.internal.inc.Incremental$.incrementalCompile(Incremental.scala:406)
[error] sbt.internal.inc.Incremental$.apply(Incremental.scala:172)
[error] sbt.internal.inc.IncrementalCompilerImpl.compileInternal(IncrementalCompilerImpl.scala:534)
[error] sbt.internal.inc.IncrementalCompilerImpl.$anonfun$compileIncrementally$1(IncrementalCompilerImpl.scala:488)
[error] sbt.internal.inc.IncrementalCompilerImpl.handleCompilationError(IncrementalCompilerImpl.scala:332)
[error] sbt.internal.inc.IncrementalCompilerImpl.compileIncrementally(IncrementalCompilerImpl.scala:425)
[error] sbt.internal.inc.IncrementalCompilerImpl.compile(IncrementalCompilerImpl.scala:137)
[error] sbt.Defaults$.compileIncrementalTaskImpl(Defaults.scala:2369)
[error] sbt.Defaults$.$anonfun$compileIncrementalTask$2(Defaults.scala:2319)
[error] sbt.internal.server.BspCompileTask$.$anonfun$compute$1(BspCompileTask.scala:31)
[error] sbt.internal.io.Retry$.apply(Retry.scala:47)
[error] sbt.internal.io.Retry$.apply(Retry.scala:29)
[error] sbt.internal.io.Retry$.apply(Retry.scala:24)
[error] sbt.internal.server.BspCompileTask$.compute(BspCompileTask.scala:31)
[error] sbt.Defaults$.$anonfun$compileIncrementalTask$1(Defaults.scala:2317)
[error] scala.Function1.$anonfun$compose$1(Function1.scala:49)
[error] sbt.internal.util.$tilde$greater.$anonfun$$u2219$1(TypeFunctions.scala:63)
[error] sbt.std.Transform$$anon$4.work(Transform.scala:69)
[error] sbt.Execute.$anonfun$submit$2(Execute.scala:283)
[error] sbt.internal.util.ErrorHandling$.wideConvert(ErrorHandling.scala:24)
[error] sbt.Execute.work(Execute.scala:292)
[error] sbt.Execute.$anonfun$submit$1(Execute.scala:283)
[error] sbt.ConcurrentRestrictions$$anon$4.$anonfun$submitValid$1(ConcurrentRestrictions.scala:265)
[error] sbt.CompletionService$$anon$2.call(CompletionService.scala:65)
[error] java.base/java.util.concurrent.FutureTask.run(FutureTask.java:264)
[error] java.base/java.util.concurrent.Executors$RunnableAdapter.call(Executors.java:515)
[error] java.base/java.util.concurrent.FutureTask.run(FutureTask.java:264)
[error] java.base/java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1128)
[error] java.base/java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:628)
[error] java.base/java.lang.Thread.run(Thread.java:829)
[error]            
[error] java.util.NoSuchElementException: last of empty list
[error] 	at scala.collection.immutable.Nil$.last(List.scala:665)
[error] 	at scala.collection.immutable.Nil$.last(List.scala:661)
[error] 	at dotty.tools.dotc.transform.init.Objects$.evalSeqPatterns$1(Objects.scala:1418)
[error] 	at dotty.tools.dotc.transform.init.Objects$.evalPattern$1(Objects.scala:1337)
[error] 	at dotty.tools.dotc.transform.init.Objects$.evalCase$1(Objects.scala:1272)
[error] 	at dotty.tools.dotc.transform.init.Objects$.patternMatch$$anonfun$1(Objects.scala:1437)
[error] 	at scala.collection.immutable.List.map(List.scala:246)
[error] 	at dotty.tools.dotc.transform.init.Objects$.patternMatch(Objects.scala:1437)
[error] 	at dotty.tools.dotc.transform.init.Objects$.cases(Objects.scala:1192)
[error] 	at dotty.tools.dotc.transform.init.Objects$.eval$$anonfun$1(Objects.scala:1035)
[error] 	at dotty.tools.dotc.transform.init.Objects$Cache$Data.$anonfun$5(Objects.scala:519)
[error] 	at dotty.tools.dotc.transform.init.Cache.cachedEval(Cache.scala:112)
[error] 	at dotty.tools.dotc.transform.init.Objects$Cache$Data.cachedEval(Objects.scala:519)
[error] 	at dotty.tools.dotc.transform.init.Objects$.eval(Objects.scala:1035)
[error] 	at dotty.tools.dotc.transform.init.Objects$.cases(Objects.scala:1178)
[error] 	at dotty.tools.dotc.transform.init.Objects$.$anonfun$9$$anonfun$1(Objects.scala:681)
[error] 	at dotty.tools.dotc.transform.init.Objects$Cache$Data.$anonfun$5(Objects.scala:519)
[error] 	at dotty.tools.dotc.transform.init.Cache.cachedEval(Cache.scala:126)
[error] 	at dotty.tools.dotc.transform.init.Objects$Cache$Data.cachedEval(Objects.scala:519)
[error] 	at dotty.tools.dotc.transform.init.Objects$.$anonfun$9(Objects.scala:684)
[error] 	at dotty.tools.dotc.transform.init.Objects$.call(Objects.scala:677)
[error] 	at dotty.tools.dotc.transform.init.Objects$.$anonfun$23(Objects.scala:1106)
[error] 	at dotty.tools.dotc.transform.init.Objects$.cases(Objects.scala:1106)
[error] 	at dotty.tools.dotc.transform.init.Objects$.eval$$anonfun$1(Objects.scala:1035)
[error] 	at dotty.tools.dotc.transform.init.Objects$Cache$Data.$anonfun$5(Objects.scala:519)
[error] 	at dotty.tools.dotc.transform.init.Cache.cachedEval(Cache.scala:112)
[error] 	at dotty.tools.dotc.transform.init.Objects$Cache$Data.cachedEval(Objects.scala:519)
[error] 	at dotty.tools.dotc.transform.init.Objects$.eval(Objects.scala:1035)
[error] 	at dotty.tools.dotc.transform.init.Objects$.cases(Objects.scala:1147)
[error] 	at dotty.tools.dotc.transform.init.Objects$.eval$$anonfun$1(Objects.scala:1035)
[error] 	at dotty.tools.dotc.transform.init.Objects$Cache$Data.$anonfun$5(Objects.scala:519)
[error] 	at dotty.tools.dotc.transform.init.Cache.cachedEval(Cache.scala:112)
[error] 	at dotty.tools.dotc.transform.init.Objects$Cache$Data.cachedEval(Objects.scala:519)
[error] 	at dotty.tools.dotc.transform.init.Objects$.eval(Objects.scala:1035)
[error] 	at dotty.tools.dotc.transform.init.Objects$.evalArgs$$anonfun$1(Objects.scala:1509)
[error] 	at scala.collection.immutable.List.foreach(List.scala:333)
[error] 	at dotty.tools.dotc.transform.init.Objects$.evalArgs(Objects.scala:1528)
[error] 	at dotty.tools.dotc.transform.init.Objects$.cases(Objects.scala:1065)
[error] 	at dotty.tools.dotc.transform.init.Objects$.$anonfun$9$$anonfun$1(Objects.scala:681)
[error] 	at dotty.tools.dotc.transform.init.Objects$Cache$Data.$anonfun$5(Objects.scala:519)
[error] 	at dotty.tools.dotc.transform.init.Cache.cachedEval(Cache.scala:126)
[error] 	at dotty.tools.dotc.transform.init.Objects$Cache$Data.cachedEval(Objects.scala:519)
[error] 	at dotty.tools.dotc.transform.init.Objects$.$anonfun$9(Objects.scala:684)
[error] 	at dotty.tools.dotc.transform.init.Objects$.call(Objects.scala:677)
[error] 	at dotty.tools.dotc.transform.init.Objects$.$anonfun$28(Objects.scala:1121)
[error] 	at dotty.tools.dotc.transform.init.Objects$.cases(Objects.scala:1121)
[error] 	at dotty.tools.dotc.transform.init.Objects$.$anonfun$9$$anonfun$1(Objects.scala:681)
[error] 	at dotty.tools.dotc.transform.init.Objects$Cache$Data.$anonfun$5(Objects.scala:519)
[error] 	at dotty.tools.dotc.transform.init.Cache.cachedEval(Cache.scala:126)
[error] 	at dotty.tools.dotc.transform.init.Objects$Cache$Data.cachedEval(Objects.scala:519)
[error] 	at dotty.tools.dotc.transform.init.Objects$.$anonfun$9(Objects.scala:684)
[error] 	at dotty.tools.dotc.transform.init.Objects$.call(Objects.scala:677)
[error] 	at dotty.tools.dotc.transform.init.Objects$.$anonfun$23(Objects.scala:1106)
[error] 	at dotty.tools.dotc.transform.init.Objects$.cases(Objects.scala:1106)
[error] 	at dotty.tools.dotc.transform.init.Objects$.eval$$anonfun$1(Objects.scala:1035)
[error] 	at dotty.tools.dotc.transform.init.Objects$Cache$Data.$anonfun$5(Objects.scala:519)
[error] 	at dotty.tools.dotc.transform.init.Cache.cachedEval(Cache.scala:112)
[error] 	at dotty.tools.dotc.transform.init.Objects$Cache$Data.cachedEval(Objects.scala:519)
[error] 	at dotty.tools.dotc.transform.init.Objects$.eval(Objects.scala:1035)
[error] 	at dotty.tools.dotc.transform.init.Objects$.evalArgs$$anonfun$1(Objects.scala:1509)
[error] 	at scala.collection.immutable.List.foreach(List.scala:333)
[error] 	at dotty.tools.dotc.transform.init.Objects$.evalArgs(Objects.scala:1528)
[error] 	at dotty.tools.dotc.transform.init.Objects$.cases(Objects.scala:1084)
[error] 	at dotty.tools.dotc.transform.init.Objects$.$anonfun$9$$anonfun$1(Objects.scala:681)
[error] 	at dotty.tools.dotc.transform.init.Objects$Cache$Data.$anonfun$5(Objects.scala:519)
[error] 	at dotty.tools.dotc.transform.init.Cache.cachedEval(Cache.scala:126)
[error] 	at dotty.tools.dotc.transform.init.Objects$Cache$Data.cachedEval(Objects.scala:519)
[error] 	at dotty.tools.dotc.transform.init.Objects$.$anonfun$9(Objects.scala:684)
[error] 	at dotty.tools.dotc.transform.init.Objects$.call(Objects.scala:677)
[error] 	at dotty.tools.dotc.transform.init.Objects$.$anonfun$23(Objects.scala:1106)
[error] 	at dotty.tools.dotc.transform.init.Objects$.cases(Objects.scala:1106)
[error] 	at dotty.tools.dotc.transform.init.Objects$.eval$$anonfun$1(Objects.scala:1035)
[error] 	at dotty.tools.dotc.transform.init.Objects$Cache$Data.$anonfun$5(Objects.scala:519)
[error] 	at dotty.tools.dotc.transform.init.Cache.cachedEval(Cache.scala:112)
[error] 	at dotty.tools.dotc.transform.init.Objects$Cache$Data.cachedEval(Objects.scala:519)
[error] 	at dotty.tools.dotc.transform.init.Objects$.eval(Objects.scala:1035)
[error] 	at dotty.tools.dotc.transform.init.Objects$.cases(Objects.scala:1124)
[error] 	at dotty.tools.dotc.transform.init.Objects$.$anonfun$9$$anonfun$1(Objects.scala:681)
[error] 	at dotty.tools.dotc.transform.init.Objects$Cache$Data.$anonfun$5(Objects.scala:519)
[error] 	at dotty.tools.dotc.transform.init.Cache.cachedEval(Cache.scala:126)
[error] 	at dotty.tools.dotc.transform.init.Objects$Cache$Data.cachedEval(Objects.scala:519)
[error] 	at dotty.tools.dotc.transform.init.Objects$.$anonfun$9(Objects.scala:684)
[error] 	at dotty.tools.dotc.transform.init.Objects$.call(Objects.scala:677)
[error] 	at dotty.tools.dotc.transform.init.Objects$.$anonfun$23(Objects.scala:1106)
[error] 	at dotty.tools.dotc.transform.init.Objects$.cases(Objects.scala:1106)
[error] 	at dotty.tools.dotc.transform.init.Objects$.eval$$anonfun$1(Objects.scala:1035)
[error] 	at dotty.tools.dotc.transform.init.Objects$Cache$Data.$anonfun$5(Objects.scala:519)
[error] 	at dotty.tools.dotc.transform.init.Cache.cachedEval(Cache.scala:112)
[error] 	at dotty.tools.dotc.transform.init.Objects$Cache$Data.cachedEval(Objects.scala:519)
[error] 	at dotty.tools.dotc.transform.init.Objects$.eval(Objects.scala:1035)
[error] 	at dotty.tools.dotc.transform.init.Objects$.evalArgs$$anonfun$1(Objects.scala:1509)
[error] 	at scala.collection.immutable.List.foreach(List.scala:333)
[error] 	at dotty.tools.dotc.transform.init.Objects$.evalArgs(Objects.scala:1528)
[error] 	at dotty.tools.dotc.transform.init.Objects$.cases(Objects.scala:1084)
[error] 	at dotty.tools.dotc.transform.init.Objects$.eval$$anonfun$1(Objects.scala:1035)
[error] 	at dotty.tools.dotc.transform.init.Objects$Cache$Data.$anonfun$5(Objects.scala:519)
[error] 	at dotty.tools.dotc.transform.init.Cache.cachedEval(Cache.scala:112)
[error] 	at dotty.tools.dotc.transform.init.Objects$Cache$Data.cachedEval(Objects.scala:519)
[error] 	at dotty.tools.dotc.transform.init.Objects$.eval(Objects.scala:1035)
[error] 	at dotty.tools.dotc.transform.init.Objects$.evalArgs$$anonfun$1(Objects.scala:1509)
[error] 	at scala.collection.immutable.List.foreach(List.scala:333)
[error] 	at dotty.tools.dotc.transform.init.Objects$.evalArgs(Objects.scala:1528)
[error] 	at dotty.tools.dotc.transform.init.Objects$.cases(Objects.scala:1084)
[error] 	at dotty.tools.dotc.transform.init.Objects$.eval$$anonfun$1(Objects.scala:1035)
[error] 	at dotty.tools.dotc.transform.init.Objects$Cache$Data.$anonfun$5(Objects.scala:519)
[error] 	at dotty.tools.dotc.transform.init.Cache.cachedEval(Cache.scala:112)
[error] 	at dotty.tools.dotc.transform.init.Objects$Cache$Data.cachedEval(Objects.scala:519)
[error] 	at dotty.tools.dotc.transform.init.Objects$.eval(Objects.scala:1035)
[error] 	at dotty.tools.dotc.transform.init.Objects$.init$$anonfun$4(Objects.scala:1639)
[error] 	at scala.collection.immutable.List.foreach(List.scala:333)
[error] 	at dotty.tools.dotc.transform.init.Objects$.init(Objects.scala:1652)
[error] 	at dotty.tools.dotc.transform.init.Objects$State$.iterate$1(Objects.scala:260)
[error] 	at dotty.tools.dotc.transform.init.Objects$State$.doCheckObject(Objects.scala:275)
[error] 	at dotty.tools.dotc.transform.init.Objects$State$.checkObjectAccess(Objects.scala:302)
[error] 	at dotty.tools.dotc.transform.init.Objects$.accessObject(Objects.scala:999)
[error] 	at dotty.tools.dotc.transform.init.Objects$.checkClasses$$anonfun$2(Objects.scala:1012)
[error] 	at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
[error] 	at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
[error] 	at scala.collection.AbstractIterable.foreach(Iterable.scala:933)
[error] 	at scala.collection.IterableOps$WithFilter.foreach(Iterable.scala:903)
[error] 	at dotty.tools.dotc.transform.init.Objects$.checkClasses(Objects.scala:1012)
[error] 	at dotty.tools.dotc.transform.init.Checker.runOn(Checker.scala:43)
[error] 	at dotty.tools.dotc.Run.runPhases$1$$anonfun$1(Run.scala:246)
[error] 	at scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
[error] 	at scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
[error] 	at scala.collection.ArrayOps$.foreach$extension(ArrayOps.scala:1323)
[error] 	at dotty.tools.dotc.Run.runPhases$1(Run.scala:263)
[error] 	at dotty.tools.dotc.Run.compileUnits$$anonfun$1(Run.scala:271)
[error] 	at dotty.tools.dotc.Run.compileUnits$$anonfun$adapted$1(Run.scala:280)
[error] 	at dotty.tools.dotc.util.Stats$.maybeMonitored(Stats.scala:71)
[error] 	at dotty.tools.dotc.Run.compileUnits(Run.scala:280)
[error] 	at dotty.tools.dotc.Run.compileSources(Run.scala:194)
[error] 	at dotty.tools.dotc.Run.compile(Run.scala:179)
[error] 	at dotty.tools.dotc.Driver.doCompile(Driver.scala:37)
[error] 	at dotty.tools.xsbt.CompilerBridgeDriver.run(CompilerBridgeDriver.java:136)
[error] 	at dotty.tools.xsbt.CompilerBridge.run(CompilerBridge.java:22)
[error] 	at sbt.internal.inc.AnalyzingCompiler.compile(AnalyzingCompiler.scala:91)
[error] 	at sbt.internal.inc.MixedAnalyzingCompiler.$anonfun$compile$7(MixedAnalyzingCompiler.scala:193)
[error] 	at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)
[error] 	at sbt.internal.inc.MixedAnalyzingCompiler.timed(MixedAnalyzingCompiler.scala:248)
[error] 	at sbt.internal.inc.MixedAnalyzingCompiler.$anonfun$compile$4(MixedAnalyzingCompiler.scala:183)
[error] 	at sbt.internal.inc.MixedAnalyzingCompiler.$anonfun$compile$4$adapted(MixedAnalyzingCompiler.scala:163)
[error] 	at sbt.internal.inc.JarUtils$.withPreviousJar(JarUtils.scala:239)
[error] 	at sbt.internal.inc.MixedAnalyzingCompiler.compileScala$1(MixedAnalyzingCompiler.scala:163)
[error] 	at sbt.internal.inc.MixedAnalyzingCompiler.compile(MixedAnalyzingCompiler.scala:211)
[error] 	at sbt.internal.inc.IncrementalCompilerImpl.$anonfun$compileInternal$1(IncrementalCompilerImpl.scala:534)
[error] 	at sbt.internal.inc.IncrementalCompilerImpl.$anonfun$compileInternal$1$adapted(IncrementalCompilerImpl.scala:534)
[error] 	at sbt.internal.inc.Incremental$.$anonfun$apply$5(Incremental.scala:180)
[error] 	at sbt.internal.inc.Incremental$.$anonfun$apply$5$adapted(Incremental.scala:178)
[error] 	at sbt.internal.inc.Incremental$$anon$2.run(Incremental.scala:464)
[error] 	at sbt.internal.inc.IncrementalCommon$CycleState.next(IncrementalCommon.scala:116)
[error] 	at sbt.internal.inc.IncrementalCommon$$anon$1.next(IncrementalCommon.scala:56)
[error] 	at sbt.internal.inc.IncrementalCommon$$anon$1.next(IncrementalCommon.scala:52)
[error] 	at sbt.internal.inc.IncrementalCommon.cycle(IncrementalCommon.scala:263)
[error] 	at sbt.internal.inc.Incremental$.$anonfun$incrementalCompile$8(Incremental.scala:419)
[error] 	at sbt.internal.inc.Incremental$.withClassfileManager(Incremental.scala:506)
[error] 	at sbt.internal.inc.Incremental$.incrementalCompile(Incremental.scala:406)
[error] 	at sbt.internal.inc.Incremental$.apply(Incremental.scala:172)
[error] 	at sbt.internal.inc.IncrementalCompilerImpl.compileInternal(IncrementalCompilerImpl.scala:534)
[error] 	at sbt.internal.inc.IncrementalCompilerImpl.$anonfun$compileIncrementally$1(IncrementalCompilerImpl.scala:488)
[error] 	at sbt.internal.inc.IncrementalCompilerImpl.handleCompilationError(IncrementalCompilerImpl.scala:332)
[error] 	at sbt.internal.inc.IncrementalCompilerImpl.compileIncrementally(IncrementalCompilerImpl.scala:425)
[error] 	at sbt.internal.inc.IncrementalCompilerImpl.compile(IncrementalCompilerImpl.scala:137)
[error] 	at sbt.Defaults$.compileIncrementalTaskImpl(Defaults.scala:2369)
[error] 	at sbt.Defaults$.$anonfun$compileIncrementalTask$2(Defaults.scala:2319)
[error] 	at sbt.internal.server.BspCompileTask$.$anonfun$compute$1(BspCompileTask.scala:31)
[error] 	at sbt.internal.io.Retry$.apply(Retry.scala:47)
[error] 	at sbt.internal.io.Retry$.apply(Retry.scala:29)
[error] 	at sbt.internal.io.Retry$.apply(Retry.scala:24)
[error] 	at sbt.internal.server.BspCompileTask$.compute(BspCompileTask.scala:31)
[error] 	at sbt.Defaults$.$anonfun$compileIncrementalTask$1(Defaults.scala:2317)
[error] 	at scala.Function1.$anonfun$compose$1(Function1.scala:49)
[error] 	at sbt.internal.util.$tilde$greater.$anonfun$$u2219$1(TypeFunctions.scala:63)
[error] 	at sbt.std.Transform$$anon$4.work(Transform.scala:69)
[error] 	at sbt.Execute.$anonfun$submit$2(Execute.scala:283)
[error] 	at sbt.internal.util.ErrorHandling$.wideConvert(ErrorHandling.scala:24)
[error] 	at sbt.Execute.work(Execute.scala:292)
[error] 	at sbt.Execute.$anonfun$submit$1(Execute.scala:283)
[error] 	at sbt.ConcurrentRestrictions$$anon$4.$anonfun$submitValid$1(ConcurrentRestrictions.scala:265)
[error] 	at sbt.CompletionService$$anon$2.call(CompletionService.scala:65)
[error] 	at java.base/java.util.concurrent.FutureTask.run(FutureTask.java:264)
[error] 	at java.base/java.util.concurrent.Executors$RunnableAdapter.call(Executors.java:515)
[error] 	at java.base/java.util.concurrent.FutureTask.run(FutureTask.java:264)
[error] 	at java.base/java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1128)
[error] 	at java.base/java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:628)
[error] 	at java.base/java.lang.Thread.run(Thread.java:829)
[error] (core / Compile / compileIncremental) java.util.NoSuchElementException: last of empty list
@q-ata q-ata added itype:bug itype:crash stat:needs triage Every issue needs to have an "area" and "itype" label labels Sep 30, 2023
@liufengyun liufengyun added area:initialization and removed stat:needs triage Every issue needs to have an "area" and "itype" label labels Sep 30, 2023
@liufengyun liufengyun self-assigned this Sep 30, 2023
@EnzeXing
Copy link
Contributor

Here is a minimization:

object EnvDefault {
  val default = Arguments()
}

case class Arguments(arguments: Seq[String], i: Int)

object Arguments {
  def apply(arguments: String*) = m(arguments)
  def m(arguments: Seq[String]) = {
    arguments.toList match {
      case List() => new Arguments(arguments, 0)
      case _ => new Arguments(arguments, 0)
    }
  }
}

It seems that if the scrutinee of pattern matching is a toList selection for a Seq, the initialization checker will fail. I'll try to fix the bug.

@EnzeXing
Copy link
Contributor

Here is a smaller minimization:

object Foo {
  val bar = List() match {
    case List() => ???
  }
}

which shows that true cause of the bug: pattern matching on List()

@liufengyun liufengyun mentioned this issue Nov 3, 2023
Merged
olhotak added a commit that referenced this issue Nov 4, 2023
@olhotak
Fix i18629 (#18839)
5454110 
This PR fixes the minimized test of #18629 that could previously crash
the global initialization checker because of empty patterns when
matching against `List()`.
@smarter
Copy link
Member

smarter commented Nov 5, 2023

Fixed by #18839.

@smarter smarter closed this as completed Nov 5, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@liufengyun liufengyun

Labels
area:initialization itype:bug itype:crash
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
4 participants
@smarter @liufengyun @q-ata @EnzeXing