/* { dg-additional-options "-fanalyzer-call-summaries" } */

int a;
extern int *q[];

int *
baz (int *src)
{
  while (a)
    {
      src && a;
      return src;
    }
}

void
bar (int **src)
{
  for (unsigned j = 0; j;)
    a = 0;
  while (a)
    baz (src[0]);
}

void
foo (void)
{
  bar (q);
  baz (&a);
  bar (q);
}