[clang] de7cd65 - [analyzer][Z3] Fix z3-bitint-arithmetic.c test RUN line (#211515)

[via cfe-commits]

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