[splint.git] / test / alias3.lh

/* Output from LCLint 3.0.0.7 */
# include "bool.h"


# ifndef EXPOSED_TYPE_st
typedef struct s_st {
    int a;
    int *b;
    } st;
# endif


# ifndef EXPOSED_TYPE_ut
typedef union s_ut {
    int a;
    st s;
    st *t;
    int **c;
    } ut;
# endif

extern st  gst;
extern ut  *gu;
extern int f (int  /* ia */[], st  /* s1 */, ut * /* u1 */);
extern void model (int  /* ia */[]);
extern void modst (st  /* s1 */);
extern void modu (ut * /* u */);
Commit	Line	Data
6e5d6478	1	/* Output from LCLint 3.0.0.7 */
885824d3	2	# include "bool.h"
	3
	4
	5	# ifndef EXPOSED_TYPE_st
80ee600a	6	typedef struct s_st {
885824d3	7	int a;
	8	int *b;
	9	} st;
	10	# endif
	11
	12
	13	# ifndef EXPOSED_TYPE_ut
80ee600a	14	typedef union s_ut {
885824d3	15	int a;
	16	st s;
	17	st *t;
	18	int **c;
	19	} ut;
	20	# endif
	21
	22	extern st gst;
	23	extern ut *gu;
	24	extern int f (int /* ia /[], st / s1 /, ut /* u1 */);
	25	extern void model (int /* ia */[]);
	26	extern void modst (st /* s1 */);
	27	extern void modu (ut * /* u */);