[splint.git] / test / tests2.2 / rex.c

#include <stdio.h>

struct rx_hash
{
  struct rx_hash *parent;
  struct rx_hash *children[13];
};

typedef struct rx_hash regex_t;

void regcomp (/*@out@*/ regex_t *re);

int main (int, char **)
{
  regex_t re;

  regcomp (&re);

  return 2;
}

int f (void)
{
  /*@-varuse@*/ regex_t re; /*@=varuse@*/
  return 3;
}
Commit	Line	Data
885824d3	1	#include <stdio.h>
	2
	3	struct rx_hash
	4	{
	5	struct rx_hash *parent;
	6	struct rx_hash *children[13];
	7	};
	8
	9	typedef struct rx_hash regex_t;
	10
	11	void regcomp (/@out@/ regex_t *re);
	12
	13	int main (int, char **)
	14	{
	15	regex_t re;
	16
	17	regcomp (&re);
	18
	19	return 2;
	20	}
	21
	22	int f (void)
	23	{
	24	/@-varuse@/ regex_t re; /@=varuse@/
	25	return 3;
	26	}
	27