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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
|
// RUN: %clang_analyze_cc1 -w %s -verify \
// RUN: -analyzer-checker=core,alpha.core,debug.ExprInspection
#ifdef HEADER // A clever trick to avoid splitting up the test.
@interface NSObject
@end
@interface HeaderClass : NSObject
@property NSObject *prop;
@end
#else
#define HEADER
#include "ObjCProperties.m"
@implementation HeaderClass
- (void)foo {
if ((self.prop)) {
}
// This test tests that no dynamic bifurcation is performed on the property.
// The TRUE/FALSE dilemma correctly arises from eagerly-assume behavior
// inside the if-statement. The dynamic bifurcation at (self.prop) inside
// the if-statement was causing an UNKNOWN to show up as well due to
// extra parentheses being caught inside PseudoObjectExpr.
// This should not be UNKNOWN.
clang_analyzer_eval(self.prop); // expected-warning{{TRUE}}
// expected-warning@-1{{FALSE}}
}
@end
// The point of this test cases is to exercise properties in the static
// analyzer
@interface MyClass {
@private
id _X;
}
- (id)initWithY:(id)Y;
@property(copy, readwrite) id X;
@end
@implementation MyClass
@synthesize X = _X;
- (id)initWithY:(id)Y {
self.X = Y;
return self;
}
@end
#endif
|
