llvm-project

[clang][analyzer] Correct SMT Layer for _BitInt cases refutations

#143310

Merged