[splint.git] / test / tests2.5 / baz.h

/*
 * baz.h
 */

#ifndef _BAZ_H_
#define _BAZ_H_

struct pxs {
  int a;
  int b;
  int c[4];
  int d;
};

typedef struct pxs pxt;

struct xstr {
  pxt a;
};

typedef struct xstr pvt;

struct pvas {
  int a;
  int b[4];
};

typedef struct pvas ppvat;

struct pvzas {
  int a;
  int c[4];
};

typedef struct pvzas pvzat;

struct p4zas {
  int a;
  int b[4];
};

struct yabbawabba {
  pxt  a;
};

#endif /* !_BAZ_H_ */
Commit	Line	Data
cc78dedd	1	/*
	2	* baz.h
	3	*/
	4
	5	#ifndef _BAZ_H_
	6	#define _BAZ_H_
	7
	8	struct pxs {
	9	int a;
	10	int b;
	11	int c[4];
	12	int d;
	13	};
	14
	15	typedef struct pxs pxt;
	16
	17	struct xstr {
	18	pxt a;
	19	};
	20
	21	typedef struct xstr pvt;
	22
	23	struct pvas {
	24	int a;
	25	int b[4];
	26	};
	27
	28	typedef struct pvas ppvat;
	29
	30	struct pvzas {
	31	int a;
	32	int c[4];
	33	};
	34
	35	typedef struct pvzas pvzat;
	36
	37	struct p4zas {
	38	int a;
	39	int b[4];
	40	};
	41
	42	struct yabbawabba {
	43	pxt a;
	44	};
	45
	46	#endif /* !_BAZ_H_ */
	47
	48