[splint.git] / test / nullterminatedtest / test3.c

#include <stdio.h>

//void free (char * bob);

 /*@nullterminated@*/ char * strcpy ( char * ch1, /*@nullterminated@*/ 
char  * ch2);

char * global;

void test2 ()
{
char * y;
char * x;
strcpy (y, x);

strcpy (y, "bob");
x = "bob";
strcpy (y, x);
strcpy (y, global);
}


 /*@nullterminated@*/ char * tr ( char  * e) {

/*@nullterminated@*/ char * c;

return (e);
}

int main ()
{
/*@nullterminated@*/ char * d;
d = tr(d);
tr(d);
free (d);
return 0;
 
}
Commit	Line	Data
4e4880b7	1	#include <stdio.h>
	2
	3	//void free (char * bob);
	4
	5	/@nullterminated@/ char * strcpy ( char * ch1, /@nullterminated@/
	6	char * ch2);
	7
	8	char * global;
	9
	10	void test2 ()
	11	{
	12	char * y;
	13	char * x;
	14	strcpy (y, x);
	15
	16	strcpy (y, "bob");
	17	x = "bob";
	18	strcpy (y, x);
	19	strcpy (y, global);
	20	}
	21
	22
	23
	24	/@nullterminated@/ char * tr ( char * e) {
	25
	26	/@nullterminated@/ char * c;
	27
	28	return (e);
	29	}
	30
	31	int main ()
	32	{
	33	/@nullterminated@/ char * d;
	34	d = tr(d);
	35	tr(d);
	36	free (d);
	37	return 0;
	38
	39	}
	40