Home | History | Annotate | Line # | Download | only in lint1
externs1.h revision 1.177
      1 /*	$NetBSD: externs1.h,v 1.177 2023/04/23 09:04:44 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 #include <signal.h>
     35 
     36 /*
     37  * main1.c
     38  */
     39 extern	int	aflag;
     40 extern	bool	bflag;
     41 extern	bool	cflag;
     42 extern	bool	eflag;
     43 extern	bool	Fflag;
     44 extern	bool	hflag;
     45 extern	bool	pflag;
     46 extern	bool	rflag;
     47 extern	bool	uflag;
     48 extern	bool	vflag;
     49 extern	bool	yflag;
     50 extern	bool	wflag;
     51 extern	bool	zflag;
     52 extern	bool	Tflag;
     53 extern	bool	Pflag;
     54 
     55 extern	bool	allow_trad;
     56 extern	bool	allow_c90;
     57 extern	bool	allow_c99;
     58 extern	bool	allow_c11;
     59 extern	bool	allow_gcc;
     60 
     61 extern sig_atomic_t fpe;
     62 
     63 extern	void	norecover(void);
     64 
     65 /*
     66  * cgram.y
     67  */
     68 extern	int	block_level;
     69 extern	size_t	mem_block_level;
     70 extern	int	yydebug;
     71 
     72 extern	int	yyerror(const char *);
     73 extern	int	yyparse(void);
     74 
     75 /*
     76  * scan.l
     77  */
     78 extern  bool	in_gcc_attribute;
     79 extern	pos_t	curr_pos;
     80 extern	pos_t	csrc_pos;
     81 extern	bool	in_system_header;
     82 extern	symt_t	symtyp;
     83 extern	FILE	*yyin;
     84 
     85 extern	void	initscan(void);
     86 extern	int64_t	convert_integer(int64_t, tspec_t, unsigned int);
     87 extern	void	clear_warn_flags(void);
     88 extern	sym_t	*getsym(sbuf_t *);
     89 extern	void	clean_up_after_error(void);
     90 extern	sym_t	*pushdown(const sym_t *);
     91 extern	sym_t	*mktempsym(type_t *);
     92 extern	void	rmsym(sym_t *);
     93 extern	void	rmsyms(sym_t *);
     94 extern	void	inssym(int, sym_t *);
     95 extern	void	freeyyv(void *, int);
     96 extern	int	yylex(void);
     97 
     98 /*
     99  * mem1.c
    100  */
    101 extern	const	char *record_filename(const char *, size_t);
    102 extern	int	get_filename_id(const char *);
    103 extern	void	add_directory_replacement(char *);
    104 extern	const char *transform_filename(const char *, size_t);
    105 
    106 extern	void	*block_zero_alloc(size_t);
    107 extern	void	*level_zero_alloc(size_t, size_t);
    108 extern	void	level_free_all(size_t);
    109 
    110 extern	void	*expr_zero_alloc(size_t);
    111 extern	tnode_t	*expr_alloc_tnode(void);
    112 extern	void	expr_free_all(void);
    113 extern	memory_pool expr_save_memory(void);
    114 extern	void	expr_restore_memory(memory_pool);
    115 
    116 /*
    117  * debug.c
    118  */
    119 
    120 #ifdef DEBUG
    121 const char *declaration_kind_name(declaration_kind);
    122 const char *scl_name(scl_t);
    123 const char *symt_name(symt_t);
    124 const char *tqual_name(tqual_t);
    125 void	debug_dinfo(const dinfo_t *);
    126 void	debug_node(const tnode_t *);
    127 void	debug_type(const type_t *);
    128 void	debug_sym(const char *, const sym_t *, const char *);
    129 void	debug_symtab(void);
    130 void	debug_printf(const char *fmt, ...) __printflike(1, 2);
    131 void	debug_print_indent(void);
    132 void	debug_indent_inc(void);
    133 void	debug_indent_dec(void);
    134 void	debug_enter_func(const char *);
    135 void	debug_step(const char *fmt, ...) __printflike(1, 2);
    136 void	debug_leave_func(const char *);
    137 #define	debug_enter()		debug_enter_func(__func__)
    138 #define	debug_leave()		debug_leave_func(__func__)
    139 #else
    140 #define	debug_noop()		do { } while (false)
    141 #define	debug_dinfo(d)		debug_noop()
    142 #define	debug_sym(p, sym, s)	debug_noop()
    143 #define	debug_symtab()		debug_noop()
    144 #define	debug_node(tn)		debug_noop()
    145 #define	debug_type(tp)		debug_noop()
    146 #define	debug_printf(...)	debug_noop()
    147 #define	debug_print_indent()	debug_noop()
    148 #define	debug_indent_inc()	debug_noop()
    149 #define	debug_indent_dec()	debug_noop()
    150 #define	debug_enter()		debug_noop()
    151 #define	debug_step(...)		debug_noop()
    152 #define	debug_leave()		debug_noop()
    153 #endif
    154 
    155 /*
    156  * err.c
    157  */
    158 extern	int	nerr;
    159 extern	int	sytxerr;
    160 extern	bool	any_query_enabled;
    161 
    162 extern	void	msglist(void);
    163 extern	void	error_at(int, const pos_t *, ...);
    164 extern	void	warning_at(int, const pos_t *, ...);
    165 extern	void	message_at(int, const pos_t *, ...);
    166 extern	void	error(int, ...);
    167 extern	void	warning(int, ...);
    168 extern	bool	gnuism(int, ...);
    169 extern	void	c99ism(int, ...);
    170 extern	void	c11ism(int, ...);
    171 extern	void	assert_failed(const char *, int, const char *, const char *)
    172 		__attribute__((__noreturn__));
    173 extern	void	update_location(const char *, int, bool, bool);
    174 extern	void	suppress_messages(const char *);
    175 
    176 extern	void	query_message(int, ...);
    177 extern	void	enable_queries(const char *);
    178 
    179 /*
    180  * decl.c
    181  */
    182 extern	dinfo_t	*dcs;
    183 extern	const char unnamed[];
    184 extern	int	enumval;
    185 
    186 extern	void	initdecl(void);
    187 extern	type_t	*gettyp(tspec_t);
    188 extern	type_t	*block_dup_type(const type_t *);
    189 extern	type_t	*expr_dup_type(const type_t *);
    190 extern	type_t	*expr_unqualified_type(const type_t *);
    191 extern	bool	is_incomplete(const type_t *);
    192 extern	void	dcs_add_storage_class(scl_t);
    193 extern	void	dcs_add_type(type_t *);
    194 extern	void	dcs_add_qualifier(tqual_t);
    195 extern	void	dcs_add_packed(void);
    196 extern	void	dcs_set_used(void);
    197 extern	void	begin_declaration_level(declaration_kind);
    198 extern	void	end_declaration_level(void);
    199 extern	void	dcs_set_asm(void);
    200 extern	void	dcs_begin_type(void);
    201 extern	void	dcs_end_type(void);
    202 extern	int	length_in_bits(const type_t *, const char *);
    203 extern	unsigned int alignment_in_bits(const type_t *);
    204 extern	sym_t	*concat_lists(sym_t *, sym_t *);
    205 extern	void	check_type(sym_t *);
    206 extern	sym_t	*declarator_1_struct_union(sym_t *);
    207 extern	sym_t	*set_bit_field_width(sym_t *, int);
    208 extern	qual_ptr *merge_qualified_pointer(qual_ptr *, qual_ptr *);
    209 extern	sym_t	*add_pointer(sym_t *, qual_ptr *);
    210 extern	sym_t	*add_array(sym_t *, bool, int);
    211 extern	sym_t	*add_function(sym_t *, sym_t *);
    212 extern	void	check_function_definition(sym_t *, bool);
    213 extern	sym_t	*declarator_name(sym_t *);
    214 extern	sym_t	*old_style_function_name(sym_t *);
    215 extern	type_t	*make_tag_type(sym_t *, tspec_t, bool, bool);
    216 extern	const	char *storage_class_name(scl_t);
    217 extern	type_t	*complete_tag_struct_or_union(type_t *, sym_t *);
    218 extern	type_t	*complete_tag_enum(type_t *, sym_t *);
    219 extern	sym_t	*enumeration_constant(sym_t *, int, bool);
    220 extern	void	declare(sym_t *, bool, sbuf_t *);
    221 extern	void	copy_usage_info(sym_t *, sym_t *);
    222 extern	bool	check_redeclaration(sym_t *, bool *);
    223 extern	bool	pointer_types_are_compatible(const type_t *, const type_t *,
    224 		    bool);
    225 extern	bool	types_compatible(const type_t *, const type_t *,
    226 		    bool, bool, bool *);
    227 extern	void	complete_type(sym_t *, sym_t *);
    228 extern	sym_t	*declare_argument(sym_t *, bool);
    229 extern	void	check_func_lint_directives(void);
    230 extern	void	check_func_old_style_arguments(void);
    231 
    232 extern	void	declare_local(sym_t *, bool);
    233 extern	sym_t	*abstract_name(void);
    234 extern	void	global_clean_up(void);
    235 extern	sym_t	*declare_1_abstract(sym_t *);
    236 extern	void	check_size(sym_t *);
    237 extern	void	mark_as_set(sym_t *);
    238 extern	void	mark_as_used(sym_t *, bool, bool);
    239 extern	void	check_usage(dinfo_t *);
    240 extern	void	check_usage_sym(bool, sym_t *);
    241 extern	void	check_global_symbols(void);
    242 extern	void	print_previous_declaration(const sym_t *);
    243 extern	int	to_int_constant(tnode_t *, bool);
    244 
    245 /*
    246  * tree.c
    247  */
    248 extern	const tnode_t *before_conversion(const tnode_t *);
    249 extern	type_t	*block_derive_type(type_t *, tspec_t);
    250 extern	type_t	*expr_derive_type(type_t *, tspec_t);
    251 extern	bool	is_compiler_builtin(const char *);
    252 extern	tnode_t	*build_constant(type_t *, val_t *);
    253 extern	tnode_t	*build_name(sym_t *, bool);
    254 extern	tnode_t	*build_string(strg_t *);
    255 extern	tnode_t	*build_generic_selection(const tnode_t *,
    256 		    struct generic_association *);
    257 
    258 extern	tnode_t	*build_binary(tnode_t *, op_t, bool, tnode_t *);
    259 extern	tnode_t	*build_unary(op_t, bool, tnode_t *);
    260 extern	tnode_t	*build_member_access(tnode_t *, op_t, bool, sbuf_t *);
    261 extern	tnode_t	*cconv(tnode_t *);
    262 extern	bool	is_typeok_bool_compares_with_zero(const tnode_t *);
    263 extern	bool	typeok(op_t, int, const tnode_t *, const tnode_t *);
    264 extern	tnode_t	*promote(op_t, bool, tnode_t *);
    265 extern	tnode_t	*convert(op_t, int, type_t *, tnode_t *);
    266 extern	void	convert_constant(op_t, int, const type_t *, val_t *, val_t *);
    267 extern	tnode_t	*build_sizeof(const type_t *);
    268 extern	tnode_t	*build_offsetof(const type_t *, const sym_t *);
    269 extern	tnode_t	*build_alignof(const type_t *);
    270 extern	tnode_t	*cast(tnode_t *, type_t *);
    271 extern	tnode_t	*build_function_argument(tnode_t *, tnode_t *);
    272 extern	tnode_t	*build_function_call(tnode_t *, bool, tnode_t *);
    273 extern	val_t	*constant(tnode_t *, bool);
    274 extern	void	expr(tnode_t *, bool, bool, bool, bool);
    275 extern	void	check_expr_misc(const tnode_t *, bool, bool, bool,
    276 		    bool, bool, bool);
    277 extern	bool	constant_addr(const tnode_t *, const sym_t **, ptrdiff_t *);
    278 extern	strg_t	*cat_strings(strg_t *, strg_t *);
    279 extern  unsigned int type_size_in_bits(const type_t *);
    280 
    281 void begin_statement_expr(void);
    282 void do_statement_expr(tnode_t *);
    283 tnode_t *end_statement_expr(void);
    284 
    285 /*
    286  * func.c
    287  */
    288 extern	sym_t	*funcsym;
    289 extern	bool	reached;
    290 extern	bool	warn_about_unreachable;
    291 extern	bool	seen_fallthrough;
    292 extern	int	nargusg;
    293 extern	pos_t	argsused_pos;
    294 extern	int	nvararg;
    295 extern	pos_t	vapos;
    296 extern	int	printflike_argnum;
    297 extern	pos_t	printflike_pos;
    298 extern	int	scanflike_argnum;
    299 extern	pos_t	scanflike_pos;
    300 extern	bool	constcond_flag;
    301 extern	bool	llibflg;
    302 extern	int	lwarn;
    303 extern	bool	bitfieldtype_ok;
    304 extern	bool	plibflg;
    305 extern	bool	quadflg;
    306 
    307 extern	void	begin_control_statement(control_statement_kind);
    308 extern	void	end_control_statement(control_statement_kind);
    309 extern	void	check_statement_reachable(void);
    310 extern	void	begin_function(sym_t *);
    311 extern	void	end_function(void);
    312 extern	void	named_label(sym_t *);
    313 extern	void	case_label(tnode_t *);
    314 extern	void	default_label(void);
    315 extern	void	if1(tnode_t *);
    316 extern	void	if2(void);
    317 extern	void	if3(bool);
    318 extern	void	switch1(tnode_t *);
    319 extern	void	switch2(void);
    320 extern	void	while1(tnode_t *);
    321 extern	void	while2(void);
    322 extern	void	do1(void);
    323 extern	void	do2(tnode_t *);
    324 extern	void	for1(tnode_t *, tnode_t *, tnode_t *);
    325 extern	void	for2(void);
    326 extern	void	do_goto(sym_t *);
    327 extern	void	do_continue(void);
    328 extern	void	do_break(void);
    329 extern	void	do_return(bool, tnode_t *);
    330 extern	void	global_clean_up_decl(bool);
    331 extern	void	argsused(int);
    332 extern	void	constcond(int);
    333 extern	void	fallthru(int);
    334 extern	void	not_reached(int);
    335 extern	void	lintlib(int);
    336 extern	void	linted(int);
    337 extern	void	varargs(int);
    338 extern	void	printflike(int);
    339 extern	void	scanflike(int);
    340 extern	void	protolib(int);
    341 extern	void	longlong(int);
    342 extern	void	bitfieldtype(int);
    343 
    344 /*
    345  * init.c
    346  */
    347 extern	void	begin_initialization(sym_t *);
    348 extern	void	end_initialization(void);
    349 extern	sym_t	*current_initsym(void);
    350 
    351 extern	void	init_rbrace(void);
    352 extern	void	init_lbrace(void);
    353 extern	void	init_expr(tnode_t *);
    354 extern	void	begin_designation(void);
    355 extern	void	add_designator_member(sbuf_t *);
    356 extern	void	add_designator_subscript(range_t);
    357 
    358 /*
    359  * emit.c
    360  */
    361 extern	void	outtype(const type_t *);
    362 extern	void	outsym(const sym_t *, scl_t, def_t);
    363 extern	void	outfdef(const sym_t *, const pos_t *, bool, bool,
    364 		    const sym_t *);
    365 extern	void	outcall(const tnode_t *, bool, bool);
    366 extern	void	outusg(const sym_t *);
    367 
    368 /*
    369  * lex.c
    370  */
    371 extern	int	lex_name(const char *, size_t);
    372 extern	int	lex_integer_constant(const char *, size_t, int);
    373 extern	int	lex_floating_constant(const char *, size_t);
    374 extern	int	lex_operator(int, op_t);
    375 extern	int	lex_string(void);
    376 extern	int	lex_wide_string(void);
    377 extern	int	lex_character_constant(void);
    378 extern	int	lex_wide_character_constant(void);
    379 extern	void	lex_directive(const char *);
    380 extern	void	lex_next_line(void);
    381 extern	void	lex_comment(void);
    382 extern	void	lex_slash_slash_comment(void);
    383 extern	void	lex_unknown_character(int);
    384 extern	int	lex_input(void);
    385 
    386 /*
    387  * ckbool.c
    388  */
    389 extern	bool	typeok_scalar_strict_bool(op_t, const mod_t *, int,
    390 		    const tnode_t *, const tnode_t *);
    391 extern	bool	fallback_symbol_strict_bool(sym_t *);
    392 
    393 /*
    394  * ckctype.c
    395  */
    396 extern	void	check_ctype_function_call(const tnode_t *, const tnode_t *);
    397 extern	void	check_ctype_macro_invocation(const tnode_t *, const tnode_t *);
    398 
    399 /*
    400  * ckgetopt.c
    401  */
    402 extern	void	check_getopt_begin_while(const tnode_t *);
    403 extern	void	check_getopt_begin_switch(void);
    404 extern	void	check_getopt_case_label(int64_t);
    405 extern	void	check_getopt_end_switch(void);
    406 extern	void	check_getopt_end_while(void);
    407