Skip to content
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

Keyword changes #3063

Closed
brson opened this issue Jul 31, 2012 · 1 comment
Closed

Keyword changes #3063

brson opened this issue Jul 31, 2012 · 1 comment
Assignees
@brson
Labels
A-frontend Area: Compiler frontend (errors, parsing and HIR)
Milestone
0.4

Comments

@brson
Copy link
Contributor

brson commented Jul 31, 2012

We've agreed on some keyword changes

ret -> return
mod -> module
alt -> match

And we are going to reserve 'pub' and 'priv'
@ghost ghost assigned brson Jul 31, 2012
@brson
Copy link
Contributor Author

brson commented Aug 7, 2012

ret and alt are done. I refused to do the mod change and nobody seemed to mind.

@brson brson closed this as completed Aug 7, 2012
bors pushed a commit to rust-lang-ci/rust that referenced this issue May 15, 2021
@nrc
Merge pull request rust-lang#3063 from otavio/add-doc-is_doc_comment
b32cf4a 
comment: Add documentation to `is_doc_comment` public method
celinval pushed a commit to celinval/rust-dev that referenced this issue Jun 4, 2024
@karkhaz
Emit dead goto-instructions on MIR StatementDead (rust-lang#3063)
0cc4b24 
This commit adds a new `Dead` goto-instruction that gets codegened
whenever Kani sees a MIR `StatementDead` statement. This new
goto instruction corresponds to the CBMC [code_deadt](
https://diffblue.github.io/cbmc/classcode__deadt.html) statement
that marks the point where a local variable goes out of scope.

This new instruction is needed to detect invalid accesses of dead local
variables.

The commit also codegens a CBMC `Decl` instruction upon seeing a MIR
StatementLive. This ensures that variables that go out of scope at the
end of a loop are not falsely marked as having a dead dereference when
they are accessed on the next loop iteration.

Resolves rust-lang#3061.

By submitting this pull request, I confirm that my contribution is made under
the terms of the Apache 2.0 and MIT licenses.
celinval pushed a commit to celinval/rust-dev that referenced this issue Jun 4, 2024
@zhassan-aws
Add a multi-crate test for rust-lang#3061 (rust-lang#3076)
6dfe0a0 
This is a follow-up on rust-lang#3063 that adds a test with multiple crates to
make sure this scenario is correctly handled and that Kani reports the
bug.

By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.
celinval pushed a commit to celinval/rust-dev that referenced this issue Jun 4, 2024
@zhassan-aws
Ensure storage markers are kept in std code (rust-lang#3080)
c4f16e9 
This is a follow-up to rust-lang#3063 that turns off that MIR pass while
compiling `std` as well to ensure any bugs of the same nature in `std`
are captured by Kani.

Resolves rust-lang#3079
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@brson brson

Labels
A-frontend Area: Compiler frontend (errors, parsing and HIR)
Projects
None yet
Milestone
0.4
Development

No branches or pull requests
1 participant
@brson