-
-
Notifications
You must be signed in to change notification settings - Fork 5.4k
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.
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
IR verification error caused by exct modeling changes #52846
Labels
compiler:optimizer
Optimization passes (mostly in base/compiler/ssair/)
kind:regression
Regression in behavior compared to a previous version
Milestone
Comments
maleadt
added
kind:regression
Regression in behavior compared to a previous version
compiler:optimizer
Optimization passes (mostly in base/compiler/ssair/)
labels
Jan 10, 2024
Keno
added a commit
that referenced
this issue
Jan 10, 2024
Fixes #52846. Different unreachability checks use different definitions for this and were inconsistenct, causing the assertion. Since the exct modeling isn't fully plubmed through all corners of the compiler yet, also change the caller code to force the nothrow effect to be authoritative for the time being.
PkgEval revealed that this also gets triggered by a couple of packages (including XLSX.jl and SumOfSquares.jl). |
Keno
added a commit
that referenced
this issue
Jan 11, 2024
Fixes #52846. Different unreachability checks use different definitions for this and were inconsistenct, causing the assertion. Since the exct modeling isn't fully plubmed through all corners of the compiler yet, also change the caller code to force the nothrow effect to be authoritative for the time being.
Keno
added a commit
that referenced
this issue
Jan 12, 2024
Fixes #52846. Different unreachability checks use different definitions for this and were inconsistenct, causing the assertion. Since the exct modeling isn't fully plubmed through all corners of the compiler yet, also change the caller code to force the nothrow effect to be authoritative for the time being.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Labels
compiler:optimizer
Optimization passes (mostly in base/compiler/ssair/)
kind:regression
Regression in behavior compared to a previous version
MWE, reduced from the subtype tests:
Bisected to #51754, cc @Keno. Possibly related to #52808?
The text was updated successfully, but these errors were encountered: