[PATCH] D54466: [Analyzer] Iterator Checkers - Use the region of the topmost base class for iterators stored in a region
Balogh, Ádám via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Mon Dec 3 05:18:54 PST 2018
baloghadamsoftware updated this revision to Diff 176374.
baloghadamsoftware added a comment.
Now I think I understand the terminology and the concept so I could add Doxygen comment. I also refactored the code as you suggested, original code was based on `getBaseRegion()`.
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D54466/new/
https://reviews.llvm.org/D54466
Files:
include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h
lib/StaticAnalyzer/Checkers/IteratorChecker.cpp
lib/StaticAnalyzer/Core/MemRegion.cpp
test/Analysis/iterator-range.cpp
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D54466.176374.patch
Type: text/x-patch
Size: 9188 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20181203/08fb3515/attachment.bin>
More information about the cfe-commits
mailing list