We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
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
The scala compiler crashes with expressions of the form
((a || ???) && (b || ???))
where ??? is of type Nothing (i.e., throws an exception). The Bug is not triggered by (a || ???).
???
Nothing
(a || ???)
A quick look at scala.tools.nsc.backend.jvm.GenASM indicates an undefined failure label:
scala.tools.nsc.backend.jvm.GenASM
2442: jcode.emitIF(cond.negate(), labels(failure))
This is a regression from Scala 2.10.
(see: scala/scala#2185, https://github.com/scala/scala/issues/3793)
Workaround: -YdisableUnreachablePrevention (Alternatively: -Ylinearizer:normal)
-YdisableUnreachablePrevention
-Ylinearizer:normal
java version "1.7.0_55" OpenJDK Runtime Environment (IcedTea 2.4.7) (ArchLinux build 7.u55_2.4.7-1-x86_64) OpenJDK 64-Bit Server VM (build 24.51-b03, mixed mode)
Scala code runner version 2.11.1 -- Copyright 2002-2013, LAMP/EPFL
The text was updated successfully, but these errors were encountered:
Imported From: https://issues.scala-lang.org/browse/SI-8625?orig=1 Reporter: Gidon Ernst (gernst) Affected Versions: 2.11.1 Attachments:
Sorry, something went wrong.
@retronym said: Here's a diff of -Ylog:icode -Ydebug without/with unreachable block prevention:
-Ylog:icode -Ydebug
https://gist.github.com/retronym/ccdca4c9085b36964ebb
@retronym said: WIP: https://github.com/retronym/scala/tree/ticket/8625
@lrytz said: fixed in scala/scala#3794
lrytz
No branches or pull requests
The scala compiler crashes with expressions of the form
where
???
is of typeNothing
(i.e., throws an exception).The Bug is not triggered by
(a || ???)
.A quick look at
scala.tools.nsc.backend.jvm.GenASM
indicates an undefined failure label:This is a regression from Scala 2.10.
(see: scala/scala#2185, https://github.com/scala/scala/issues/3793)
Workaround:
-YdisableUnreachablePrevention
(Alternatively:
-Ylinearizer:normal
)java version "1.7.0_55"
OpenJDK Runtime Environment (IcedTea 2.4.7) (ArchLinux build 7.u55_2.4.7-1-x86_64)
OpenJDK 64-Bit Server VM (build 24.51-b03, mixed mode)
Scala code runner version 2.11.1 -- Copyright 2002-2013, LAMP/EPFL
The text was updated successfully, but these errors were encountered: