1 #include "analyzer-decls.h"
2 
3 struct base
4 {
5   int i;
6 };
7 
8 struct sub
9 {
10   struct base b;
11   int j;
12 };
13 
test(void)14 void test (void)
15 {
16   struct sub s;
17   s.b.i = 3;
18   s.j = 4;
19   __analyzer_eval (s.b.i == 3); /* { dg-warning "TRUE" } */
20   __analyzer_eval (s.j == 4); /* { dg-warning "TRUE" } */
21 
22   struct base *bp = (struct base *)&s;
23 
24   __analyzer_eval (bp->i == 3); /* { dg-warning "TRUE"  "desired" { xfail *-*-* } } */
25   /* { dg-warning "UNKNOWN" "status quo" { target *-*-* } .-1 } */
26 }
27