Skip to content

mark &mut parameters as noalias #6350

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
Closed
thestinger opened this issue May 9, 2013 · 1 comment
Closed

mark &mut parameters as noalias #6350

thestinger opened this issue May 9, 2013 · 1 comment
Labels
A-codegen Area: Code generation I-slow Issue: Problems and improvements with respect to performance of generated code.

Comments

@thestinger
Copy link
Contributor

&mut is guaranteed to never alias as a property of the type, so this can safely be used in function parameter annotations. I don't think there will be much (if any) broken unsafe code to fix.

This won't replace the need for an alias analysis pass, but it's a step towards that.
@Aatch Aatch mentioned this issue May 26, 2013
Merged
bors added a commit that referenced this issue May 26, 2013
@bors
auto merge of #6742 : Aatch/rust/mut-noalias, r=thestinger
f254d11 
This marks `&mut` function arguments with the `noalias` attribute. Since the borrow checker enforces this property, this is worth doing.

I'm not sure if the place I'm doing it in is ideal, but it generates the correct code.

Closes #6350
@thestinger
Copy link
Contributor Author

Fixed by #6742.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
A-codegen Area: Code generation I-slow Issue: Problems and improvements with respect to performance of generated code.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@thestinger