[clang] [llvm] [analyzer] Fix _BitInt support & casting behavior for Z3 symbolic execution (PR #210525)

[Balázs Benics via cfe-commits]

steakhal wrote:

> Looks like one github CI job failed due to flaky CI. Is there an easy way to rerun the failing github CI test?

Not that I'm aware of. If you could check that it's definitely unrelated to your change, you can override and merge. If in doubt, update your branch to re-trigger the build.

https://github.com/llvm/llvm-project/pull/210525