| // RUN: %clang --analyze -std=c++11 %s -Xclang -verify -o /dev/null |
| |
| void test_static_assert() { |
| static_assert(sizeof(void *) == sizeof(void*), "test_static_assert"); |
| } |
| |
| void test_analyzer_working() { |
| int *p = 0; |
| *p = 0xDEADBEEF; // expected-warning {{null}} |
| } |
| |
| // Test that pointer-to-member functions don't cause the analyzer |
| // to crash. |
| struct RDar10243398 { |
| void bar(int x); |
| }; |
| |
| typedef void (RDar10243398::*RDar10243398MemberFn)(int x); |
| |
| void test_rdar10243398(RDar10243398 *p) { |
| RDar10243398MemberFn q = &RDar10243398::bar; |
| ((*p).*(q))(1); |
| } |
| |
| // Tests for CXXTemporaryObjectExpr. |
| struct X { |
| X( int *ip, int ); |
| }; |
| |
| // Test to see if CXXTemporaryObjectExpr is being handled. |
| int tempobj1() |
| { |
| int j; |
| int i; |
| X a = X( &j, 1 ); |
| |
| return i; // expected-warning {{Undefined or garbage value returned to caller}} |
| } |
| |
| // Test to see if CXXTemporaryObjectExpr invalidates arguments. |
| int tempobj2() |
| { |
| int j; |
| X a = X( &j, 1 ); |
| |
| return j; // no-warning |
| } |
| |
| |
| // Test for correct handling of C++ ForRange statement. |
| void test1() { |
| int array[2] = { 1, 2 }; |
| int j = 0; |
| for ( int i : array ) |
| j += i; |
| int *p = 0; |
| *p = 0xDEADBEEF; // expected-warning {{null}} |
| } |
| |
| void test2() { |
| int array[2] = { 1, 2 }; |
| int j = 0; |
| for (int i : array) |
| j += i; |
| if (j == 3) |
| return; |
| int *p = 0; |
| *p = 0xDEADBEEF; // no-warning |
| } |
| |
| // Do not crash on the following when constructing the |
| // callgraph. |
| struct RDar11178609 { |
| ~RDar11178609() = delete; |
| }; |
| |
| // Tests that dynamic_cast handles references to C++ classes. Previously |
| // this crashed. |
| class rdar11817693_BaseBase {}; |
| class rdar11817693_BaseInterface {}; |
| class rdar11817693_Base : public rdar11817693_BaseBase, public rdar11817693_BaseInterface {}; |
| class rdar11817693 : public rdar11817693_Base { |
| virtual void operator=(const rdar11817693_BaseBase& src); |
| void operator=(const rdar11817693& src); |
| }; |
| void rdar11817693::operator=(const rdar11817693& src) { |
| operator=(dynamic_cast<const rdar11817693_BaseBase&>(src)); |
| } |
| |
| |