gcc/testsuite/gcc.dg/analyzer/pr96777.c

struct ge {
  char au;
  char pz[];
};

struct ge tr = { 'X', 'X', };

int
main (void)
{
  return tr.pz[0] == 'X';
}