Skip to content

Print out more useful info in ast_map::node_id_to_str #2410

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
catamorphism opened this issue May 18, 2012 · 2 comments
Closed

Print out more useful info in ast_map::node_id_to_str #2410

catamorphism opened this issue May 18, 2012 · 2 comments
Labels
A-diagnostics Area: Messages for errors, warnings, and lints C-enhancement Category: An issue proposing an enhancement or a PR with one. E-easy Call for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.

Comments

@catamorphism
Copy link
Contributor

Right now, node_id_to_str doesn't print out very useful info for ctor, dtor, local, arg, or export nodes. It should.
@catamorphism
Copy link
Contributor Author

Not very important (though not difficult either); milestoning as far-future.

@msullivan
Copy link
Contributor

Actually, it might be tricky to get more useful information for some of these, without having more data structures to use than just the ast_map. node_arg in particular.

bors added a commit to rust-lang-ci/rust that referenced this issue Sep 22, 2022
@bors
Auto merge of rust-lang#2410 - rust-lang:miri_auto_ops, r=RalfJung
69a4eaa 
Some cleanups and docs around the auto ops
celinval pushed a commit to celinval/rust-dev that referenced this issue Jun 4, 2024
@karkhaz
Add #VCCs and #program steps benchcomp metrics (rust-lang#2410)
d654849 
This commit adds two new metrics to the benchcomp "kani perf" parser.
These metrics are recorded from each benchmark's output file but not
currently checked for regression.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
A-diagnostics Area: Messages for errors, warnings, and lints C-enhancement Category: An issue proposing an enhancement or a PR with one. E-easy Call for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@msullivan @catamorphism