]> granicus.if.org Git - clang/commit
[analyzer] Don't crash if a block doesn't have a type signature.
authorJordan Rose <jordan_rose@apple.com>
Wed, 22 May 2013 18:09:44 +0000 (18:09 +0000)
committerJordan Rose <jordan_rose@apple.com>
Wed, 22 May 2013 18:09:44 +0000 (18:09 +0000)
commiteb41640fb417e25eb3218c2662a0dd512cdab04a
tree11ec4fa8c6df2179f39bd55284d9fc6743dd4ef6
parentf0219cdcc6af557676f23c2c8d1f922caaf6f49a
[analyzer] Don't crash if a block doesn't have a type signature.

Currently, blocks instantiated in templates lose their "signature as
written"; it's not clear if this is intentional. Change the analyzer's
use of BlockDecl::getSignatureAsWritten to check whether or not the
signature is actually there.

<rdar://problem/13954714>

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