externs1.h revision 1.88
1/*	$NetBSD: externs1.h,v 1.88 2021/03/27 11:47:59 rillig Exp $	*/
2
3/*
4 * Copyright (c) 1994, 1995 Jochen Pohl
5 * All Rights Reserved.
6 *
7 * Redistribution and use in source and binary forms, with or without
8 * modification, are permitted provided that the following conditions
9 * are met:
10 * 1. Redistributions of source code must retain the above copyright
11 *    notice, this list of conditions and the following disclaimer.
12 * 2. Redistributions in binary form must reproduce the above copyright
13 *    notice, this list of conditions and the following disclaimer in the
14 *    documentation and/or other materials provided with the distribution.
15 * 3. All advertising materials mentioning features or use of this software
16 *    must display the following acknowledgement:
17 *      This product includes software developed by Jochen Pohl for
18 *	The NetBSD Project.
19 * 4. The name of the author may not be used to endorse or promote products
20 *    derived from this software without specific prior written permission.
21 *
22 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
23 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
24 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
25 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
26 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
27 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
28 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
29 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
30 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
31 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
32 */
33
34/*
35 * main.c
36 */
37extern	int	aflag;
38extern	bool	bflag;
39extern	bool	cflag;
40extern	bool	dflag;
41extern	bool	eflag;
42extern	bool	Fflag;
43extern	bool	gflag;
44extern	bool	hflag;
45extern	bool	rflag;
46extern	bool	sflag;
47extern	bool	tflag;
48extern	bool	uflag;
49extern	bool	vflag;
50extern	bool	yflag;
51extern	bool	wflag;
52extern	bool	zflag;
53extern	bool	Sflag;
54extern	bool	Pflag;
55
56extern	void	norecover(void);
57
58/*
59 * cgram.y
60 */
61extern	int	block_level;
62extern	int	mem_block_level;
63extern	int	yydebug;
64
65extern	int	yyerror(const char *);
66extern	int	yyparse(void);
67
68/*
69 * scan.l
70 */
71extern  bool	attron;
72extern	pos_t	curr_pos;
73extern	pos_t	csrc_pos;
74extern	bool	in_system_header;
75extern	symt_t	symtyp;
76extern	FILE	*yyin;
77extern	uint64_t qbmasks[], qlmasks[], qumasks[];
78
79extern	void	initscan(void);
80extern	int	msb(int64_t, tspec_t, int);
81extern	int64_t	xsign(int64_t, tspec_t, int);
82extern	void	clear_warn_flags(void);
83extern	sym_t	*getsym(sbuf_t *);
84extern	void	cleanup(void);
85extern	sym_t	*pushdown(sym_t *);
86extern	sym_t	*mktempsym(type_t *);
87extern	void	rmsym(sym_t *);
88extern	void	rmsyms(sym_t *);
89extern	void	inssym(int, sym_t *);
90extern	void	freeyyv(void *, int);
91extern	int	yylex(void);
92
93/*
94 * mem1.c
95 */
96extern	const	char *fnnalloc(const char *, size_t);
97extern	int	getfnid(const char *);
98extern	void	fnaddreplsrcdir(char *);
99extern	const char *fnxform(const char *, size_t);
100
101extern	void	initmem(void);
102
103extern	void	*getblk(size_t);
104extern	void	*getlblk(size_t, size_t);
105extern	void	freeblk(void);
106extern	void	freelblk(int);
107
108extern	void	*tgetblk(size_t);
109extern	tnode_t	*getnode(void);
110extern	void	tfreeblk(void);
111extern	struct	mbl *tsave(void);
112extern	void	trestor(struct mbl *);
113
114/*
115 * err.c
116 */
117extern	int	nerr;
118extern	int	sytxerr;
119extern	const	char *msgs[];
120
121extern	void	msglist(void);
122extern	void	error(int, ...);
123extern	void	warning(int, ...);
124extern	void	message(int, ...);
125extern	void	gnuism(int, ...);
126extern	void	c99ism(int, ...);
127extern	void	lerror(const char *, int, const char *, ...)
128     __attribute__((__noreturn__,__format__(__printf__, 3, 4)));
129extern	void	assert_failed(const char *, int, const char *, const char *)
130		__attribute__((__noreturn__));
131
132/*
133 * decl.c
134 */
135extern	dinfo_t	*dcs;
136extern	const	char *unnamed;
137extern	int	enumval;
138
139extern	void	initdecl(void);
140extern	type_t	*gettyp(tspec_t);
141extern	type_t	*duptyp(const type_t *);
142extern	type_t	*tduptyp(const type_t *);
143extern	bool	is_incomplete(const type_t *);
144extern	void	setcomplete(type_t *, bool);
145extern	void	add_storage_class(scl_t);
146extern	void	add_type(type_t *);
147extern	void	add_qualifier(tqual_t);
148extern	void	addpacked(void);
149extern	void	add_attr_used(void);
150extern	void	begin_declaration_level(scl_t);
151extern	void	end_declaration_level(void);
152extern	void	setasm(void);
153extern	void	clrtyp(void);
154extern	void	deftyp(void);
155extern	int	length(const type_t *, const char *);
156extern	int	alignment_in_bits(const type_t *);
157extern	sym_t	*lnklst(sym_t *, sym_t *);
158extern	void	check_type(sym_t *);
159extern	sym_t	*declarator_1_struct_union(sym_t *);
160extern	sym_t	*bitfield(sym_t *, int);
161extern	pqinf_t	*merge_pointers_and_qualifiers(pqinf_t *, pqinf_t *);
162extern	sym_t	*add_pointer(sym_t *, pqinf_t *);
163extern	sym_t	*add_array(sym_t *, bool, int);
164extern	sym_t	*add_function(sym_t *, sym_t *);
165extern	void	check_function_definition(sym_t *, bool);
166extern	sym_t	*declarator_name(sym_t *);
167extern	sym_t	*old_style_function_name(sym_t *);
168extern	type_t	*mktag(sym_t *, tspec_t, bool, bool);
169extern	const	char *storage_class_name(scl_t);
170extern	type_t	*complete_tag_struct_or_union(type_t *, sym_t *);
171extern	type_t	*complete_tag_enum(type_t *, sym_t *);
172extern	sym_t	*enumeration_constant(sym_t *, int, bool);
173extern	void	declare(sym_t *, bool, sbuf_t *);
174extern	void	decl1ext(sym_t *, bool);
175extern	void	copy_usage_info(sym_t *, sym_t *);
176extern	bool	check_redeclaration(sym_t *, bool *);
177extern	bool	eqptrtype(const type_t *, const type_t *, bool);
178extern	bool	eqtype(const type_t *, const type_t *, bool, bool, bool *);
179extern	void	complete_type(sym_t *, sym_t *);
180extern	sym_t	*declare_argument(sym_t *, bool);
181extern	void	check_func_lint_directives(void);
182extern	void	check_func_old_style_arguments(void);
183
184extern	void	declare_local(sym_t *, bool);
185extern	sym_t	*abstract_name(void);
186extern	void	global_clean_up(void);
187extern	sym_t	*declare_1_abstract(sym_t *);
188extern	void	check_size(sym_t *);
189extern	void	mark_as_set(sym_t *);
190extern	void	mark_as_used(sym_t *, bool, bool);
191extern	void	check_usage(dinfo_t *);
192extern	void	check_usage_sym(bool, sym_t *);
193extern	void	check_global_symbols(void);
194extern	void	print_previous_declaration(int, const sym_t *);
195extern	int	to_int_constant(tnode_t *, bool);
196
197/*
198 * tree.c
199 */
200extern	type_t	*incref(type_t *, tspec_t);
201extern	type_t	*tincref(type_t *, tspec_t);
202extern	tnode_t	*new_constant_node(type_t *, val_t *);
203extern	tnode_t	*new_name_node(sym_t *, int);
204extern	tnode_t	*new_string_node(strg_t *);
205extern	sym_t	*struct_or_union_member(tnode_t *, op_t, sym_t *);
206extern	tnode_t	*build(op_t, tnode_t *, tnode_t *);
207extern	tnode_t	*cconv(tnode_t *);
208extern	bool	is_typeok_bool_operand(const tnode_t *);
209extern	bool	typeok(op_t, int, const tnode_t *, const tnode_t *);
210extern	tnode_t	*promote(op_t, bool, tnode_t *);
211extern	tnode_t	*convert(op_t, int, type_t *, tnode_t *);
212extern	void	convert_constant(op_t, int, type_t *, val_t *, val_t *);
213extern	tnode_t	*build_sizeof(type_t *);
214extern	tnode_t	*build_offsetof(type_t *, sym_t *);
215extern	tnode_t	*build_alignof(type_t *);
216extern	tnode_t	*cast(tnode_t *, type_t *);
217extern	tnode_t	*new_function_argument_node(tnode_t *, tnode_t *);
218extern	tnode_t	*new_function_call_node(tnode_t *, tnode_t *);
219extern	val_t	*constant(tnode_t *, bool);
220extern	void	expr(tnode_t *, bool, bool, bool, bool);
221extern	void	check_expr_misc(const tnode_t *, bool, bool, bool,
222		    bool, bool, bool);
223extern	bool	constant_addr(const tnode_t *, sym_t **, ptrdiff_t *);
224extern	strg_t	*cat_strings(strg_t *, strg_t *);
225extern  int64_t type_size_in_bits(type_t *);
226#ifdef DEBUG
227extern	void	debug_node(const tnode_t *, int);
228#else
229#define debug_node(tn, indent) do { } while (false)
230#endif
231
232/*
233 * func.c
234 */
235extern	sym_t	*funcsym;
236extern	bool	reached;
237extern	bool	warn_about_unreachable;
238extern	bool	seen_fallthrough;
239extern	int	nargusg;
240extern	pos_t	argsused_pos;
241extern	int	nvararg;
242extern	pos_t	vapos;
243extern	int	printflike_argnum;
244extern	pos_t	printflike_pos;
245extern	int	scanflike_argnum;
246extern	pos_t	scanflike_pos;
247extern	bool	constcond_flag;
248extern	bool	llibflg;
249extern	int	lwarn;
250extern	bool	bitfieldtype_ok;
251extern	bool	plibflg;
252extern	bool	quadflg;
253
254extern	void	begin_control_statement(control_statement_kind);
255extern	void	end_control_statement(control_statement_kind);
256extern	void	check_statement_reachable(void);
257extern	void	funcdef(sym_t *);
258extern	void	funcend(void);
259extern	void	named_label(sym_t *);
260extern	void	case_label(tnode_t *);
261extern	void	default_label(void);
262extern	void	if1(tnode_t *);
263extern	void	if2(void);
264extern	void	if3(bool);
265extern	void	switch1(tnode_t *);
266extern	void	switch2(void);
267extern	void	while1(tnode_t *);
268extern	void	while2(void);
269extern	void	do1(void);
270extern	void	do2(tnode_t *);
271extern	void	for1(tnode_t *, tnode_t *, tnode_t *);
272extern	void	for2(void);
273extern	void	do_goto(sym_t *);
274extern	void	do_continue(void);
275extern	void	do_break(void);
276extern	void	do_return(tnode_t *);
277extern	void	global_clean_up_decl(bool);
278extern	void	argsused(int);
279extern	void	constcond(int);
280extern	void	fallthru(int);
281extern	void	not_reached(int);
282extern	void	lintlib(int);
283extern	void	linted(int);
284extern	void	varargs(int);
285extern	void	printflike(int);
286extern	void	scanflike(int);
287extern	void	protolib(int);
288extern	void	longlong(int);
289extern	void	bitfieldtype(int);
290
291/*
292 * init.c
293 */
294extern	void	begin_initialization(sym_t *);
295extern	void	end_initialization(void);
296extern	bool	*current_initerr(void);
297extern	sym_t	**current_initsym(void);
298
299extern	void	initstack_init(void);
300extern	void	init_rbrace(void);
301extern	void	init_lbrace(void);
302extern	void	init_using_expr(tnode_t *);
303extern	void	designation_add_name(sbuf_t *);
304extern	void	designation_add_subscript(range_t);
305
306/*
307 * emit.c
308 */
309extern	void	outtype(const type_t *);
310extern	const	char *ttos(const type_t *);
311extern	void	outsym(const sym_t *, scl_t, def_t);
312extern	void	outfdef(const sym_t *, const pos_t *, bool, bool,
313		    const sym_t *);
314extern	void	outcall(const tnode_t *, bool, bool);
315extern	void	outusg(const sym_t *);
316
317/*
318 * lex.c
319 */
320extern	int	lex_name(const char *, size_t);
321extern	int	lex_integer_constant(const char *, size_t, int);
322extern	int	lex_floating_constant(const char *, size_t);
323extern	int	lex_operator(int, op_t);
324extern	int	lex_string(void);
325extern	int	lex_wide_string(void);
326extern	int	lex_character_constant(void);
327extern	int	lex_wide_character_constant(void);
328extern	void	lex_directive(const char *);
329extern	void	lex_next_line(void);
330extern	void	lex_comment(void);
331extern	void	lex_slash_slash_comment(void);
332extern	void	lex_unknown_character(int);
333extern	int	lex_input(void);
334
335/*
336 * print.c
337 */
338extern	char	*print_tnode(char *, size_t, const tnode_t *);
339
340/*
341 * ckgetopt.c
342 */
343extern	void	check_getopt_begin_while(const tnode_t *);
344extern	void	check_getopt_begin_switch(void);
345extern	void	check_getopt_case_label(int64_t);
346extern	void	check_getopt_end_switch(void);
347extern	void	check_getopt_end_while(void);
348