[llvm-bugs] [Bug 42921] New: FileCheck linking with Z3 despite -DCLANG_ANALYZER_ENABLE_Z3_SOLVER=OFF

via llvm-bugs llvm-bugs at lists.llvm.org
Wed Aug 7 11:00:17 PDT 2019


https://bugs.llvm.org/show_bug.cgi?id=42921

            Bug ID: 42921
           Summary: FileCheck linking with Z3 despite
                    -DCLANG_ANALYZER_ENABLE_Z3_SOLVER=OFF
           Product: Build scripts
           Version: 9.0
          Hardware: PC
                OS: All
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: cmake
          Assignee: unassignedbugs at nondot.org
          Reporter: brooks at freebsd.org
                CC: llvm-bugs at lists.llvm.org

In LLVM 8.0.0, support was added for Z3.  In the FreeBSD port (think package)
we added -DCLANG_ANALYZER_ENABLE_Z3_SOLVER=OFF to the cmake arguments list to
avoid requiring it.  Somewhere between the 8.0 and 9.0 branch, that stopped
being sufficient and libz3 is being found and FileCheck is being linked to it. 
On some of our platforms where our base compiler is still an ancient GCC, this
is posing a bootstrapping challenge.

Here's an example ldd output (it seems to me that FileCheck may simply be being
overlinked):
$ ldd work/stage/usr/local/bin/FileCheck90 
work/stage/usr/local/bin/FileCheck90:
        libthr.so.3 => /lib/libthr.so.3 (0x80089d000)
        libz.so.6 => /lib/libz.so.6 (0x800ac5000)
        librt.so.1 => /usr/lib/librt.so.1 (0x800cdd000)
        libexecinfo.so.1 => /usr/lib/libexecinfo.so.1 (0x800ee3000)
        libncurses.so.8 => /lib/libncurses.so.8 (0x8010e6000)
        libm.so.5 => /lib/libm.so.5 (0x80133b000)
        libz3.so.0 => /usr/local/lib/libz3.so.0 (0x801600000)
        libc++.so.1 => /usr/lib/libc++.so.1 (0x802a9c000)
        libcxxrt.so.1 => /lib/libcxxrt.so.1 (0x802d6a000)
        libc.so.7 => /lib/libc.so.7 (0x802f89000)
        libelf.so.2 => /lib/libelf.so.2 (0x803345000)
        libgcc_s.so.1 => /lib/libgcc_s.so.1 (0x80355c000)

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20190807/14a608d1/attachment-0001.html>


More information about the llvm-bugs mailing list