]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ccef7bd) | 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)
commit3f894f43adbc9b83099587e1898fc339cda98f8b
tree86bf1b81af6dec1970bb4305d0fdf55f74c953aetree | snapshot
parentccef7bd78fb2f1f30edb022018c935072a53d03dcommit | 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

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@349227 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Checkers/ObjCContainersChecker.cpp diff | blob | history
test/Analysis/CFContainers.mm diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.