Encode interior mutable-ness in dwarf #72
Comments
|
Fixed a while ago when we banished slots to frames alone and added boxes. |
oli-obk
pushed a commit
to oli-obk/rust
that referenced
this issue
Jul 19, 2017
rustup to rustc 1.14.0-nightly (3f44083 2016-10-27)
keeperofdakeys
pushed a commit
to keeperofdakeys/rust
that referenced
this issue
Dec 12, 2017
Don't link librt on android
Aaron1011
pushed a commit
to Aaron1011/rust
that referenced
this issue
Oct 26, 2020
antoyo
pushed a commit
to antoyo/rust
that referenced
this issue
Sep 17, 2021
* Implement basic support for inline assembly * Disable LTO We don't support it yet at all * Handle `inout(reg) var` correctly Turns out that `+` readwrite output registers cannot be tied with input variables. * Add limited support for llvm_asm! * Handle CHANNEL correctly * Add support for arbitrary explicit registers * Handle symbols properly * Add rudimentary asm tests * Exclude llvm_asm! tests from tests runs * Insert `__builtin_unreachable()` after diverging asm blocks
bors
pushed a commit
to rust-lang-ci/rust
that referenced
this issue
Oct 1, 2021
proptest This replaces most tests with proptest, and makes it easier to define tests generically over lane count. This should provide much broader API coverage and give us more confidence in our implementation.
djtech-dev
pushed a commit
to djtech-dev/rust
that referenced
this issue
Dec 9, 2021
…2018 (master) Update to 2018 edition
carolynzech
pushed a commit
to celinval/rust-dev
that referenced
this issue
Dec 13, 2024
…ion (rust-lang#136) Resolves rust-lang#72 We added invariants for Nanoseconds and Duration to match the safety conditions for those types. We add safety requirements to the following methods: - `new`, `from_secs`, `from_millis`, `from_micros`, `from_nanos`, `as_secs`, `as_millis`, `as_micros`, `as_nanos`, `subsec_millis`, `subsec_micros`, `subsec_nanos`, `checked_add`, `checked_sub`, `checked_mul`, `checked_div` We additionally add correctness conditions to the following methods: - `from_secs`, `as_secs`, `subsec_millis`, `subsec_micros`, `subsec_nanos`, `as_millis`, `as_micros` Support for `kani::Invariant` depends on rust-lang#87. For the interim we implemented a proxy trait `TempInvariant` that exposes the same `is_safe` method. We will update this once rust-lang#87 is merged. While the safety check for `Duration::as_nanos()` succeeds, we ran into timeouts for `Duration::as_nanos()` when we tried to use a correctness contract and we're looking for advice on how to speed up that verification time. We were able to prove it for `u16::MAX`, but hit timeouts for larger numbers. We are unsure if the pre-conditions for `Duration::new()` are acceptable because they limit the range of values that you can call `Duration::new()` with. However, we think it's reasonable since we limit the values to values that don't panic. Let us know if this is a thing that we should change. By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses. --------- Co-authored-by: Cole Vick <[email protected]> Co-authored-by: Celina G. Val <[email protected]> Co-authored-by: Michael Tautschnig <[email protected]>
carolynzech
pushed a commit
to celinval/rust-dev
that referenced
this issue
Dec 13, 2024
Resolves rust-lang#72 By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.
This issue was closed.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Slot mutability is only encoded on exterior and alias types in dwarf. Need to encode for interiors as well.
The text was updated successfully, but these errors were encountered: