-
Notifications
You must be signed in to change notification settings - Fork 13.4k
trans_put - 'non-exhaustive match failure' #639
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
Comments
Better testcase, still shows this bug after the fix for issue 638:
|
marijnh
added a commit
that referenced
this issue
Jul 8, 2011
keeperofdakeys
pushed a commit
to keeperofdakeys/rust
that referenced
this issue
Dec 12, 2017
…richton Add socket constants for more platforms Missing a few constants across all nix-supported platforms (see nix-rust/nix#636) so this adds them. This is still a work in progress as I wanted to make sure I didn't break anything doing most of the fixes. I'll come back and finish this up later.
bors
pushed a commit
to rust-lang-ci/rust
that referenced
this issue
Oct 26, 2020
ZuseZ4
added a commit
to EnzymeAD/rust
that referenced
this issue
Mar 7, 2023
* fix most of the LLVM 14 tests Co-authored-by: Manuel Drehwald <[email protected]>
celinval
pushed a commit
to celinval/rust-dev
that referenced
this issue
Jun 4, 2024
* Handle common CBMC flags via RMC * Address some PR comments * Format * Improve help messages for CBMC common flags * Remove `--default-values` and add `--auto-unwind`. * Add feature to `cargo-rmc` * Move default values to `rmc_flags`, add them to help message Co-authored-by: Daniel Schwartz-Narbonne <[email protected]>
GuillaumeGomez
pushed a commit
to GuillaumeGomez/rust
that referenced
this issue
Apr 18, 2025
…e_mini_core Cleaned up tests by bringing objects under `mini_core` into scope
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
rt: 9736:main:main: upcall fail 'non-exhaustive match failure', ../src/comp/middle/trans.rs:6572
The text was updated successfully, but these errors were encountered: