[splint.git] / test / tests2.5 / quals.c

#include <stdio.h>

static void init_arr(/*@out@*/ float[],/*@out@*/ long int*);

int main(void)
{
	int j;
	long i;
	float arr[2];

	init_arr(arr,&j);
	for( i=0; i < j; i++ ) {
		printf("%ld %d: %.6e\n",i,j,arr[i]);
	}
	return(0);
}

void init_arr(float arr[],
	      long int *j)
{
	long i;

	*j = 2L;
	for( i=0; i < 2L; i++ ) {
		arr[i] = (float)(i+1);
	}
}
Commit	Line	Data
cc78dedd	1	#include <stdio.h>
	2
	3	static void init_arr(/@out@/ float[],/@out@/ long int*);
	4
	5	int main(void)
	6	{
	7	int j;
	8	long i;
	9	float arr[2];
	10
	11	init_arr(arr,&j);
	12	for( i=0; i < j; i++ ) {
	13	printf("%ld %d: %.6e\n",i,j,arr[i]);
	14	}
	15	return(0);
	16	}
	17
	18	void init_arr(float arr[],
	19	long int *j)
	20	{
	21	long i;
	22
	23	*j = 2L;
	24	for( i=0; i < 2L; i++ ) {
	25	arr[i] = (float)(i+1);
	26	}
	27	}