Home | History | Annotate | Download | only in Analysis 
      1 // RUN: %clang_cc1 -analyze -analyzer-checker=core,unix -verify %s
      2 // expected-no-diagnostics
      3 
      4 class Loc {
      5   int x;
      6 };
      7 class P1 {
      8 public:
      9   Loc l;
     10   void setLoc(Loc L) {
     11     l = L;
     12   }
     13 
     14 };
     15 class P2 {
     16 public:
     17   int m;
     18   int accessBase() {
     19     return m;
     20   }
     21 };
     22 class Derived: public P1, public P2 {
     23 };
     24 int radar13445834(Derived *Builder, Loc l) {
     25   Builder->setLoc(l);
     26   return Builder->accessBase();
     27 
     28 }