gcc/testsuite/gcc.dg/analyzer/vla-1.c

/* { dg-require-effective-target alloca } */
#include "analyzer-decls.h"

void test_1 (int n)
{
  struct
  {
    char a[n], b;
  } s;
  s.a[0] = 42;
  __analyzer_eval (s.a[0] == 42); /* { dg-warning "TRUE" } */
  s.b = 17;
  __analyzer_eval (s.b == 17); /* { dg-warning "TRUE" } */
}