diff options
| author | John McCall <rjmccall@apple.com> | 2011-09-10 01:16:55 +0000 |
|---|---|---|
| committer | John McCall <rjmccall@apple.com> | 2011-09-10 01:16:55 +0000 |
| commit | cd78e805e9c0d1a1b7ccbb67773aa51589c040f7 (patch) | |
| tree | 0d46a178933812aaad4d14ba3d3449b2397061fb /clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp | |
| parent | a51d74fc35aafa7c609e950cfc6e39146a8280cb (diff) | |
| download | bcm5719-llvm-cd78e805e9c0d1a1b7ccbb67773aa51589c040f7.tar.gz bcm5719-llvm-cd78e805e9c0d1a1b7ccbb67773aa51589c040f7.zip | |
When converting a block pointer to an Objective-C pointer type, extend
the lifetime of the block by copying it to the heap, or else we'll get
a dangling reference because the code working with the non-block-typed
object will not know it needs to copy.
There is some danger here, e.g. with assigning a block literal to an
unsafe variable, but, well, it's an unsafe variable.
llvm-svn: 139451
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp')
| -rw-r--r-- | clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp b/clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp index 1d7cd0d53f6..db4dc2f2fec 100644 --- a/clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp +++ b/clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp @@ -213,7 +213,8 @@ void ExprEngine::VisitCast(const CastExpr *CastE, const Expr *Ex, // since it understands retain/release semantics already. case CK_ObjCProduceObject: case CK_ObjCConsumeObject: - case CK_ObjCReclaimReturnedObject: // Fall-through. + case CK_ObjCReclaimReturnedObject: + case CK_ObjCExtendBlockObject: // Fall-through. // True no-ops. case CK_NoOp: case CK_FunctionToPointerDecay: { |
