| // RUN: %clang_analyze_cc1 -w -analyzer-checker=core,debug.ExprInspection -analyzer-config c++-allocator-inlining=true -std=c++11 -verify %s | |
| void clang_analyzer_eval(bool); | |
| typedef __typeof__(sizeof(int)) size_t; | |
| // These are ill-formed. One cannot return nullptr from a throwing version of an | |
| // operator new. | |
| void *operator new(size_t size) { | |
| return nullptr; | |
| } | |
| void *operator new[](size_t size) { | |
| return nullptr; | |
| } | |
| struct S { | |
| int x; | |
| S() : x(1) {} | |
| ~S() {} | |
| }; | |
| void testArrays() { | |
| S *s = new S[10]; // no-crash | |
| s[0].x = 2; // expected-warning{{Dereference of null pointer}} | |
| } |