]> granicus.if.org Git - clang/commit
[analyzer] SValExplainer: Support ObjC ivars and __block variables.
authorArtem Dergachev <artem.dergachev@gmail.com>
Wed, 30 Nov 2016 18:26:43 +0000 (18:26 +0000)
committerArtem Dergachev <artem.dergachev@gmail.com>
Wed, 30 Nov 2016 18:26:43 +0000 (18:26 +0000)
commit1c4f222049918ecd0ff86a0b491d2dc9b0c35e72
tree73ed0e7e63803b02e8942769e61dda0d5c3434a7
parentaa1bd55bf81517e798bbd9e7cf70213f058276ca
[analyzer] SValExplainer: Support ObjC ivars and __block variables.

Additionally, explain the difference between normal and heap-based
symbolic regions.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@288260 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/StaticAnalyzer/Checkers/SValExplainer.h
test/Analysis/explain-svals.cpp
test/Analysis/explain-svals.m [new file with mode: 0644]