gcc/testsuite/gcc.dg/pch/static-1.c

#include "static-1.h"
static int bar(void)
{
  static int counter;
  return counter++;
}