blob: 3f68206b168fc6ff4abf3cadcf1e1a66691e1408 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
// RUN: %clang_cc1 -analyze -analyzer-store=region -analyzer-constraints=range -fblocks -analyzer-opt-analyze-nested-blocks -analyzer-check-objc-mem -analyzer-check-idempotent-operations -verify %s
typedef signed char BOOL;
typedef unsigned long NSUInteger;
typedef struct _NSZone NSZone;
@protocol NSObject - (BOOL)isEqual:(id)object;
@end @interface NSObject <NSObject> {
}
@end
// <rdar://problem/8725041> - Don't flag idempotent operation warnings when
// a method may invalidate an instance variable.
@interface Rdar8725041 : NSObject {
id _attribute;
}
- (void) method2;
@end
@implementation Rdar8725041
- (BOOL) method1 {
BOOL needsUpdate = (BOOL)0;
id oldAttribute = _attribute;
[self method2];
needsUpdate |= (_attribute != oldAttribute); // no-warning
return needsUpdate;
}
- (void) method2
{
_attribute = ((void*)0);
}
@end
|
