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

Passing function items as lvals fails #166

Closed
pcwalton opened this issue Sep 22, 2010 · 2 comments
Closed

Passing function items as lvals fails #166

pcwalton opened this issue Sep 22, 2010 · 2 comments

Comments

@pcwalton
Copy link
Contributor

Top-level functions can't be passed as lvalues to functions. Instead they have to be assigned to a temporary first.
@froystig
Copy link
Contributor

This is a duplicate of Issue #90.

@graydon
Copy link
Contributor

graydon commented Jan 27, 2011

Closing as dupe

arielb1 pushed a commit to arielb1/rust that referenced this issue Apr 10, 2015
@alexcrichton
Merge pull request rust-lang#166 from pnkfelix/fsk-fix-typo-in-39
5185160 
Clarify definition of "input positions" in lifetime elision RFC.
keeperofdakeys pushed a commit to keeperofdakeys/rust that referenced this issue Dec 12, 2017
@alexcrichton
Merge pull request rust-lang#166 from lambda/sc-pagesize
026f4b3 
Define _SC_PAGE_SIZE constants
dlrobertson pushed a commit to dlrobertson/rust that referenced this issue Nov 29, 2018
@QuietMisdreavus
Merge pull request rust-lang#166 from Havvy/rfc-1440
cf2fbba 
Document RFC 1440.
djtech-dev pushed a commit to djtech-dev/rust that referenced this issue Dec 9, 2021
@TheDan64
Merge pull request rust-lang#166 from wasmerio/tail_ub
a937b23 
Yup, calling LLVMIsTailCall on a non-CallInst is UB.
celinval pushed a commit to celinval/rust-dev that referenced this issue Jun 4, 2024
@avanhatt @tedinski
Update CBMC version check to 5.30.0 (fix rust-lang#164) rust-lang#166
dc6d2c0 
Co-authored-by: Alexa VanHattum <avanhatt@amazon.com>
Update version check and print expected version in warning message.
celinval pushed a commit to celinval/rust-dev that referenced this issue Dec 6, 2024
@xsxszab
Contracts and Harnesses for <*const T>::add, sub and offset (ru…
d0d9de2 
…st-lang#166)

Towards rust-lang#76 

**Summary**
* Adds contracts for <*const T>::add, sub and offset.
* Adds proof for contracts for above methods, verifying following
pointee types:
    * All integer types
    * Tuples (representing composite types)
    * Slices
    * Unit type
celinval pushed a commit to celinval/rust-dev that referenced this issue Dec 6, 2024
@xsxszab
Refactor Contracts and Harnesses for <*mut T>::add, sub and `offs…
2338dad 
…et` (rust-lang#203)

**Summary**

This PR synchronizes updates from PR rust-lang#166 and applies them to `mut`
function contracts and proof for contracts.
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
3 participants
@graydon @froystig @pcwalton