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  
      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" } */
      25  }