[llvm-dev] Linking error with Dataflow sanitizer

[Mitch Phillips via llvm-dev]

Removing the dfs$ prefix from the mangled name, the symbol that's missing
is std::exception::what(), which normally comes from libc++abi. Are you
sure that libc++abi.so contains the dfsan-prefixed symbol and your link
line order is correct?

On my machine:

$ ninja cxx cxxabi && nm lib/libc++abi.so.1.0 | grep exception | grep what
000000000011cd60 T dfs$_ZNKSt13bad_exception4whatEv
000000000011cc90 T dfs$_ZNKSt9exception4whatEv

On Mon, May 17, 2021 at 9:02 AM floris westermann via llvm-dev <
llvm-dev at lists.llvm.org> wrote:

> Hi everyone,
>
> I am currently trying to compile a project with the Dataflow sanitizer.
> I have recompiled the libcxx and other dependencies using the sanitizer
> and the libc++abi.
>
> The libraries are linked dynamically but when I try to execute the binary
> I get the following error:
> ```symbol lookup error: ./Variane_testharness: undefined symbol:
> dfs$_ZNKSt9exception4whatEv```
>
> The project is a verilog project that is translated to CPP with verilator.
>
> Does anyone know how I can resolve this?
>
> Cheers,
> Floris
> _______________________________________________
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
> https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20210517/0952aa17/attachment.html>