[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
Thu Jun 26 11:40:50 PDT 2025
mgorny wrote:
This change broke standalone clang builds:
```
FAIL: Clang :: Analysis/z3/D83660.c (1480 of 21630)
******************** TEST 'Clang :: Analysis/z3/D83660.c' FAILED ********************
Exit Code: 1
Command Output (stderr):
--
rm -rf /var/tmp/portage/llvm-core/clang-21.0.0.9999/work/x/y/clang-abi_x86_32.x86/test/Analysis/z3/Output/D83660.c.tmp && mkdir /var/tmp/portage/llvm-core/clang-21.0.0.9999/work/x/y/clang-abi_x86_32.x86/test/Analysis/z3/Output/D83660.c.tmp # RUN: at line 1
+ rm -rf /var/tmp/portage/llvm-core/clang-21.0.0.9999/work/x/y/clang-abi_x86_32.x86/test/Analysis/z3/Output/D83660.c.tmp
+ mkdir /var/tmp/portage/llvm-core/clang-21.0.0.9999/work/x/y/clang-abi_x86_32.x86/test/Analysis/z3/Output/D83660.c.tmp
/usr/lib/ccache/bin/x86_64-pc-linux-gnu-g++ -shared -fPIC -I /var/tmp/portage/llvm-core/clang-21.0.0.9999/work/clang/test/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/Analysis/z3/Output/D83660.c.tmp/MockZ3_solver_check.so # RUN: at line 2
+ /usr/lib/ccache/bin/x86_64-pc-linux-gnu-g++ -shared -fPIC -I /var/tmp/portage/llvm-core/clang-21.0.0.9999/work/clang/test/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/Analysis/z3/Output/D83660.c.tmp/MockZ3_solver_check.so
x86_64-pc-linux-gnu-g++: fatal error: no input files
compilation terminated.
--
********************
******************** 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 -analyzer-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-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-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.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 # 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 /var/tmp/portage/llvm-core/clang-21.0.0.9999/work/clang/test/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/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 /var/tmp/portage/llvm-core/clang-21.0.0.9999/work/clang/test/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/Analysis/Output/z3-crosscheck-max-attempts.cpp.tmp/MockZ3_solver_check.so
x86_64-pc-linux-gnu-g++: fatal error: no input files
compilation terminated.
--
********************
```
FWICS the problem is that `Z3_INCLUDE_DIR` is not set in `clang`.
https://github.com/llvm/llvm-project/pull/145731
More information about the llvm-commits
mailing list