search

uwplse / herbgrind

A Valgrind tool for Herbie
GNU General Public License v3.0
90 stars 7 forks source link

undefined symbol: __muldc3 in Nix environment #42

Closed ck3d closed 4 years ago

ck3d commented 5 years ago

I try to packet Herbgrind (latest version) in Nix. The executable valgrind is now built, but it failes to analyse any executable. It raises following error:

$ ./valgrind/herbgrind-install/bin/valgrind --tool=herbgrind --output-sexp bench/mini.c.out
==14179== Herbgrind, a valgrind tool for Herbie
==14179== Copyright (C) 2016-2017, and GNU GPL'd, by Alex Sanchez-Stern
==14179== Using Valgrind-3.14.0 and LibVEX; rerun with -h for copyright info
==14179== Command: bench/mini.c.out
==14179==
bench/mini.c.out: symbol lookup error: /home/test/valgrind/herbgrind-install/lib/valgrind/vgpreload_herbgrind-amd64-linux.so: undefined symbol: __muldc3
==14179==
Didn't find any marks!

The symbol __muldc3 was not found. Any idea what is going wrong in my environment?

HazardousPeach commented 5 years ago

Hmm, it looks like whatever your provider of libm is, it isn't providing the __muldc3 symbol, multiplication of complex doubles. I rewrote some of that code to try to be a little more robust, try pulling master and trying again.

ck3d commented 5 years ago

Thanks for your fast answer. Sorry, I said latest version and I meant latest commit from March. So I think I tried the version you mentioned.

HazardousPeach commented 5 years ago

I think the commit I'm referring (b3e4b69) to was written after your issue was submitted, commited at 16:45 on May 15th. Could you give it a try?

HazardousPeach commented 4 years ago

Since there hasn't been any movement on this, I'm assuming the commit I sent fixed your issue. Feel free to reopen if you've still got issues!