| 1 | // RUN: %clang_analyze_cc1 -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 | } |
| 29 |