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
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
