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)14void 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