[splint.git] / test / tests2.4 / test0.c

void test0(int value, int *data, int *result)
{
int i;
int j;

	*result = 0;
	switch(value)
	{
	case 1:
		for(i=1;i<100;i++)
		{
			for(j=0;j<100;j++)
			{
				if(data[j] == i)
					goto RETURN;
			}
		}
		*result = 1;
		break;
	case 3:
		for(i=1;i<100;i++)
		{
			for(j=0;j<100;j++)
			{
				if(data[j] == 2*i+1)
					goto RETURN;
			}
		}
		*result = 2;
		break;
	default:
		*result = -1;
		break;
	}
RETURN:
	/*	*result = 0;	// if this line is not here, lclint fails */
}
Commit	Line	Data
885824d3	1	void test0(int value, int data, int result)
	2	{
	3	int i;
	4	int j;
	5
	6	*result = 0;
	7	switch(value)
	8	{
	9	case 1:
	10	for(i=1;i<100;i++)
	11	{
	12	for(j=0;j<100;j++)
	13	{
	14	if(data[j] == i)
	15	goto RETURN;
	16	}
	17	}
	18	*result = 1;
	19	break;
	20	case 3:
	21	for(i=1;i<100;i++)
	22	{
	23	for(j=0;j<100;j++)
	24	{
	25	if(data[j] == 2*i+1)
	26	goto RETURN;
	27	}
	28	}
	29	*result = 2;
	30	break;
	31	default:
	32	*result = -1;
	33	break;
	34	}
	35	RETURN:
	36	/* result = 0; // if this line is not here, lclint fails /
	37	}