1*67e74705SXin Li // RUN: %clang_cc1 -analyze -analyzer-checker=core -verify %s
2*67e74705SXin Li // expected-no-diagnostics
3*67e74705SXin Li
4*67e74705SXin Li extern void __assert_fail (__const char *__assertion, __const char *__file,
5*67e74705SXin Li unsigned int __line, __const char *__function)
6*67e74705SXin Li __attribute__ ((__noreturn__));
7*67e74705SXin Li #define assert(expr) \
8*67e74705SXin Li ((expr) ? (void)(0) : __assert_fail (#expr, __FILE__, __LINE__, __func__))
9*67e74705SXin Li
10*67e74705SXin Li class ButterFly {
11*67e74705SXin Li private:
ButterFly()12*67e74705SXin Li ButterFly() { }
13*67e74705SXin Li public:
triggerderef()14*67e74705SXin Li int triggerderef() {
15*67e74705SXin Li return 0;
16*67e74705SXin Li }
17*67e74705SXin Li };
18*67e74705SXin Li ButterFly *getInP();
19*67e74705SXin Li class X{
20*67e74705SXin Li ButterFly *p;
setP(ButterFly * inP)21*67e74705SXin Li void setP(ButterFly *inP) {
22*67e74705SXin Li if(inP)
23*67e74705SXin Li ;
24*67e74705SXin Li p = inP;
25*67e74705SXin Li };
subtest1()26*67e74705SXin Li void subtest1() {
27*67e74705SXin Li ButterFly *inP = getInP();
28*67e74705SXin Li setP(inP);
29*67e74705SXin Li }
subtest2()30*67e74705SXin Li int subtest2() {
31*67e74705SXin Li int c = p->triggerderef(); // no-warning
32*67e74705SXin Li return c;
33*67e74705SXin Li }
test()34*67e74705SXin Li int test() {
35*67e74705SXin Li subtest1();
36*67e74705SXin Li return subtest2();
37*67e74705SXin Li }
38*67e74705SXin Li };
39*67e74705SXin Li
40*67e74705SXin Li typedef const int *Ty;
41*67e74705SXin Li extern
42*67e74705SXin Li Ty notNullArg(Ty cf) __attribute__((nonnull));
43*67e74705SXin Li typedef const void *CFTypeRef;
44*67e74705SXin Li extern Ty getTyVal();
radar13224271_callee(Ty def,Ty & result)45*67e74705SXin Li inline void radar13224271_callee(Ty def, Ty& result ) {
46*67e74705SXin Li result = def;
47*67e74705SXin Li // Clearly indicates that result cannot be 0 if def is not NULL.
48*67e74705SXin Li assert( (result != 0) || (def == 0) );
49*67e74705SXin Li }
radar13224271_caller()50*67e74705SXin Li void radar13224271_caller()
51*67e74705SXin Li {
52*67e74705SXin Li Ty value;
53*67e74705SXin Li radar13224271_callee(getTyVal(), value );
54*67e74705SXin Li notNullArg(value); // no-warning
55*67e74705SXin Li }
56*67e74705SXin Li
57*67e74705SXin Li struct Foo {
58*67e74705SXin Li int *ptr;
FooFoo59*67e74705SXin Li Foo(int *p) {
60*67e74705SXin Li *p = 1; // no-warning
61*67e74705SXin Li }
62*67e74705SXin Li };
idc(int * p3)63*67e74705SXin Li void idc(int *p3) {
64*67e74705SXin Li if (p3)
65*67e74705SXin Li ;
66*67e74705SXin Li }
retNull()67*67e74705SXin Li int *retNull() {
68*67e74705SXin Li return 0;
69*67e74705SXin Li }
test(int * p1,int * p2)70*67e74705SXin Li void test(int *p1, int *p2) {
71*67e74705SXin Li idc(p1);
72*67e74705SXin Li Foo f(p1);
73*67e74705SXin Li }