1 // RUN: %clang_analyze_cc1 -w -analyzer-checker=core,debug.ExprInspection -analyzer-config c++-allocator-inlining=true -std=c++11 -verify %s
2
3 void clang_analyzer_eval(bool);
4
5 typedef __typeof__(sizeof(int)) size_t;
6
7
8 // These are ill-formed. One cannot return nullptr from a throwing version of an
9 // operator new.
operator new(size_t size)10 void *operator new(size_t size) {
11 return nullptr;
12 }
operator new[](size_t size)13 void *operator new[](size_t size) {
14 return nullptr;
15 }
16
17 struct S {
18 int x;
SS19 S() : x(1) {}
~SS20 ~S() {}
21 };
22
testArrays()23 void testArrays() {
24 S *s = new S[10]; // no-crash
25 s[0].x = 2; // expected-warning{{Dereference of null pointer}}
26 }
27