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