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

Merged

vabridgers merged 7 commits intollvm:mainfrom

vabridgers:bitint-z3-fixes

Jun 11, 2025

Commits on Jun 11, 2025

[analyzer] Correct SMT Layer for _BitInt cases refutations
Vince Bridgers
committed
Address review comments
einvbri
committed
Really address the review comments I missed the first time
einvbri
committed
Address latest round of comments, rebase to latest origin/main
einvbri
committed
Address next round of comments
einvbri
committed
address next round of comments
einvbri
committed
pretty format the code
einvbri
committed