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

#include <stdio.h>

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

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

  init_arr(arr,&j);
  test (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 test (long int x);
	4	static void init_arr(/@out@/ float[],/@out@/ long int*);
	5
	6	int main(void)
	7	{
	8	int j;
	9	long i;
	10	float arr[2];
	11
	12	init_arr(arr,&j);
	13	test (j);
	14
	15	for( i=0; i < j; i++ ) {
	16	printf("%ld %d: %.6e\n",i,j,arr[i]);
	17	}
	18	return(0);
	19	}
	20
	21	void init_arr(float arr[],
	22	long int *j)
	23	{
3e3ec469	24	long i;
	25
	26	*j = 2L;
	27	for (i=0; i < 2L; i++) {
	28	arr[i] = (float)(i+1);
	29	}
cc78dedd	30	}