1 #include "../../gcc.dg/analyzer/analyzer-decls.h"
2 
3 struct base
4 {
~basebase5   virtual ~base () {}
6 };
7 struct sub : public base
8 {
9   int m_field;
10 };
11 
12 int
test_1(base * p)13 test_1 (base *p)
14 {
15   if (sub *q = dynamic_cast <sub*> (p))
16     {
17       __analyzer_dump_path (); // { dg-message "path" }
18       return q->m_field;
19     }
20   return 0;
21 }
22