projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ffba750) | patch
[analyzer] ObjCContainers: Track index values.
authorArtem Dergachev <artem.dergachev@gmail.com>
Sat, 15 Dec 2018 02:06:13 +0000 (02:06 +0000)
committerArtem Dergachev <artem.dergachev@gmail.com>
Sat, 15 Dec 2018 02:06:13 +0000 (02:06 +0000)
commit5f500a33c1b59ee2c63098b6f92558571f24495a
treee3b8ed9129cc626743832bda6422d4711c4c40f2tree | snapshot
parentffba750a0eddeec12267a9a31682b3b286141d88commit | diff
[analyzer] ObjCContainers: Track index values.

Use trackExpressionValue() (previously known as trackNullOrUndefValue())
to track index value in the report, so that the user knew
what Static Analyzer thinks the index is.

Additionally, implement printState() to help debugging the checker later.

Differential Revision: https://reviews.llvm.org/D55458

llvm-svn: 349227
clang/lib/StaticAnalyzer/Checkers/ObjCContainersChecker.cpp diff | blob | history
clang/test/Analysis/CFContainers.mm diff | blob | history
Domain: System / Toolchain;