1 #include "../../gcc.dg/analyzer/analyzer-decls.h"
3 typedef struct base_obj
14 void test (sub_obj
*sub
)
16 sub
->base
.m_first
= 1;
17 sub
->base
.m_second
= 2;
18 __analyzer_eval (sub
->base
.m_first
== 1); /* { dg-warning "TRUE" } */
19 __analyzer_eval (sub
->base
.m_second
== 2); /* { dg-warning "TRUE" } */
21 base_obj
*base
= (struct base_obj
*)sub
;
22 __analyzer_eval (base
->m_first
== 1); /* { dg-warning "TRUE" } */
23 __analyzer_eval (base
->m_second
== 2); /* { dg-warning "TRUE" } */