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

char firstChar1 (/*@null@*/ char *s)
{
  return *s;
}

char firstChar2 (/*@null@*/ char *s)
{
  if (s == NULL) return '\0';
  return *s;
}
Commit	Line	Data
77970e15	1	char firstChar1 (/@null@/ char *s)
	2	{
	3	return *s;
	4	}
	5
	6	char firstChar2 (/@null@/ char *s)
	7	{
	8	if (s == NULL) return '\0';
	9	return *s;
	10	}