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

[Balázs Benics via cfe-commits]

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 <benicsbalazs at gmail.com>
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