gcc/testsuite/gcc.dg/analyzer/pr97029.c

struct vj {
  char buf[1];
};

void
setjmp (struct vj pl)
{
  setjmp (pl);
}