steakhal added inline comments.
Comment at: clang/lib/StaticAnalyzer/Checkers/ArrayBoundCheckerV2.cpp:52
+ /// Offset: SymIntExpr{conj{n, int}, +, 12, long long}
+ class RawOffsetCalculator final
+ : public MemRegionVisitor {
martong wrote:
> Since you a
Szelethus added a comment.
Before we dive into this too much, if you can point to discussion that explains
why we have a 2 versions of the same checker, that would be nice. Why did you
chose to work on this one, and not the other? I recall us talking about this in
a meeting, but its always grea
martong added inline comments.
Comment at: clang/lib/StaticAnalyzer/Checkers/ArrayBoundCheckerV2.cpp:52
+ /// Offset: SymIntExpr{conj{n, int}, +, 12, long long}
+ class RawOffsetCalculator final
+ : public MemRegionVisitor {
Since you are already deep in
steakhal created this revision.
steakhal added reviewers: NoQ, vsavchenko, xazax.hun, martong, Szelethus.
Herald added subscribers: cfe-commits, ASDenysPetrov, Charusso, dkrupp,
donat.nagy, mikhail.ramalho, a.sidorin, rnkovacs, szepet, baloghadamsoftware,
whisperity.
Herald added a project: clang