-
Notifications
You must be signed in to change notification settings - Fork 150
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
"Local profile (diff)" command fails (with valgrind 3.19.0) #1703
Comments
You will indeed need a newer Valgrind version, which understands the DWARF version used by Rust. This is sadly a common error, because such a version of Valgrind is not yet available in commonly used distributions, AFAIK. I usually just use a trunk version of Valgrind: $ git clone https://sourceware.org/git/valgrind.git
$ cd valgrind
$ ./autogen.sh
$ ./configure
$ make
($ sudo make install) I'm not sure which Valgrind version is "new enough" for it to work, maybe 3.20 or 3.21. @nnethercote might know. |
Yeah I found rust-lang/rust#98746. I don't have the time to mess with building valgrind from source though, I'll just have to hope someone else can get the perf diffs for me when it comes up in my PRs... |
In my experience, building Valgrind is quite straightforward and has worked fine without any issues, but YMMV, as always. Here is the diff from your PR description: Diff
Let me know e.g. on Zulip (Jakub Beránek) if you want me to run any diffs for you, anytime! |
Thanks a ton. :-) <3 |
I think Valgrind 3.20 (from October 2022) should be new enough.
Jakub gave the instructions above. It's quick to build, just a minute or two. If you don't want to |
Yeah |
You can do the good ol' local install + PATH override:
and then
|
I am trying to run the "Local profile (diff)" command given on this page. Unfortunately it doesn't work:
Am I doing something wrong?
This is on Debian testing with all apt-updates installed.
Is that valgrind too old, or so?
The text was updated successfully, but these errors were encountered: