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

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