[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)
commit7b75e3266c868ea6f9fa0783944e0f43d5ced2a3
tree6b176f106f0e6c63c30cdb140727deeec7847fbc
parent4ae38347924cd685a1e0c5259ee7476d61484326
[analyzer] SValExplainer: Support ObjC ivars and __block variables.

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

llvm-svn: 288260
clang/include/clang/StaticAnalyzer/Checkers/SValExplainer.h
clang/test/Analysis/explain-svals.cpp
clang/test/Analysis/explain-svals.m [new file with mode: 0644]