]> granicus.if.org Git - clang/commit
[analyzer] Don't try to inline if there's no region for a message receiver.
authorJordan Rose <jordan_rose@apple.com>
Tue, 31 Jul 2012 18:04:53 +0000 (18:04 +0000)
committerJordan Rose <jordan_rose@apple.com>
Tue, 31 Jul 2012 18:04:53 +0000 (18:04 +0000)
commit4fe64ad383c056774087113561063429103ac9a6
tree7e0df9b1a3b1b3a13647307b986e889939fc7919
parent6d8ab45a203eb701c2fd1104492cb4bd7557a3e9
[analyzer] Don't try to inline if there's no region for a message receiver.

While usually we'd use a symbolic region rather than a straight-up Unknown,
we can still generate unknowns via array subscripts with symbolic indexes.
(And if this ever changes in the future, we still shouldn't crash.)

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@161059 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Core/CallEvent.cpp
test/Analysis/inlining/InlineObjCInstanceMethod.m