Author: Balázs Benics Date: 2026-07-23T11:15:17Z New Revision: de7cd6542afd53d66f730dfca5f4e47e5c35e16b
URL: https://github.com/llvm/llvm-project/commit/de7cd6542afd53d66f730dfca5f4e47e5c35e16b DIFF: https://github.com/llvm/llvm-project/commit/de7cd6542afd53d66f730dfca5f4e47e5c35e16b.diff LOG: [analyzer][Z3] Fix z3-bitint-arithmetic.c test RUN line (#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 Added: Modified: clang/test/Analysis/z3/z3-bitint-arithmetic.c Removed: ################################################################################ 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
