[splint.git] / test / manual / mstring.c

static /*@notnull@*/ char *mstring_createNew (int x);

char *mstring_space (void)
{
  char *m = mstring_createNew (2);
  *m = ' '; 
  *(m + 1) = '\0';  
  return m;
}
Commit	Line	Data
77970e15	1	static /@notnull@/ char *mstring_createNew (int x);
	2
	3	char *mstring_space (void)
	4	{
	5	char *m = mstring_createNew (2);
	6	*m = ' ';
	7	*(m + 1) = '\0';
	8	return m;
	9	}