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

GEP instead of pointer-to-int and add and back #557

Closed
pcwalton opened this issue Jun 23, 2011 · 1 comment
Closed

GEP instead of pointer-to-int and add and back #557

pcwalton opened this issue Jun 23, 2011 · 1 comment
Labels
C-cleanup Category: PRs that clean code up or issues documenting cleanup.

Comments

@pcwalton
Copy link
Contributor

GEP is a better way to do pointer-to-int.
@msullivan
Copy link
Contributor

How many places are we still doing pointer-to-int?

@marijnh marijnh closed this as completed in 3ac59b0 Sep 9, 2011
ZuseZ4 pushed a commit to EnzymeAD/rust that referenced this issue Mar 7, 2023
@wsmoses @vchuravy
Fix shadow augmented rematerialization (rust-lang#557)
c298f70 
* Shadow promotable remat

* Preserve forward shadow if non-float

Co-authored-by: Ubuntu <[email protected]>
Co-authored-by: Valentin Churavy <[email protected]>
celinval added a commit to celinval/rust-dev that referenced this issue Jun 4, 2024
@celinval @tedinski
Fix cargo rmc to support multiple dependencies (rust-lang#451) (rust-…
a24e6fa 
…lang#557)

When building multiple dependencies, rmc compilation generates multiple
*json files which need to be merged before running CBMC.

This remove the assumption that only json file is generated and use all
the generated json files to generated the gotoc.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
C-cleanup Category: PRs that clean code up or issues documenting cleanup.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@marijnh @pcwalton @msullivan