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

Escape analysis #239

Closed
pcwalton opened this issue Feb 24, 2011 · 1 comment
Closed

Escape analysis #239

pcwalton opened this issue Feb 24, 2011 · 1 comment

Comments

@pcwalton
Copy link
Contributor

We should use some escape analysis. This will be useful both to ensure that aliases don't escape and to enable optimizations (heap allocation to stack frame for closure environments, etc.)
@pcwalton
Copy link
Contributor Author

Dupe of #240.

oli-obk pushed a commit to oli-obk/rust that referenced this issue Jul 19, 2017
@eddyb
Merge pull request rust-lang#239 from RalfJung/mmap
ea2b192 
hooking mmap is no longer needed
kazcw pushed a commit to kazcw/rust that referenced this issue Oct 23, 2018
@gnzlbg
Fix rustfmt (rust-lang#239)
f8a3d0c 
* [fmt] manually fix some formatting
* [fmt] reformat with rustfmt-nightly
* [clippy] fix clippy issues
dlrobertson pushed a commit to dlrobertson/rust that referenced this issue Nov 29, 2018
@Havvy
Merge pull request rust-lang#239 from matthewjasper/lifetime-token
c95ce6c 
Add lifetime or label to tokens
Aaron1011 pushed a commit to Aaron1011/rust that referenced this issue Oct 26, 2020
@bjorn3
Merge pull request rust-lang#239 from bjorn3/dependabot/cargo/cc-1.0.27
43a68c3 
Bump cc from 1.0.26 to 1.0.27
ZuseZ4 pushed a commit to EnzymeAD/rust that referenced this issue Mar 7, 2023
@wsmoses
Activity of unreachable use and gemm type (rust-lang#239)
a8e09db
matthiaskrgr pushed a commit to matthiaskrgr/rust that referenced this issue Mar 7, 2023
@antoyo
Merge pull request rust-lang#239 from rust-lang/fix/expandloadu
3c03c8f 
Escape { and } in inline asm
celinval pushed a commit to celinval/rust-dev that referenced this issue Jun 4, 2024
@vecchiot-aws @tedinski
Added --function flag to cargo-rmc (rust-lang#239)
88c900f 
* Added --function flag to cargo-rmc
carolynzech added a commit to carolynzech/rust that referenced this issue Feb 19, 2025
@btj @carolynzech @remi-delmas-3000
Add VeriFast CI (rust-lang#239)
b410f4e 
Adds a GitHub Actions workflow that downloads VeriFast and runs
`verifast-proofs/check-verifast-proofs.mysh`. (`mysh` is a simple tool
that ships with VeriFast for running simple scripts. It is optimized for
running test suites (and used to run [VeriFast's test
suite](https://github.com/verifast/verifast/blob/master/testsuite.mysh).
Works on Linux, Mac, and Windows.)

See rust-lang#238 to see how this can be used to verify the `linked_list.rs`
(Challenge 5) solution.

Resolves rust-lang#213

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: Carolyn Zech <cmzech@amazon.com>
Co-authored-by: Rémi Delmas <remi.delmas.3000@gmail.com>
This issue was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@pcwalton