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

Merged

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

vabridgers merged 7 commits into llvm:main from vabridgers:bitint-z3-fixes

llvmbot added clang

llvmbot added clang:frontend

llvmbot added clang:static analyzer

vabridgers requested a review from

NagyDonat 1 year ago

vabridgers requested a review from

steakhal 1 year ago

vabridgers requested a review from

dkrupp 1 year ago

vabridgers force pushed 1 year ago

vabridgers requested a review from

Xazax-hun 1 year ago

NagyDonat commented on 2025-06-10

steakhal requested changes on 2025-06-11

[analyzer] Correct SMT Layer for _BitInt cases refutations

66fbfd29

Address review comments

94db4330

Really address the review comments I missed the first time

fa976091

Address latest round of comments, rebase to latest origin/main

6d3e79bf

vabridgers force pushed to 6d3e79bf 1 year ago

NagyDonat commented on 2025-06-11

steakhal requested changes on 2025-06-11

Address next round of comments

c3fa58f2

steakhal requested changes on 2025-06-11

address next round of comments

86809d73

pretty format the code

f408a01e

NagyDonat approved these changes on 2025-06-11

steakhal approved these changes on 2025-06-11

vabridgers merged ec8d68b5 into main 1 year ago

Reviewers

steakhal

NagyDonat

dkrupp

Xazax-hun

Assignees

No one assigned

Labels

clang clang:frontend clang:static analyzer

Milestone

No milestone

llvm-project [clang][analyzer] Correct SMT Layer for _BitInt cases refutations #143310 Merged

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

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

Merged