projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7b9f540) | patch
[Analyzer] Checker for Debugging Iterator Checkers
authorAdam Balogh <adam.balogh@ericsson.com>
Fri, 8 Nov 2019 07:56:31 +0000 (08:56 +0100)
committerAdam Balogh <adam.balogh@ericsson.com>
Fri, 8 Nov 2019 07:59:50 +0000 (08:59 +0100)
commit0f88caeef8f2d4708f442d03db7723396712a143
tree6d5d5e0b276c56443eaf87a63c36ad6daa1cbe2atree | snapshot
parent7b9f5401a61646f584249012de0be27ee0cb2b9bcommit | diff
[Analyzer] Checker for Debugging Iterator Checkers

For white-box testing correct container and iterator modelling it is essential
to access the internal data structures stored for container and iterators. This
patch introduces a simple debug checkers called debug.IteratorDebugging to
achieve this.

Differential Revision: https://reviews.llvm.org/D67156
clang/include/clang/StaticAnalyzer/Checkers/Checkers.td diff | blob | history
clang/lib/StaticAnalyzer/Checkers/IteratorChecker.cpp diff | blob | history
clang/test/Analysis/debug-iterator-modeling.cpp [new file with mode: 0644] blob
Domain: System / Toolchain;