[splint.git] / test / mut.c

# include "mut.h"

void mut_mod (mut a)
{
  *a = 3;
}

mut mut_create (void)
{
  int *x = (int *) malloc(sizeof(int));

  if (x == NULL)
    {
      exit (EXIT_FAILURE);
    }
  *x = 3;    
  return x;
}
Commit	Line	Data
885824d3	1	# include "mut.h"
	2
	3	void mut_mod (mut a)
	4	{
	5	*a = 3;
	6	}
	7
	8	mut mut_create (void)
	9	{
	10	int x = (int ) malloc(sizeof(int));
	11
	12	if (x == NULL)
	13	{
	14	exit (EXIT_FAILURE);
	15	}
	16	*x = 3;
	17	return x;
	18	}