maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

Add test case for <rdar://problem/7257223>, and XFAIL this test until it passes. 

llvm-svn: 84070
This commit is contained in:
Ted Kremenek 2009-10-14 01:54:16 +00:00
parent c745bf2d87
commit 0a62381d41
1 changed files with 24 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
clang/test/Analysis/retain-release-region-store.m
View File

@ -1,4 +1,5 @@
// RUN: clang-cc -analyze -checker-cfref -analyzer-store=region -verify %s
// XFAIL
//===----------------------------------------------------------------------===//
// The following code is reduced using delta-debugging from
@ -115,4 +116,27 @@ CFAbsoluteTime f4() {
}
@end
//===----------------------------------------------------------------------===//
// <rdar://problem/7257223> - False positive due to not invalidating the
// reference count of a tracked region that was itself invalidated.
//===----------------------------------------------------------------------===//
typedef struct __rdar_7257223 { CFDateRef x; } RDar7257223;
void rdar_7257223_aux(RDar7257223 *p);
// THIS CASE CURRENTLY FAILS.
CFDateRef rdar7257223_Create(void) {
RDar7257223 s;
CFAbsoluteTime t = CFAbsoluteTimeGetCurrent();
s.x = CFDateCreate(0, t); // no-warning
rdar_7257223_aux(&s);
return s.x;
}
CFDateRef rdar7257223_Create_2(void) {
RDar7257223 s;
CFAbsoluteTime t = CFAbsoluteTimeGetCurrent();
s.x = CFDateCreate(0, t); // no-warning
return s.x;
}