This revision was automatically updated to reflect the committed changes.
Closed by commit rG2a09daff0f90: [analyzer] Generalize bitwise AND rules for
ranges (authored by vsavchenko).
Changed prior to commit:
https://reviews.llvm.org/D79434?vs=264606&id=266911#toc
Repository:
rG LLVM Github
NoQ accepted this revision.
NoQ added a comment.
This revision is now accepted and ready to land.
Looks correct, thanks!!
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D79434/new/
https://reviews.llvm.org/D79434
__
vsavchenko updated this revision to Diff 264606.
vsavchenko added a comment.
Rebase
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D79434/new/
https://reviews.llvm.org/D79434
Files:
clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp
clang/
vsavchenko updated this revision to Diff 264603.
vsavchenko added a comment.
Rebase
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D79434/new/
https://reviews.llvm.org/D79434
Files:
clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp
clang/
vsavchenko added a comment.
Here is a little proof I've put together (using Z3):
https://gist.github.com/SavchenkoValeriy/2355170159ce1febd27498c36ea22149
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D79434/new/
https://reviews.llvm.org/D79434
vsavchenko updated this revision to Diff 262158.
vsavchenko added a comment.
Add parent change
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D79434/new/
https://reviews.llvm.org/D79434
Files:
clang/lib/StaticAnalyzer/Core/RangeConstraintManager.c
vsavchenko created this revision.
vsavchenko added reviewers: NoQ, dcoughlin.
vsavchenko added a project: clang.
Herald added subscribers: cfe-commits, ASDenysPetrov, martong, Charusso,
dkrupp, donat.nagy, Szelethus, mikhail.ramalho, a.sidorin, szepet,
baloghadamsoftware, xazax.hun.
vsavchenko up
