]> granicus.if.org Git - clang/commit
[analyzer] Fix a crash when an ObjC object is constructed in AllocaRegion.
authorArtem Dergachev <artem.dergachev@gmail.com>
Mon, 12 Jun 2017 17:59:50 +0000 (17:59 +0000)
committerArtem Dergachev <artem.dergachev@gmail.com>
Mon, 12 Jun 2017 17:59:50 +0000 (17:59 +0000)
commit2b3c4c91a113a8658285c8fd68c296e22df255f0
tree23fcce851675fd8143bc6dd5304f34395285e5dd
parente2037d49072da1bc0d95ec682080baf7df989d8c
[analyzer] Fix a crash when an ObjC object is constructed in AllocaRegion.

Memory region allocated by alloca() carries no implicit type information.
Don't crash when resolving the init message for an Objective-C object
that is being constructed in such region.

rdar://problem/32517077

Differential Revision: https://reviews.llvm.org/D33828

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