misc-ps-cxx0x.cpp revision fc999ac663eca933359047c88dc4a1ef6e579e8a
1// RUN: %clang --analyze -std=c++11 %s -Xclang -verify -o /dev/null 2 3void test_static_assert() { 4 static_assert(sizeof(void *) == sizeof(void*), "test_static_assert"); 5} 6 7void test_analyzer_working() { 8 int *p = 0; 9 *p = 0xDEADBEEF; // expected-warning {{null}} 10} 11 12// Test that pointer-to-member functions don't cause the analyzer 13// to crash. 14struct RDar10243398 { 15 void bar(int x); 16}; 17 18typedef void (RDar10243398::*RDar10243398MemberFn)(int x); 19 20void test_rdar10243398(RDar10243398 *p) { 21 RDar10243398MemberFn q = &RDar10243398::bar; 22 ((*p).*(q))(1); 23} 24 25// Tests for CXXTemporaryObjectExpr. 26struct X { 27 X( int *ip, int ); 28}; 29 30// Test to see if CXXTemporaryObjectExpr is being handled. 31int tempobj1() 32{ 33 int j; 34 int i; 35 X a = X( &j, 1 ); 36 37 return i; // expected-warning {{Undefined or garbage value returned to caller}} 38} 39 40// Test to see if CXXTemporaryObjectExpr invalidates arguments. 41int tempobj2() 42{ 43 int j; 44 X a = X( &j, 1 ); 45 46 return j; // no-warning 47} 48 49 50// Test for correct handling of C++ ForRange statement. 51void test1() { 52 int array[2] = { 1, 2 }; 53 int j = 0; 54 for ( int i : array ) 55 j += i; 56 int *p = 0; 57 *p = 0xDEADBEEF; // expected-warning {{null}} 58} 59 60void test2() { 61 int array[2] = { 1, 2 }; 62 int j = 0; 63 for (int i : array) 64 j += i; 65 if (j == 3) 66 return; 67 int *p = 0; 68 *p = 0xDEADBEEF; // no-warning 69} 70 71// Do not crash on the following when constructing the 72// callgraph. 73struct RDar11178609 { 74 ~RDar11178609() = delete; 75}; 76 77// Tests that dynamic_cast handles references to C++ classes. Previously 78// this crashed. 79class rdar11817693_BaseBase {}; 80class rdar11817693_BaseInterface {}; 81class rdar11817693_Base : public rdar11817693_BaseBase, public rdar11817693_BaseInterface {}; 82class rdar11817693 : public rdar11817693_Base { 83 virtual void operator=(const rdar11817693_BaseBase& src); 84 void operator=(const rdar11817693& src); 85}; 86void rdar11817693::operator=(const rdar11817693& src) { 87 operator=(dynamic_cast<const rdar11817693_BaseBase&>(src)); 88} 89 90// Test warning about null or uninitialized pointer values used as instance member 91// calls. 92class TestInstanceCall { 93public: 94 void foo() {} 95}; 96 97void test_ic() { 98 TestInstanceCall *p; 99 p->foo(); // expected-warning {{Called C++ object pointer is uninitialized}} 100} 101 102void test_ic_null() { 103 TestInstanceCall *p = 0; 104 p->foo(); // expected-warning {{Called C++ object pointer is null}} 105} 106 107void test_ic_null(TestInstanceCall *p) { 108 if (!p) 109 p->foo(); // expected-warning {{Called C++ object pointer is null}} 110} 111 112