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.

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

beam_ssa_type: Don't filter out literals in meet_types/2 #6582

Conversation

jhogberg
Copy link
Contributor

We can't skip meeting literals since we may have to bail out when the result is 'none'. We still don't need to store the result however.

Fixes #6578
Fixes #6568

@jhogberg jhogberg added team:VM Assigned to OTP team VM fix testing currently being tested, tag is used by OTP internal CI labels Dec 20, 2022
@jhogberg jhogberg added this to the OTP-26.0 milestone Dec 20, 2022
@jhogberg jhogberg requested a review from bjorng December 20, 2022 09:32
@jhogberg jhogberg self-assigned this Dec 20, 2022
@jhogberg jhogberg force-pushed the john/compiler/infer_relops-singleton-bug/GH-6568 branch from c12d60c to df80f8e Compare December 20, 2022 09:35
We can't skip meeting literals since we may have to bail out when
the result is 'none'. We still don't need to store the result
however.
@jhogberg jhogberg force-pushed the john/compiler/infer_relops-singleton-bug/GH-6568 branch from df80f8e to b9eb167 Compare December 20, 2022 09:55
@github-actions
Copy link
Contributor

github-actions bot commented Dec 20, 2022

CT Test Results

       2 files     285 suites   13m 12s ⏱️
   748 tests    746 ✔️ 2 💤 0
4 637 runs  4 635 ✔️ 2 💤 0

Results for commit b9eb167.

♻️ This comment has been updated with latest results.

To speed up review, make sure that you have read Contributing to Erlang/OTP and that all checks pass.

See the TESTING and DEVELOPMENT HowTo guides for details about how to run test locally.

Artifacts

// Erlang/OTP Github Action Bot

@jhogberg jhogberg merged commit b099804 into erlang:master Dec 22, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
fix team:VM Assigned to OTP team VM testing currently being tested, tag is used by OTP internal CI
Projects
None yet
Development

Successfully merging this pull request may close these issues.

[erlc] hang on small testcase [erlc] internal error in pass beam_ssa_opt, sub pass ssa_opt_type_continue
2 participants