projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0d0d6c2) | patch
[analyzer] Add a check for IvarRegion in getExtraInvalidatedValues
authorAlexander Shaposhnikov <shal1t712@gmail.com>
Wed, 12 Apr 2017 22:00:13 +0000 (22:00 +0000)
committerAlexander Shaposhnikov <shal1t712@gmail.com>
Wed, 12 Apr 2017 22:00:13 +0000 (22:00 +0000)
commit5f24c12dc4cfddc598fa8804f2511de391d14ebf
tree005c550199fd6221f38678f7b480038693df4f82tree | snapshot
parent0d0d6c2f2515b20ff287107c8d1a07c920558bf1commit | diff
[analyzer] Add a check for IvarRegion in getExtraInvalidatedValues

This diff adds a defensive check in getExtraInvalidatedValues
for the case when there are no regions for the ivar associated with
a property. Corresponding test case added.

Test plan:
make check-clang
make check-clang-analysis

llvm-svn: 300114
clang/lib/StaticAnalyzer/Core/CallEvent.cpp diff | blob | history
clang/test/Analysis/properties.m diff | blob | history
Domain: System / Toolchain;