Skip to content

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

Closed
jruderman opened this issue Jul 8, 2011 · 1 comment
Closed

trans_put - 'non-exhaustive match failure' #639

jruderman opened this issue Jul 8, 2011 · 1 comment

Comments

@jruderman
Copy link
Contributor

rt: 9736:main:main: upcall fail 'non-exhaustive match failure', ../src/comp/middle/trans.rs:6572

iter under(uint hi) -> uint {
    let uint y = 0u;
    while (y < hi) {
        put y;
        y += 1u;
    }
}

iter several_zeroes() {
    for each (uint i in under(3u)) {
        put 0u;
    }
}
@jruderman
Copy link
Contributor Author

Better testcase, still shows this bug after the fix for issue 638:

iter under(uint hi) -> uint {
    let uint y = 0u;
    while (y < hi) {
        put y;
        y += 1u;
    }
}

iter several_zeroes() -> uint {
    for each (uint i in under(3u)) {
        put 0u;
    }
}

marijnh added a commit that referenced this issue Jul 8, 2011
@pcwalton pcwalton closed this as completed 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
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants