diff --git a/clang/lib/Sema/SemaExpr.cpp b/clang/lib/Sema/SemaExpr.cpp index c1ce02eeea2a..b989fac8389c 100644 --- a/clang/lib/Sema/SemaExpr.cpp +++ b/clang/lib/Sema/SemaExpr.cpp @@ -8892,6 +8892,8 @@ ExprResult Sema::ActOnBlockStmtExpr(SourceLocation CaretLoc, Diag(CaretLoc, diag::err_blocks_disable); // Leave the expression-evaluation context. + if (hasAnyUnrecoverableErrorsInThisFunction()) + DiscardCleanupsInEvaluationContext(); assert(!ExprNeedsCleanups && "cleanups within block not correctly bound!"); PopExpressionEvaluationContext(); diff --git a/clang/test/SemaObjC/arc-invalid.m b/clang/test/SemaObjC/arc-invalid.m new file mode 100644 index 000000000000..b07460dbec44 --- /dev/null +++ b/clang/test/SemaObjC/arc-invalid.m @@ -0,0 +1,13 @@ +// RUN: %clang_cc1 -fsyntax-only -fobjc-arc -fblocks -verify %s + +// rdar://problem/10982793 +// [p foo] in ARC creates a cleanup. +// The plus is invalid and causes the cleanup to go unbound. +// Don't crash. +@interface A +- (id) foo; +@end +void takeBlock(void (^)(void)); +void test0(id p) { + takeBlock(^{ [p foo] + p; }); // expected-error {{invalid operands to binary expression}} +}