Bug#1145851: llvm-toolchain-23 fails command1 autopkg test on amd64

[Matthias Klose]

Package: src:llvm-toolchain-23
Version: 1:23.1.0-1
Severity: serious
Tags: sid forky

[...]
206s not ok 85 Test Z3 solver integration for static analysis
206s # (in test file debian/debian-llvm-testsuite.bats, line 1895)
206s #   `assert_success "Static analysis with Z3 constraints failed"' 
failed
206s #
206s # -- command failed --
206s # status : 1
206s # output (2 lines):
206s #   error: 'expected-error' diagnostics seen but not expected:
206s #     (frontend): invalid value 'z3' in '-analyzer-constraints=z3'
206s # --
206s #
206s ok 86 Test atomic test-and-set compilation for AArch64 (Bug 827866)
206s ok 87 Test Thin LTO functionality
207s ok 88 Test compilation and execution with LTO and lld linker
207s ok 89 Test LTO file generation and lld linker compatibility (Bug 
919020)
207s ok 90 Test LLVM Exegesis execution validation
208s ok 91 Test backtrace functionality with libunwind
208s ok 92 Test signal handling with libunwind
208s ok 93 Test pthread_cancel with libunwind compatibility # skip test 
is wrong, see https://bugs.debian.org/1118641
209s autopkgtest [06:51:49]: test command1: -----------------------]