Home | History | Annotate | Download | only in Analysis
      1 // RUN: %clang_cc1 -analyze -analyzer-checker=core,unix.Malloc,debug.ExprInspection -analyzer-config c++-inlining=constructors -std=c++11 -verify %s
      2 
      3 void clang_analyzer_eval(bool);
      4 
      5 class A {
      6   int x;
      7 public:
      8   A();
      9 };
     10 
     11 A::A() : x(0) {
     12   clang_analyzer_eval(x == 0); // expected-warning{{TRUE}}
     13 }
     14 
     15 
     16 class DirectMember {
     17   int x;
     18 public:
     19   DirectMember(int value) : x(value) {}
     20 
     21   int getX() { return x; }
     22 };
     23 
     24 void testDirectMember() {
     25   DirectMember obj(3);
     26   clang_analyzer_eval(obj.getX() == 3); // expected-warning{{TRUE}}
     27 }
     28 
     29 
     30 class IndirectMember {
     31   struct {
     32     int x;
     33   };
     34 public:
     35   IndirectMember(int value) : x(value) {}
     36 
     37   int getX() { return x; }
     38 };
     39 
     40 void testIndirectMember() {
     41   IndirectMember obj(3);
     42   clang_analyzer_eval(obj.getX() == 3); // expected-warning{{TRUE}}
     43 }
     44 
     45 
     46 struct DelegatingConstructor {
     47   int x;
     48   DelegatingConstructor(int y) { x = y; }
     49   DelegatingConstructor() : DelegatingConstructor(42) {}
     50 };
     51 
     52 void testDelegatingConstructor() {
     53   DelegatingConstructor obj;
     54   clang_analyzer_eval(obj.x == 42); // expected-warning{{TRUE}}
     55 }
     56 
     57 
     58 struct RefWrapper {
     59   RefWrapper(int *p) : x(*p) {}
     60   RefWrapper(int &r) : x(r) {}
     61   int &x;
     62 };
     63 
     64 void testReferenceMember() {
     65   int *p = 0;
     66   RefWrapper X(p); // expected-warning@-7 {{Dereference of null pointer}}
     67 }
     68 
     69 void testReferenceMember2() {
     70   int *p = 0;
     71   RefWrapper X(*p); // expected-warning {{Forming reference to null pointer}}
     72 }
     73 
     74 
     75 extern "C" char *strdup(const char *);
     76 
     77 class StringWrapper {
     78   char *str;
     79 public:
     80   StringWrapper(const char *input) : str(strdup(input)) {} // no-warning
     81 };
     82 
     83 
     84 // PR15070 - Constructing a type containing a non-POD array mistakenly
     85 // tried to perform a bind instead of relying on the CXXConstructExpr,
     86 // which caused a cast<> failure in RegionStore.
     87 namespace DefaultConstructorWithCleanups {
     88   class Element {
     89   public:
     90     int value;
     91 
     92     class Helper {
     93     public:
     94       ~Helper();
     95     };
     96     Element(Helper h = Helper());
     97   };
     98   class Wrapper {
     99   public:
    100     Element arr[2];
    101 
    102     Wrapper();
    103   };
    104 
    105   Wrapper::Wrapper() /* initializers synthesized */ {}
    106 
    107   int test() {
    108     Wrapper w;
    109     return w.arr[0].value; // no-warning
    110   }
    111 }
    112 
    113 namespace DefaultMemberInitializers {
    114   struct Wrapper {
    115     int value = 42;
    116 
    117     Wrapper() {}
    118     Wrapper(int x) : value(x) {}
    119     Wrapper(bool) {}
    120   };
    121 
    122   void test() {
    123     Wrapper w1;
    124     clang_analyzer_eval(w1.value == 42); // expected-warning{{TRUE}}
    125 
    126     Wrapper w2(50);
    127     clang_analyzer_eval(w2.value == 50); // expected-warning{{TRUE}}
    128 
    129     Wrapper w3(false);
    130     clang_analyzer_eval(w3.value == 42); // expected-warning{{TRUE}}
    131   }
    132 
    133   struct StringWrapper {
    134     const char s[4] = "abc";
    135     const char *p = "xyz";
    136 
    137     StringWrapper(bool) {}
    138   };
    139 
    140   void testString() {
    141     StringWrapper w(true);
    142     clang_analyzer_eval(w.s[1] == 'b'); // expected-warning{{TRUE}}
    143     clang_analyzer_eval(w.p[1] == 'y'); // expected-warning{{TRUE}}
    144   }
    145 }
    146