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