Skip to content

Alt arms with effect blocks don't parse the same as plain blocks #3075

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.

Sign up for GitHub

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

Jump to bottom
Closed
brson opened this issue Aug 1, 2012 · 1 comment
Closed

Alt arms with effect blocks don't parse the same as plain blocks #3075

brson opened this issue Aug 1, 2012 · 1 comment
Assignees
@brson
Labels
A-grammar Area: The grammar of Rust
Milestone
0.4

Comments

@brson
Copy link
Contributor

brson commented Aug 1, 2012 

alt foo {
    true => unsafe { }, // requires a comma. normal blocks don't
    _ => { }
}
@ghost ghost assigned brson Aug 1, 2012
@brson
Copy link
Contributor Author

brson commented Aug 5, 2012

Done.

@brson brson closed this as completed Aug 5, 2012
RalfJung pushed a commit to RalfJung/rust that referenced this issue Sep 25, 2023
@bors
Auto merge of rust-lang#3075 - eduardosm:x86-addcarry-subborrow, r=Ra…
d644603 
…lfJung

Move `llvm.x86.*` shims into `shims::x86` and implement `_addcarry_u32` and `_subborrow_u{32,64}`

This PR moves all `llvm.x86.*` shims into `shims::x86` and adds `llvm.x86.addcarry.32`, `llvm.x86.subborrow.32` and `llvm.x86.subborrow.64`.

Additionally, it fixes the input carry semantics of `llvm.x86.addcarry.32`. The input carry is an 8-bit value that is interpreted as 1 when it is non-zero.

https://www.intel.com/content/www/us/en/docs/cpp-compiler/developer-guide-reference/2021-8/addcarry-u32-addcarry-u64.html
celinval pushed a commit to celinval/rust-dev that referenced this issue Jun 4, 2024
@zhassan-aws
Bump Kani version to 0.48.0 (rust-lang#3075)
e004ecc 
These are the original release notes for the reference:

## What's Changed
* Automatic cargo update to 2024-02-26 by @github-actions in
model-checking/kani#3043
* Upgrade rust toolchain to 2024-02-17 by @celinval in
model-checking/kani#3040
* Upgrade `windows-targets` crate to version 0.52.4 by @adpaco-aws in
model-checking/kani#3049
* Fix `codegen_atomic_binop` for `atomic_ptr` by @qinheping in
model-checking/kani#3047
* Upgrade Rust toolchain to `nightly-2024-02-25` by @adpaco-aws in
model-checking/kani#3048
* Update s2n-quic submodule by @zhassan-aws in
model-checking/kani#3050
* Update s2n-quic submodule weekly through dependabot by @zhassan-aws in
model-checking/kani#3053
* Retrieve info for recursion tracker reliably by @feliperodri in
model-checking/kani#3045
* Automatic cargo update to 2024-03-04 by @github-actions in
model-checking/kani#3055
* Upgrade Rust toolchain to `nightly-2024-03-01` by @adpaco-aws in
model-checking/kani#3052
* Add `--use-local-toolchain` to Kani setup by @jaisnan in
model-checking/kani#3056
* Replace internal reverse_postorder by a stable one by @celinval in
model-checking/kani#3064
* Add option to override `--crate-name` from `kani` by @adpaco-aws in
model-checking/kani#3054
* cargo update and fix macos CI by @zhassan-aws in
model-checking/kani#3067
* Bump tests/perf/s2n-quic from `d103836` to `1a7faa8` by @dependabot in
model-checking/kani#3066
* Upgrade toolchain to 2024-03-11 by @zhassan-aws in
model-checking/kani#3071
* Emit `dead` goto-instructions on MIR StatementDead by @karkhaz in
model-checking/kani#3063


**Full Changelog**:
model-checking/kani@kani-0.47.0...kani-0.48.0
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@brson brson

Labels
A-grammar Area: The grammar of Rust
Projects
None yet
Milestone
0.4
Development

No branches or pull requests
1 participant
@brson