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 }