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

# include <string.h>
 
void  
capitalize (/*@out@*/ char *s,
            char *t)
{
  strcpy (s, t);
  *s = toupper (*s);
}
Commit	Line	Data
77970e15	1	# include <string.h>
	2
	3	void
	4	capitalize (/@out@/ char *s,
	5	char *t)
	6	{
	7	strcpy (s, t);
	8	s = toupper (s);
	9	}