From cada305b86cdcfe4f8ceb7007736522a98c0f403 Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Fri, 5 Feb 2010 06:10:46 +0000 Subject: [PATCH] Add test case showing the analyzer invalidates '__block' variables when the block is passed as an argument to an ObjC method. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@95366 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Analysis/misc-ps-region-store.m | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/test/Analysis/misc-ps-region-store.m b/test/Analysis/misc-ps-region-store.m index 20284fe95b..6666dae2ed 100644 --- a/test/Analysis/misc-ps-region-store.m +++ b/test/Analysis/misc-ps-region-store.m @@ -590,6 +590,19 @@ int blocks_2(int *p, int z) { return z; } +// Test that the value of 'x' is considered invalidated after the block +// is passed as an argument to the message expression. +typedef void (^RDar7582031CB)(void); +@interface RDar7582031 +- rdar7582031:RDar7582031CB; +@end + +unsigned rdar7582031(RDar7582031 *o) { + __block unsigned x; + [o rdar7582031:^{ x = 1; }]; + return x; // no-warning +} + //===----------------------------------------------------------------------===// // - Test that variables passed using __blocks // are not treated as being uninitialized. -- 2.50.1