Home | History | Annotate | Line # | Download | only in lint2
read.ln revision 1.1
      1  1.1  rillig # $NetBSD: read.ln,v 1.1 2021/08/07 21:24:14 rillig Exp $
      2  1.1  rillig #
      3  1.1  rillig # Cover each path of reading declarations, definitions and usages.
      4  1.1  rillig 
      5  1.1  rillig 0sread.c
      6  1.1  rillig Sread.c
      7  1.1  rillig 
      8  1.1  rillig # Cover all tspec_t constants, in declaration order.
      9  1.1  rillig #
     10  1.1  rillig # The line numbers correspond to the constant values of tspec_t,
     11  1.1  rillig # with the 128-bit types included.
     12  1.1  rillig #
     13  1.1  rillig # NOTSPEC	cannot occur in lint1 output.
     14  1.1  rillig # SIGNED	cannot occur in lint1 output.
     15  1.1  rillig # UNSIGN	cannot occur in lint1 output.
     16  1.1  rillig 103d0.103e4f103F0B		# BOOL		_Bool		f103(void);
     17  1.1  rillig 104d0.104e4f104F0C		# CHAR		char		f104(void);
     18  1.1  rillig 105d0.105e4f105F0sC		# SCHAR		signed char	f105(void);
     19  1.1  rillig 106d0.106e4f106F0uC		# UCHAR		unsigned char	f106(void);
     20  1.1  rillig 107d0.107e4f107F0S		# SHORT		short		f107(void);
     21  1.1  rillig 108d0.108e4f108F0uS		# USHORT	unsigned short	f108(void);
     22  1.1  rillig 109d0.109e4f109F0I		# INT		int		f109(void);
     23  1.1  rillig 110d0.110e4f110F0uI		# UINT		unsigned int	f110(void);
     24  1.1  rillig 111d0.111e4f111F0L		# LONG		long		f111(void);
     25  1.1  rillig 112d0.112e4f112F0uL		# ULONG		unsigned long	f112(void);
     26  1.1  rillig 113d0.113e4f113F0Q		# QUAD		long long	f113(void);
     27  1.1  rillig 114d0.114e4f114F0uQ		# UQUAD		unsigned long long f114(void);
     28  1.1  rillig # INT128	works only in 64-bit mode, see read_lp64.
     29  1.1  rillig # UINT128	works only in 64-bit mode, see read_lp64.
     30  1.1  rillig 117d0.117e4f117F0sD		# FLOAT		float		f117(void);
     31  1.1  rillig 118d0.118e4f118F0D		# DOUBLE	double		f118(void);
     32  1.1  rillig 119d0.119e4f119F0lD		# LDOUBLE	long double	f119(void);
     33  1.1  rillig 120d0.120e4f120F0V		# VOID		void		f120(void);
     34  1.1  rillig 121d0.121e4f121F0sT16tag121	# STRUCT	struct tag121	f121(void);
     35  1.1  rillig 122d0.122e4f122F0uT16tag122	# UNION		union tag122	f122(void);
     36  1.1  rillig 123d0.123e4f123F0eT16tag123	# ENUM		enum tag123	f123(void);
     37  1.1  rillig 124d0.124e4f124FPV		# PTR		void *		f124(void);
     38  1.1  rillig 125d0.125e4a125A7D		# ARRAY		extern double	a125[7];
     39  1.1  rillig 126d0.126e4f126F0PF1DV		# FUNC		void (*f126(void))(double);
     40  1.1  rillig # COMPLEX	cannot occur in lint1 output.
     41  1.1  rillig 127d0.127e4f127F0sX		# FCOMPLEX	float _Complex	f127(void);
     42  1.1  rillig 128d0.128e4f128F0X		# COMPLEX	double _Complex	f128(void);
     43  1.1  rillig 129d0.129e4f129F0lX		# LCOMPLEX	long double _Complex f129(void);
     44  1.1  rillig 
     45  1.1  rillig # Tagged types (struct, union, enum) can have tags or typedefs or be
     46  1.1  rillig # anonymous, but anonymous types are not usually used in external
     47  1.1  rillig # declarations.
     48  1.1  rillig #
     49  1.1  rillig # struct s_tag f201(void);
     50  1.1  rillig 201d0.201e4f201F0sT15s_tag
     51  1.1  rillig # typedef struct {} s_def;
     52  1.1  rillig # s_def f202(void);
     53  1.1  rillig 202d0.202e4f202F0sT25s_def
     54  1.1  rillig # struct { int member; } f203(void);
     55  1.1  rillig 203d0.203e4f203F0sT3203.0.0
     56  1.1  rillig 
     57  1.1  rillig # Type qualifiers
     58  1.1  rillig #
     59  1.1  rillig # void f301(const int *);
     60  1.1  rillig 301d0.301e4f301F1PcIV
     61  1.1  rillig # void f302(volatile int *);
     62  1.1  rillig 302d0.302e4f302F1PvIV
     63  1.1  rillig # void f302(const volatile int *);
     64  1.1  rillig 303d0.303e4f303F1PcvIV
     65