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
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s
// expected-no-diagnostics
extern void __assert_fail (__const char *__assertion, __const char *__file,
unsigned int __line, __const char *__function)
__attribute__ ((__noreturn__));
#define assert(expr) \
((expr) ? (void)(0) : __assert_fail (#expr, __FILE__, __LINE__, __func__))
class ButterFly {
private:
ButterFly() { }
public:
int triggerderef() {
return 0;
}
};
ButterFly *getInP();
class X{
ButterFly *p;
void setP(ButterFly *inP) {
if(inP)
;
p = inP;
};
void subtest1() {
ButterFly *inP = getInP();
setP(inP);
}
int subtest2() {
int c = p->triggerderef(); // no-warning
return c;
}
int test() {
subtest1();
return subtest2();
}
};
typedef const int *Ty;
extern
Ty notNullArg(Ty cf) __attribute__((nonnull));
typedef const void *CFTypeRef;
extern Ty getTyVal();
inline void radar13224271_callee(Ty def, Ty& result ) {
result = def;
// Clearly indicates that result cannot be 0 if def is not NULL.
assert( (result != 0) || (def == 0) );
}
void radar13224271_caller()
{
Ty value;
radar13224271_callee(getTyVal(), value );
notNullArg(value); // no-warning
}
struct Foo {
int *ptr;
Foo(int *p) {
*p = 1; // no-warning
}
};
void idc(int *p3) {
if (p3)
;
}
int *retNull() {
return 0;
}
void test(int *p1, int *p2) {
idc(p1);
Foo f(p1);
}
struct Bar {
int x;
};
void idcBar(Bar *b) {
if (b)
;
}
void testRefToField(Bar *b) {
idcBar(b);
int &x = b->x; // no-warning
x = 5;
}
namespace get_deref_expr_with_cleanups {
struct S {
~S();
};
S *conjure();
// The argument won't be used, but it'll cause cleanups
// to appear around the call site.
S *get_conjured(S _) {
S *s = conjure();
if (s) {}
return s;
}
void test_conjured() {
S &s = *get_conjured(S()); // no-warning
}
} // namespace get_deref_expr_with_cleanups
|