• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
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;
setLoc(Loc L)10   void setLoc(Loc L) {
11     l = L;
12   }
13 
14 };
15 class P2 {
16 public:
17   int m;
accessBase()18   int accessBase() {
19     return m;
20   }
21 };
22 class Derived: public P1, public P2 {
23 };
radar13445834(Derived * Builder,Loc l)24 int radar13445834(Derived *Builder, Loc l) {
25   Builder->setLoc(l);
26   return Builder->accessBase();
27 
28 }