зеркало из https://github.com/microsoft/clang-1.git
Fix crasher in CFRefCount.cpp reported by Nikita Zhuk due to recently added autorelease tracking.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@71647 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Родитель
766703b76d
Коммит
2033a95c9b
|
@ -2154,6 +2154,9 @@ PathDiagnosticPiece* CFRefReport::VisitNode(const ExplodedNode<GRState>* N,
|
|||
const ExplodedNode<GRState>* PrevN,
|
||||
BugReporterContext& BRC) {
|
||||
|
||||
if (!isa<PostStmt>(N->getLocation()))
|
||||
return NULL;
|
||||
|
||||
// Check if the type state has changed.
|
||||
GRStateManager &StMgr = BRC.getStateManager();
|
||||
GRStateRef PrevSt(PrevN->getState(), StMgr);
|
||||
|
|
|
@ -183,6 +183,33 @@ void f13(void) {
|
|||
NSString *str = [[NSString alloc] init];
|
||||
return [str autorelease]; // no-warning
|
||||
}
|
||||
- (void)m1
|
||||
{
|
||||
NSString *s = [[NSString alloc] init]; // expected-warning{{leak}}
|
||||
[s retain];
|
||||
[s autorelease];
|
||||
}
|
||||
- (void)m2
|
||||
{
|
||||
NSString *s = [[[NSString alloc] init] autorelease]; // expected-warning{{leak}}
|
||||
[s retain];
|
||||
}
|
||||
- (void)m3
|
||||
{
|
||||
NSString *s = [[[NSString alloc] init] autorelease];
|
||||
[s retain];
|
||||
[s autorelease];
|
||||
}
|
||||
- (void)m4
|
||||
{
|
||||
NSString *s = [[NSString alloc] init]; // expected-warning{{leak}}
|
||||
[s retain];
|
||||
}
|
||||
- (void)m5
|
||||
{
|
||||
NSString *s = [[NSString alloc] init];
|
||||
[s autorelease];
|
||||
}
|
||||
@end
|
||||
|
||||
@interface C1 : NSObject {}
|
||||
|
@ -298,8 +325,6 @@ void test_isTrackedObjectType(void) {
|
|||
return CFStringCreateWithFormat(kCFAllocatorDefault, ((void*)0), ((CFStringRef) __builtin___CFStringMakeConstantString ("" "%d" "")), 100); // expected-warning{{leak}}
|
||||
}
|
||||
|
||||
|
||||
|
||||
// Test @synchronized
|
||||
void test_synchronized(id x) {
|
||||
@synchronized(x) {
|
||||
|
@ -307,4 +332,4 @@ void test_synchronized(id x) {
|
|||
}
|
||||
}
|
||||
|
||||
// Test return from method starting with 'new' or 'copy'
|
||||
|
||||
|
|
Загрузка…
Ссылка в новой задаче