[splint.git] / test / tests2.4 / ric.c

#include <stdio.h>

static void foo() {printf("%s()\n",__PRETTY_FUNCTION__);}

int main()
{
  if(bar() == 0)
    printf("%s()\n",__PRETTY_FUNCTION__);
  return 0;
}
Commit	Line	Data
80ee600a	1	#include <stdio.h>
	2
	3	static void foo() {printf("%s()\n",__PRETTY_FUNCTION__);}
	4
	5	int main()
	6	{
	7	if(bar() == 0)
	8	printf("%s()\n",__PRETTY_FUNCTION__);
	9	return 0;
	10	}