[splint.git] / test / dkf5kSprintf.c

/*dkf5k*/
#include <stdlib.h>

 
int main()
{ 
  char na[1000];
  sprintf(na, "%s",  "hello world");
  printf("%s\n", &(na[0]));
  return 0;
}
Commit	Line	Data
35b27def	1	/dkf5k/
	2	#include <stdlib.h>
	3
	4
	5	int main()
	6	{
	7	char na[1000];
	8	sprintf(na, "%s", "hello world");
	9	printf("%s\n", &(na[0]));
	10	return 0;
	11	}