1 // RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.ExprInspection -analyzer-config c++-allocator-inlining=true -std=c++11 -verify -analyzer-config eagerly-assume=false %s
2 
3 void clang_analyzer_eval(bool);
4 void clang_analyzer_warnOnDeadSymbol(int);
5 
6 typedef __typeof__(sizeof(int)) size_t;
7 
8 int conjure();
9 void exit(int);
10 
11 struct S {
SS12   S() {}
~SS13   ~S() {}
14 
15   static S buffer[1000];
16 
17   // This operator allocates stuff within the buffer. Additionally, it never
18   // places anything at the beginning of the buffer.
operator newS19   void *operator new(size_t size) {
20     int i = conjure();
21     if (i == 0)
22       exit(1);
23     // Let's see if the symbol dies before new-expression is evaluated.
24     // It shouldn't.
25     clang_analyzer_warnOnDeadSymbol(i);
26     return buffer + i;
27   }
28 };
29 
testIndexLiveness()30 void testIndexLiveness() {
31   S *s = new S();
32   clang_analyzer_eval(s == S::buffer); // expected-warning{{FALSE}}
33 } // expected-warning{{SYMBOL DEAD}}
34