This revision was automatically updated to reflect the committed changes.
Closed by commit rGba8cda989cf8: [analyzer] Stability improvement for
IteratorModeling (authored by ASDenysPetrov).
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D78289/new/
ht
baloghadamsoftware accepted this revision.
baloghadamsoftware added a comment.
This revision is now accepted and ready to land.
Thanks for fixing this!
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D78289/new/
https://reviews.llvm.org/D78289
___
ASDenysPetrov updated this revision to Diff 259561.
ASDenysPetrov edited the summary of this revision.
ASDenysPetrov added a comment.
I decided not to add changes of what I cannot cover by tests. So I removed them.
@NoQ @baloghadamsoftware
please, review my changes.
CHANGES SINCE LAST ACTION
ASDenysPetrov updated this revision to Diff 259521.
ASDenysPetrov edited the summary of this revision.
ASDenysPetrov added a comment.
@baloghadamsoftware
I've added a test for unscoped SVal, but still can't come up with `if (!LPos ||
!RPos)`
Could you, please, suggest me something?
CHANGES SINC
ASDenysPetrov added a comment.
@baloghadamsoftware
I know you have much expertise here. Do you have some thoughts of how I can
test exactly these cases?
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D78289/new/
https://reviews.llvm.org/D78289
__
NoQ added a comment.
Tests please!
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D78289/new/
https://reviews.llvm.org/D78289
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.or
ASDenysPetrov created this revision.
ASDenysPetrov added reviewers: baloghadamsoftware, NoQ.
ASDenysPetrov added a project: clang.
Herald added subscribers: cfe-commits, martong, Charusso, dkrupp, donat.nagy,
Szelethus, mikhail.ramalho, a.sidorin, rnkovacs, szepet, xazax.hun.
Some functions paths
