validation/backend/extern.c

   1 extern unsigned long foo;
   2
   3 static unsigned long bar(void)
   4 {
   5         return foo;
   6 }
   7
   8 /*
   9  * check-name: Extern symbol code generation
  10  * check-command: ./sparsec -c $file -o tmp.o
  11  */