https://github.com/steakhal created https://github.com/llvm/llvm-project/pull/211515
I used to get these errors on M4 with `LLVM_ENABLE_Z3_SOLVER`: ``` error: 'expected-error' diagnostics seen but not expected: File clang/test/Analysis/z3/z3-bitint-arithmetic.c Line 26: unsigned _BitInt of bit sizes greater than 128 not supported File clang/test/Analysis/z3/z3-bitint-arithmetic.c Line 29: unsigned _BitInt of bit sizes greater than 128 not supported ``` Fixes up #210525 Another nail in the coffin of #184695 From 579298427fda38ed326ded14bdc7c389964bbebf Mon Sep 17 00:00:00 2001 From: Balazs Benics <[email protected]> Date: Thu, 23 Jul 2026 11:40:19 +0100 Subject: [PATCH] [analyzer][Z3] Fix z3-bitint-arithmetic.c test RUN line I used to get these errors on M4 with `LLVM_ENABLE_Z3_SOLVER`: ``` error: 'expected-error' diagnostics seen but not expected: File clang/test/Analysis/z3/z3-bitint-arithmetic.c Line 26: unsigned _BitInt of bit sizes greater than 128 not supported File clang/test/Analysis/z3/z3-bitint-arithmetic.c Line 29: unsigned _BitInt of bit sizes greater than 128 not supported ``` Fixes up #210525 Another nail in the coffin of #184695 --- clang/test/Analysis/z3/z3-bitint-arithmetic.c | 1 + 1 file changed, 1 insertion(+) diff --git a/clang/test/Analysis/z3/z3-bitint-arithmetic.c b/clang/test/Analysis/z3/z3-bitint-arithmetic.c index e3d3084cc2b5c..a476d6f95bdc7 100644 --- a/clang/test/Analysis/z3/z3-bitint-arithmetic.c +++ b/clang/test/Analysis/z3/z3-bitint-arithmetic.c @@ -1,4 +1,5 @@ // RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.ExprInspection \ +// RUN: -fexperimental-max-bitint-width=1024 \ // RUN: -analyzer-constraints=unsupported-z3 -verify %s // REQUIRES: z3 _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
