90 lines · cpp
1// RUN: %clang_analyze_cc1 -analyzer-checker=core.NullDereference,core.uninitialized.UndefReturn -std=c++11 %s -verify -o /dev/null2 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 analyzer13// 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-warning47}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-warning69}70 71// Do not crash on the following when constructing the72// callgraph.73struct RDar11178609 {74 ~RDar11178609() = delete;75};76 77// Tests that dynamic_cast handles references to C++ classes. Previously78// 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