-
Notifications
You must be signed in to change notification settings - Fork 13k
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
Something broken when translating mutable aliases of vec. #89
Comments
Fixed by 3175c83 |
mbrubeck
pushed a commit
to mbrubeck/rust
that referenced
this issue
Oct 17, 2011
oli-obk
pushed a commit
to oli-obk/rust
that referenced
this issue
Jul 19, 2017
Remove PrimValKind field from PrimVal.
keeperofdakeys
pushed a commit
to keeperofdakeys/rust
that referenced
this issue
Dec 12, 2017
Add dirent DT_* definitions
kazcw
pushed a commit
to kazcw/rust
that referenced
this issue
Oct 23, 2018
dlrobertson
pushed a commit
to dlrobertson/rust
that referenced
this issue
Nov 29, 2018
Added identifiers grammar
eddyb
pushed a commit
to eddyb/rust
that referenced
this issue
Jun 30, 2020
Aaron1011
pushed a commit
to Aaron1011/rust
that referenced
this issue
Oct 26, 2020
djtech-dev
pushed a commit
to djtech-dev/rust
that referenced
this issue
Dec 9, 2021
Add support for LLVM 8
celinval
pushed a commit
to celinval/rust-dev
that referenced
this issue
Jun 4, 2024
Add fat-pointer regression tests
jaisnan
pushed a commit
to jaisnan/rust-dev
that referenced
this issue
Oct 15, 2024
Currently, this harness takes 21 minutes in CI. The only point of this harness is to verify the contract for pointee types with a non-power of two byte size--17 was an arbitrary choice. Reducing to 5 and changing the solver reduces verification time to 57 seconds on my local machine. 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
The test case at run-pass/mutable-alias-vec.rs --- XFAILed at present --- throws an exception in trans.ml. See https://gist.github.com/bc442b11874e9f4b522e for a sample trace.
Investigate the matter and fix it.
The text was updated successfully, but these errors were encountered: