xref: /src/tests/usr.bin/xlint/lint2/read.ln

# $NetBSD: read.ln,v 1.9 2024/11/05 04:53:28 rillig Exp $
#
# Cover each path of reading declarations, definitions and usages.

0 s read.c
S read.c

# Cover all tspec_t constants, in declaration order.
#
# The line numbers correspond to the constant values of tspec_t,
# with the 128-bit types included.
#
# NO_TSPEC	cannot occur in lint1 output.
# SIGNED	cannot occur in lint1 output.
# UNSIGN	cannot occur in lint1 output.
103 d 0.103 e 4f103 F0 B	# BOOL		_Bool		f103(void);
104 d 0.104 e 4f104 F0 C	# CHAR		char		f104(void);
105 d 0.105 e 4f105 F0 sC	# SCHAR		signed char	f105(void);
106 d 0.106 e 4f106 F0 uC	# UCHAR		unsigned char	f106(void);
107 d 0.107 e 4f107 F0 S	# SHORT		short		f107(void);
108 d 0.108 e 4f108 F0 uS	# USHORT	unsigned short	f108(void);
109 d 0.109 e 4f109 F0 I	# INT		int		f109(void);
110 d 0.110 e 4f110 F0 uI	# UINT		unsigned int	f110(void);
111 d 0.111 e 4f111 F0 L	# LONG		long		f111(void);
112 d 0.112 e 4f112 F0 uL	# ULONG		unsigned long	f112(void);
113 d 0.113 e 4f113 F0 Q	# LLONG		long long	f113(void);
114 d 0.114 e 4f114 F0 uQ	# ULLONG	unsigned long long f114(void);
# INT128	works only in 64-bit mode, see read_lp64.ln.
# UINT128	works only in 64-bit mode, see read_lp64.ln.
117 d 0.117 e 4f117 F0 sD	# FLOAT		float		f117(void);
118 d 0.118 e 4f118 F0 D	# DOUBLE	double		f118(void);
119 d 0.119 e 4f119 F0 lD	# LDOUBLE	long double	f119(void);
120 d 0.120 e 4f120 F0 V	# VOID		void		f120(void);
121 d 0.121 e 4f121 F0 sT16tag121 # STRUCT	struct tag121	f121(void);
122 d 0.122 e 4f122 F0 uT16tag122 # UNION	union tag122	f122(void);
123 d 0.123 e 4f123 F0 eT16tag123 # ENUM	enum tag123	f123(void);
124 d 0.124 e 4f124 F0 PV	# PTR		void *		f124(void);
125 d 0.125 e 4a125 A7D		# ARRAY		extern double	a125[7];
126 d 0.126 e 4f126 F0 PF1DV	# FUNC		void (*f126(void))(double);
# COMPLEX	cannot occur in lint1 output.
127 d 0.127 e 4f127 F0 sX	# FCOMPLEX	float _Complex	f127(void);
128 d 0.128 e 4f128 F0 X	# COMPLEX	double _Complex	f128(void);
129 d 0.129 e 4f129 F0 lX	# LCOMPLEX	long double _Complex f129(void);

# Tagged types (struct, union, enum) can have tags or typedefs or be
# anonymous, but anonymous types are not usually used in external
# declarations.
#
# struct s_tag f201(void);
201 d 0.201 e 4f201 F0 sT15s_tag
# typedef struct {} s_def;
# s_def f202(void);
202 d 0.202 e 4f202 F0 sT25s_def
# struct { int member; } f203(void);
203 d 0.203 e 4f203 F0 sT3203.0.0

# Type qualifiers
#
# void f301(const int *);
301 d 0.301 e 4f301 F1 PcI V
# void f302(volatile int *);
302 d 0.302 e 4f302 F1 PvI V
# void f302(const volatile int *);
303 d 0.303 e 4f303 F1 PcvI V

# Taken from ../lint1/emit.exp-ln.
193 d 0.193 v0 d 15varargs_comment   F1 PcC V
199 d 0.199 v0 d 17varargs_0_comment F1 PcC V
205 d 0.205 v3 d 17varargs_3_comment F4 I I I PcC V
# The PRINTFLIKE information is only emitted if its parameter is > 0.
211 d 0.211         d 18printflike_comment    F1  PcC V
217 d 0.217         d 20printflike_0_comment  F1  PcC V
223 d 0.223 v3  P3  d 20printflike_3_comment  F3  I I PcC V
229 d 0.229 v10 P10 d 21printflike_10_comment F10 I I I I I I I I I PcC V
# The SCANFLIKE information is only emitted if its parameter is > 0.
237 d 0.237         d 17scanflike_comment     F1  PcC V
243 d 0.243         d 19scanflike_0_comment   F1  PcC V
249 d 0.249 v3  S3  d 19scanflike_3_comment   F3  I I PcC V
#
253 d 0.253 e   13used_function F0 V
258 c 0.258 i   13used_function f0 V
# In a function definition, 'i' means 'inline'.
256 d 0.256 d i 15inline_function F0 V

# In a function definition, 'r' means the function returns a value, in
# contrast to having a mere 'return;' without any expression.
# This distinction is mainly relevant for non-prototype functions.
254 d 0.254 d r   13used_function F0 I
# In a function call, 'i' means 'return value ignored'.
262 c 0.262 i     13used_function f0 I
# In a function call, 'd' means 'return value discarded'.
263 c 0.263 d     13used_function f0 I
# In a function call, 'u' means 'return value used'.
264 c 0.264 u     13used_function f0 I
# This function is 'inline' and 'has return value'.
260 d 0.260 d r i 15inline_function F0 I