[clang] [llvm] [NFC][analyzer] Remove Z3-as-constraint-manager hacks from lit test code (PR #145731)
Michał Górny via llvm-commits
llvm-commits at lists.llvm.org
Sat Jun 28 04:35:14 PDT 2025
mgorny wrote:
Unfortunately, after fixing the immediate issue I'm hitting another issue: `%host_cxx` is compiling a 64-bit library when doing `-m32` build for x86 — meaning the test run now fails due to ABI mismatch:
```
FAIL: Clang :: Analysis/z3-crosscheck-max-attempts.cpp (1537 of 21645)
******************** TEST 'Clang :: Analysis/z3-crosscheck-max-attempts.cpp' FAILED ********************
Exit Code: 1
Command Output (stderr):
--
/var/tmp/portage/llvm-core/clang-21.0.0.9999/work/x/y/clang-abi_x86_32.x86/bin/clang -cc1 -internal-isystem /var/tmp/portage/llvm-core/
clang-21.0.0.9999/work/x/y/clang-abi_x86_32.x86/bin/../../../../lib/clang/21/include -nostdsysteminc -analyze -setup-static-analyzer -a
nalyzer-checker=debug.ConfigDumper 2>&1 | /usr/lib/llvm/21/bin/FileCheck /var/tmp/portage/llvm-core/clang-21.0.0.9999/work/clang/test/
Analysis/z3-crosscheck-max-attempts.cpp --match-full-lines # RUN: at line 2
+ /var/tmp/portage/llvm-core/clang-21.0.0.9999/work/x/y/clang-abi_x86_32.x86/bin/clang -cc1 -internal-isystem /var/tmp/portage/llvm-cor
e/clang-21.0.0.9999/work/x/y/clang-abi_x86_32.x86/bin/../../../../lib/clang/21/include -nostdsysteminc -analyze -setup-static-analyzer
-analyzer-checker=debug.ConfigDumper
+ /usr/lib/llvm/21/bin/FileCheck /var/tmp/portage/llvm-core/clang-21.0.0.9999/work/clang/test/Analysis/z3-crosscheck-max-attempts.cpp -
-match-full-lines
rm -rf /var/tmp/portage/llvm-core/clang-21.0.0.9999/work/x/y/clang-abi_x86_32.x86/test/Analysis/Output/z3-crosscheck-max-attempts.cpp.t
mp && mkdir /var/tmp/portage/llvm-core/clang-21.0.0.9999/work/x/y/clang-abi_x86_32.x86/test/Analysis/Output/z3-crosscheck-max-attempts.
cpp.tmp # RUN: at line 6
+ rm -rf /var/tmp/portage/llvm-core/clang-21.0.0.9999/work/x/y/clang-abi_x86_32.x86/test/Analysis/Output/z3-crosscheck-max-attempts.cpp
.tmp
+ mkdir /var/tmp/portage/llvm-core/clang-21.0.0.9999/work/x/y/clang-abi_x86_32.x86/test/Analysis/Output/z3-crosscheck-max-attempts.cpp.
tmp
/usr/lib/ccache/bin/x86_64-pc-linux-gnu-g++ -shared -fPIC -I /usr/include /var/tmp/portage/llvm-core/clang-21.0.0.9999/work/c
lang/test/Analysis/z3/Inputs/MockZ3_solver_check.cpp -o /var/tmp/portage/llvm-core/clang-21.0.0.9999/work/x/y/clang-abi_x
86_32.x86/test/Analysis/Output/z3-crosscheck-max-attempts.cpp.tmp/MockZ3_solver_check.so # RUN: at line 7
+ /usr/lib/ccache/bin/x86_64-pc-linux-gnu-g++ -shared -fPIC -I /usr/include /var/tmp/portage/llvm-core/clang-21.0.0.9999/work/clang/tes
t/Analysis/z3/Inputs/MockZ3_solver_check.cpp -o /var/tmp/portage/llvm-core/clang-21.0.0.9999/work/x/y/clang-abi_x86_32.x86/test/Analysi
s/Output/z3-crosscheck-max-attempts.cpp.tmp/MockZ3_solver_check.so
not /var/tmp/portage/llvm-core/clang-21.0.0.9999/work/x/y/clang-abi_x86_32.x86/bin/clang -cc1 -internal-isystem /var/tmp/portage/llvm-c
ore/clang-21.0.0.9999/work/x/y/clang-abi_x86_32.x86/bin/../../../../lib/clang/21/include -nostdsysteminc -analyze -setup-static-analyze
r -analyzer-config crosscheck-with-z3-max-attempts-per-query=0 2>&1 | /usr/lib/llvm/21/bin/FileCheck /var/tmp/portage/llvm-core/clang-2
1.0.0.9999/work/clang/test/Analysis/z3-crosscheck-max-attempts.cpp --check-prefix=VERIFY-INVALID # RUN: at line 19
+ not /var/tmp/portage/llvm-core/clang-21.0.0.9999/work/x/y/clang-abi_x86_32.x86/bin/clang -cc1 -internal-isystem /var/tmp/portage/llvm-core/clang-21.0.0.9999/work/x/y/clang-abi_x86_32.x86/bin/../../../../lib/clang/21/include -nostdsysteminc -analyze -setup-static-analyzer -analyzer-config crosscheck-with-z3-max-attempts-per-query=0
+ /usr/lib/llvm/21/bin/FileCheck /var/tmp/portage/llvm-core/clang-21.0.0.9999/work/clang/test/Analysis/z3-crosscheck-max-attempts.cpp --check-prefix=VERIFY-INVALID
Z3_SOLVER_RESULTS="UNDEF" LD_PRELOAD="/var/tmp/portage/llvm-core/clang-21.0.0.9999/work/x/y/clang-abi_x86_32.x86/test/Analysis/Output/z3-crosscheck-max-attempts.cpp.tmp/MockZ3_solver_check.so" /var/tmp/portage/llvm-core/clang-21.0.0.9999/work/x/y/clang-abi_x86_32.x86/bin/clang -cc1 -internal-isystem /var/tmp/portage/llvm-core/clang-21.0.0.9999/work/x/y/clang-abi_x86_32.x86/bin/../../../../lib/clang/21/include -nostdsysteminc /var/tmp/portage/llvm-core/clang-21.0.0.9999/work/clang/test/Analysis/z3-crosscheck-max-attempts.cpp -analyze -setup-static-analyzer -analyzer-config crosscheck-with-z3=true -analyzer-checker=core -analyzer-config crosscheck-with-z3-max-attempts-per-query=1 -verify=refuted # RUN: at line 22
+ Z3_SOLVER_RESULTS=UNDEF
+ LD_PRELOAD=/var/tmp/portage/llvm-core/clang-21.0.0.9999/work/x/y/clang-abi_x86_32.x86/test/Analysis/Output/z3-crosscheck-max-attempts.cpp.tmp/MockZ3_solver_check.so
+ /var/tmp/portage/llvm-core/clang-21.0.0.9999/work/x/y/clang-abi_x86_32.x86/bin/clang -cc1 -internal-isystem /var/tmp/portage/llvm-core/clang-21.0.0.9999/work/x/y/clang-abi_x86_32.x86/bin/../../../../lib/clang/21/include -nostdsysteminc /var/tmp/portage/llvm-core/clang-21.0.0.9999/work/clang/test/Analysis/z3-crosscheck-max-attempts.cpp -analyze -setup-static-analyzer -analyzer-config crosscheck-with-z3=true -analyzer-checker=core -analyzer-config crosscheck-with-z3-max-attempts-per-query=1 -verify=refuted
ERROR: ld.so: object '/var/tmp/portage/llvm-core/clang-21.0.0.9999/work/x/y/clang-abi_x86_32.x86/test/Analysis/Output/z3-crosscheck-max-attempts.cpp.tmp/MockZ3_solver_check.so' from LD_PRELOAD cannot be preloaded (wrong ELF class: ELFCLASS64): ignored.
error: 'refuted-warning' diagnostics seen but not expected:
File /var/tmp/portage/llvm-core/clang-21.0.0.9999/work/clang/test/Analysis/z3-crosscheck-max-attempts.cpp Line 41: Division by zero [core.DivideZero]
1 error generated.
--
********************
```
https://github.com/llvm/llvm-project/pull/145731
More information about the llvm-commits
mailing list