-
Notifications
You must be signed in to change notification settings - Fork 12.9k
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.
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
Tool to detect/display function dependencies in Rust crates #558
Comments
I have call graph generation working in a branch. |
@pcwalton did you ever integrate this? |
No, it's assuredly bitrotted by now. |
I'll take this on as a first step towards #2369 |
Bumping to 0.7. |
Not critical for 0.7. Nominating for milestone 3, feature-complete. |
just a bug, removing milestone/nomination. |
Such a tool also needs to be able to tell me everywhere a type is used, for maximum utility. Since we have inference, it's near impossible to grep for a type or function returning that type to see where it's used. |
Visiting for triage; nothing to add. |
Triage
is done, as the |
I'm pulling a massive triage effort to get us ready for 1.0. As part of this, I'm moving stuff that's wishlist-like to the RFCs repo, as that's where major new things should get discussed/prioritized. This issue has been moved to the RFCs repo: rust-lang/rfcs#605 |
add truncate64/readdir64/openat64 on linux
Fix broken link in glossary.
We cannot easily specify which arithmetic operations are wrapping ones to CBMC. Thus, CBMC was generating overflow checks for wrapping operations which were generating spurious failures. This change disables some of those CBMC checks. We replace them by using rustc overflow checks for regular operations and by explicitly adding checks to unchecked operations.
This would be useful for many things:
dot
).ccache
workalike.The text was updated successfully, but these errors were encountered: