Skip to content

add typestate pass to rustc #232

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom
Closed
graydon opened this issue Feb 23, 2011 · 1 comment
Closed

add typestate pass to rustc #232

graydon opened this issue Feb 23, 2011 · 1 comment

Comments

@graydon
Copy link
Contributor

graydon commented Feb 23, 2011

rustc has no typestate checker. add one.
@graydon
Copy link
Contributor Author

graydon commented May 26, 2011

This exists now. It's not complete but it's far enough along to call it "existing" and close this bug. File followups for subsequent improvements.

@graydon graydon closed this as completed May 26, 2011
oli-obk added a commit to oli-obk/rust that referenced this issue Jul 19, 2017
@oli-obk
Merge pull request rust-lang#232 from oli-obk/master
9a04be9 
Only check pointers when dereferencing
dlrobertson pushed a commit to dlrobertson/rust that referenced this issue Nov 29, 2018
@Havvy
Merge pull request rust-lang#232 from ekse/update-undocumented-chaine…
57f6442 
…d-comparisons

Remove chained comparisons from the undocumented page.
@venkag venkag mentioned this issue Feb 13, 2019
Closed
ZuseZ4 pushed a commit to EnzymeAD/rust that referenced this issue Mar 7, 2023
@tgymnich
Implement FNeg for Forward Mode (rust-lang#232)
e5d4699 
* implement fneg for forward mode

* fix tests

* fail early
matthiaskrgr pushed a commit to matthiaskrgr/rust that referenced this issue Mar 7, 2023
@antoyo
Merge pull request rust-lang#232 from GuillaumeGomez/more-inline-asm-…
bfc184c 
…register-class-conversion

Add missing register class conversion for inline asm
celinval pushed a commit to celinval/rust-dev that referenced this issue Jun 4, 2024
@adpaco-aws @tedinski
Use RMC prelude in all tests (rust-lang#232)
3467030
celinval pushed a commit to celinval/rust-dev that referenced this issue Jan 3, 2025
@zhassan-aws
Add missing line separator (rust-lang#232)
1a38674 
Fix a typo introduced in rust-lang#229 that prevents `kani-args` from getting
passed to the `kani` command.

This was discovered by @tengjiang (see
model-checking#231).

By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.
# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@graydon