Anna Zaks | 9f3495a | 2013-03-19 22:38:09 +0000 | [diff] [blame] | 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 | } |