1*67e74705SXin Li // RUN: %clang_cc1 -analyze -analyzer-checker=core,debug.ExprInspection -analyzer-config c++-inlining=constructors -verify %s 2*67e74705SXin Li 3*67e74705SXin Li void clang_analyzer_eval(bool); 4*67e74705SXin Li 5*67e74705SXin Li 6*67e74705SXin Li struct A { 7*67e74705SXin Li int x; AA8*67e74705SXin Li A(int a) { x = a; } getxA9*67e74705SXin Li int getx() const { return x; } 10*67e74705SXin Li }; 11*67e74705SXin Li 12*67e74705SXin Li struct B{ 13*67e74705SXin Li int x; 14*67e74705SXin Li }; 15*67e74705SXin Li testNullObject(A * a)16*67e74705SXin Livoid testNullObject(A *a) { 17*67e74705SXin Li clang_analyzer_eval(a); // expected-warning{{UNKNOWN}} 18*67e74705SXin Li (void)a->getx(); // assume we know what we're doing 19*67e74705SXin Li clang_analyzer_eval(a); // expected-warning{{TRUE}} 20*67e74705SXin Li } 21*67e74705SXin Li f1()22*67e74705SXin Livoid f1() { 23*67e74705SXin Li A x(3); 24*67e74705SXin Li clang_analyzer_eval(x.getx() == 3); // expected-warning{{TRUE}} 25*67e74705SXin Li } 26*67e74705SXin Li f2()27*67e74705SXin Livoid f2() { 28*67e74705SXin Li const A &x = A(3); 29*67e74705SXin Li clang_analyzer_eval(x.getx() == 3); // expected-warning{{TRUE}} 30*67e74705SXin Li } 31*67e74705SXin Li f3()32*67e74705SXin Livoid f3() { 33*67e74705SXin Li const A &x = (A)3; 34*67e74705SXin Li clang_analyzer_eval(x.getx() == 3); // expected-warning{{TRUE}} 35*67e74705SXin Li } 36*67e74705SXin Li f4()37*67e74705SXin Livoid f4() { 38*67e74705SXin Li A x = 3; 39*67e74705SXin Li clang_analyzer_eval(x.getx() == 3); // expected-warning{{TRUE}} 40*67e74705SXin Li } 41*67e74705SXin Li checkThatCopyConstructorDoesNotInvalidateObjectBeingCopied()42*67e74705SXin Livoid checkThatCopyConstructorDoesNotInvalidateObjectBeingCopied() { 43*67e74705SXin Li B t; 44*67e74705SXin Li t.x = 0; 45*67e74705SXin Li B t2(t); 46*67e74705SXin Li clang_analyzer_eval(t.x == 0); // expected-warning{{TRUE}} 47*67e74705SXin Li } 48