#include "analyzer-decls.h"

struct foo
{
  int i;
  int j;
};

struct coord
{
  int x;
  int y;
  int z;
};

struct foo g;

void test_1 (void)
{
  g.i = 42;
  if (g.j)
    __analyzer_eval (g.j); /* { dg-warning "TRUE" } */
  else
    __analyzer_eval (g.j); /* { dg-warning "FALSE" } */
  __analyzer_dump_exploded_nodes (0); /* { dg-warning "1 processed enode" } */
}

void test_2 (struct foo f)
{
  f.i = 42;
  if (f.j)
    __analyzer_eval (f.j); /* { dg-warning "TRUE" } */
  else
    __analyzer_eval (f.j); /* { dg-warning "FALSE" } */
  __analyzer_dump_exploded_nodes (0); /* { dg-warning "1 processed enode" } */
}

void test_3 (struct foo *p)
{
  struct foo f = *p;
  f.i = 42;
  if (f.j)
    __analyzer_eval (f.j); /* { dg-warning "TRUE" } */
  else
    __analyzer_eval (f.j); /* { dg-warning "FALSE" } */
  __analyzer_dump_exploded_nodes (0); /* { dg-warning "1 processed enode" } */
}

void test_4 (struct coord *p)
{
  struct coord f = *p;
  f.x = 42;
  __analyzer_eval (f.y == p->y); /* { dg-warning "TRUE" } */
  __analyzer_eval (f.z == p->z); /* { dg-warning "TRUE" } */
}

struct s5
{
  char arr[8];
};

void test_5 (struct s5 *p)
{
  struct s5 f = *p;
  f.arr[3] = 42;
  __analyzer_eval (f.arr[0] == p->arr[0]); /* { dg-warning "TRUE" } */
  __analyzer_eval (f.arr[1] == p->arr[1]); /* { dg-warning "TRUE" } */
  __analyzer_eval (f.arr[2] == p->arr[2]); /* { dg-warning "TRUE" } */
  __analyzer_eval (f.arr[3] == 42); /* { dg-warning "TRUE" } */
  __analyzer_eval (f.arr[4] == p->arr[4]); /* { dg-warning "TRUE" } */
  __analyzer_eval (f.arr[5] == p->arr[5]); /* { dg-warning "TRUE" } */
  __analyzer_eval (f.arr[6] == p->arr[6]); /* { dg-warning "TRUE" } */
  __analyzer_eval (f.arr[7] == p->arr[7]); /* { dg-warning "TRUE" } */
}

struct s6
{
  int before; /* Give "arr" a nonzero offset.  */
  struct foo arr[4];
  int after;
};

void test_6 (struct s6 *p, struct foo *q)
{
  struct s6 f = *p;
  f.arr[1] = *q;
  __analyzer_eval (f.before == p->before); /* { dg-warning "TRUE" } */
  __analyzer_eval (f.arr[0].i == p->arr[0].i); /* { dg-warning "TRUE" } */
  __analyzer_eval (f.arr[0].j == p->arr[0].j); /* { dg-warning "TRUE" } */
  __analyzer_eval (f.arr[1].i == q->i); /* { dg-warning "TRUE" } */
  __analyzer_eval (f.arr[1].j == q->j); /* { dg-warning "TRUE" } */
  __analyzer_eval (f.arr[2].i == p->arr[2].i); /* { dg-warning "TRUE" } */
  __analyzer_eval (f.arr[2].j == p->arr[2].j); /* { dg-warning "TRUE" } */
  __analyzer_eval (f.arr[3].i == p->arr[3].i); /* { dg-warning "TRUE" } */
  __analyzer_eval (f.arr[3].j == p->arr[3].j); /* { dg-warning "TRUE" } */
  __analyzer_eval (f.after == p->after); /* { dg-warning "TRUE" } */
}