Home | History | Annotate | Line # | Download | only in lint1
externs1.h revision 1.67
      1 /*	$NetBSD: externs1.h,v 1.67 2021/02/20 16:03:56 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  */
     37 extern	int	aflag;
     38 extern	bool	bflag;
     39 extern	bool	cflag;
     40 extern	bool	dflag;
     41 extern	bool	eflag;
     42 extern	bool	Fflag;
     43 extern	bool	gflag;
     44 extern	bool	hflag;
     45 extern	bool	rflag;
     46 extern	bool	sflag;
     47 extern	bool	tflag;
     48 extern	bool	uflag;
     49 extern	bool	vflag;
     50 extern	bool	yflag;
     51 extern	bool	wflag;
     52 extern	bool	zflag;
     53 extern	bool	Sflag;
     54 extern	bool	Pflag;
     55 
     56 extern	void	norecover(void);
     57 
     58 /*
     59  * cgram.y
     60  */
     61 extern	int	blklev;
     62 extern	int	mblklev;
     63 extern	int	yydebug;
     64 
     65 extern	int	yyerror(const char *);
     66 extern	int	yyparse(void);
     67 
     68 /*
     69  * scan.l
     70  */
     71 extern  bool	attron;
     72 extern	pos_t	curr_pos;
     73 extern	pos_t	csrc_pos;
     74 extern	bool	in_system_header;
     75 extern	symt_t	symtyp;
     76 extern	FILE	*yyin;
     77 extern	uint64_t qbmasks[], qlmasks[], qumasks[];
     78 
     79 extern	void	initscan(void);
     80 extern	int	msb(int64_t, tspec_t, int);
     81 extern	int64_t	xsign(int64_t, tspec_t, int);
     82 extern	void	clear_warn_flags(void);
     83 extern	sym_t	*getsym(sbuf_t *);
     84 extern	void	cleanup(void);
     85 extern	sym_t	*pushdown(sym_t *);
     86 extern	sym_t	*mktempsym(type_t *);
     87 extern	void	rmsym(sym_t *);
     88 extern	void	rmsyms(sym_t *);
     89 extern	void	inssym(int, sym_t *);
     90 extern	void	freeyyv(void *, int);
     91 extern	int	yylex(void);
     92 
     93 /*
     94  * mem1.c
     95  */
     96 extern	const	char *fnalloc(const char *);
     97 extern	const	char *fnnalloc(const char *, size_t);
     98 extern	int	getfnid(const char *);
     99 extern	void	fnaddreplsrcdir(char *);
    100 extern	const char *fnxform(const char *, size_t);
    101 
    102 extern	void	initmem(void);
    103 
    104 extern	void	*getblk(size_t);
    105 extern	void	*getlblk(size_t, size_t);
    106 extern	void	freeblk(void);
    107 extern	void	freelblk(int);
    108 
    109 extern	void	*tgetblk(size_t);
    110 extern	tnode_t	*getnode(void);
    111 extern	void	tfreeblk(void);
    112 extern	struct	mbl *tsave(void);
    113 extern	void	trestor(struct mbl *);
    114 
    115 /*
    116  * err.c
    117  */
    118 extern	int	nerr;
    119 extern	int	sytxerr;
    120 extern	const	char *msgs[];
    121 
    122 extern	void	msglist(void);
    123 extern	void	error(int, ...);
    124 extern	void	warning(int, ...);
    125 extern	void	message(int, ...);
    126 extern	void	gnuism(int, ...);
    127 extern	void	c99ism(int, ...);
    128 extern	void	lerror(const char *, int, const char *, ...)
    129      __attribute__((__noreturn__,__format__(__printf__, 3, 4)));
    130 extern	void	assert_failed(const char *, int, const char *, const char *)
    131 		__attribute__((__noreturn__));
    132 
    133 /*
    134  * decl.c
    135  */
    136 extern	dinfo_t	*dcs;
    137 extern	const	char *unnamed;
    138 extern	int	enumval;
    139 
    140 extern	void	initdecl(void);
    141 extern	type_t	*gettyp(tspec_t);
    142 extern	type_t	*duptyp(const type_t *);
    143 extern	type_t	*tduptyp(const type_t *);
    144 extern	bool	is_incomplete(const type_t *);
    145 extern	void	setcomplete(type_t *, bool);
    146 extern	void	add_storage_class(scl_t);
    147 extern	void	add_type(type_t *);
    148 extern	void	add_qualifier(tqual_t);
    149 extern	void	addpacked(void);
    150 extern	void	add_attr_used(void);
    151 extern	void	pushdecl(scl_t);
    152 extern	void	popdecl(void);
    153 extern	void	setasm(void);
    154 extern	void	clrtyp(void);
    155 extern	void	deftyp(void);
    156 extern	int	length(const type_t *, const char *);
    157 extern	int	getbound(const type_t *);
    158 extern	sym_t	*lnklst(sym_t *, sym_t *);
    159 extern	void	check_type(sym_t *);
    160 extern	sym_t	*declarator_1_struct_union(sym_t *);
    161 extern	sym_t	*bitfield(sym_t *, int);
    162 extern	pqinf_t	*merge_pointers_and_qualifiers(pqinf_t *, pqinf_t *);
    163 extern	sym_t	*add_pointer(sym_t *, pqinf_t *);
    164 extern	sym_t	*add_array(sym_t *, bool, int);
    165 extern	sym_t	*add_function(sym_t *, sym_t *);
    166 extern	void	check_function_definition(sym_t *, bool);
    167 extern	sym_t	*declarator_name(sym_t *);
    168 extern	sym_t	*old_style_function_name(sym_t *);
    169 extern	type_t	*mktag(sym_t *, tspec_t, bool, bool);
    170 extern	const	char *storage_class_name(scl_t);
    171 extern	type_t	*complete_tag_struct_or_union(type_t *, sym_t *);
    172 extern	type_t	*complete_tag_enum(type_t *, sym_t *);
    173 extern	sym_t	*enumeration_constant(sym_t *, int, bool);
    174 extern	void	decl1ext(sym_t *, bool);
    175 extern	void	copy_usage_info(sym_t *, sym_t *);
    176 extern	bool	check_redeclaration(sym_t *, bool *);
    177 extern	bool	eqptrtype(const type_t *, const type_t *, bool);
    178 extern	bool	eqtype(const type_t *, const type_t *, bool, bool, bool *);
    179 extern	void	complete_type(sym_t *, sym_t *);
    180 extern	sym_t	*declare_argument(sym_t *, bool);
    181 extern	void	check_func_lint_directives(void);
    182 extern	void	check_func_old_style_arguments(void);
    183 
    184 extern	void	declare_local(sym_t *, bool);
    185 extern	sym_t	*abstract_name(void);
    186 extern	void	global_clean_up(void);
    187 extern	sym_t	*declare_1_abstract(sym_t *);
    188 extern	void	check_size(sym_t *);
    189 extern	void	mark_as_set(sym_t *);
    190 extern	void	mark_as_used(sym_t *, bool, bool);
    191 extern	void	check_usage(dinfo_t *);
    192 extern	void	check_usage_sym(bool, sym_t *);
    193 extern	void	check_global_symbols(void);
    194 extern	void	print_previous_declaration(int, const sym_t *);
    195 
    196 /*
    197  * tree.c
    198  */
    199 extern	type_t	*incref(type_t *, tspec_t);
    200 extern	type_t	*tincref(type_t *, tspec_t);
    201 extern	tnode_t	*new_constant_node(type_t *, val_t *);
    202 extern	tnode_t	*new_name_node(sym_t *, int);
    203 extern	tnode_t	*new_string_node(strg_t *);
    204 extern	sym_t	*struct_or_union_member(tnode_t *, op_t, sym_t *);
    205 extern	tnode_t	*build(op_t, tnode_t *, tnode_t *);
    206 extern	tnode_t	*cconv(tnode_t *);
    207 extern	bool	is_typeok_bool_operand(const tnode_t *);
    208 extern	bool	typeok(op_t, int, const tnode_t *, const tnode_t *);
    209 extern	tnode_t	*promote(op_t, bool, tnode_t *);
    210 extern	tnode_t	*convert(op_t, int, type_t *, tnode_t *);
    211 extern	void	convert_constant(op_t, int, type_t *, val_t *, val_t *);
    212 extern	tnode_t	*build_sizeof(type_t *);
    213 extern	tnode_t	*build_offsetof(type_t *, sym_t *);
    214 extern	tnode_t	*build_alignof(type_t *);
    215 extern	tnode_t	*cast(tnode_t *, type_t *);
    216 extern	tnode_t	*new_function_argument_node(tnode_t *, tnode_t *);
    217 extern	tnode_t	*new_function_call_node(tnode_t *, tnode_t *);
    218 extern	val_t	*constant(tnode_t *, bool);
    219 extern	void	expr(tnode_t *, bool, bool, bool, bool);
    220 extern	void	check_expr_misc(const tnode_t *, bool, bool, bool,
    221 		    bool, bool, bool);
    222 extern	bool	constant_addr(tnode_t *, sym_t **, ptrdiff_t *);
    223 extern	strg_t	*cat_strings(strg_t *, strg_t *);
    224 extern  int64_t tsize(type_t *);
    225 
    226 /*
    227  * func.c
    228  */
    229 extern	sym_t	*funcsym;
    230 extern	bool	reached;
    231 extern	bool	rchflg;
    232 extern	bool	ftflg;
    233 extern	int	nargusg;
    234 extern	pos_t	argsused_pos;
    235 extern	int	nvararg;
    236 extern	pos_t	vapos;
    237 extern	int	printflike_argnum;
    238 extern	pos_t	printflike_pos;
    239 extern	int	scanflike_argnum;
    240 extern	pos_t	scanflike_pos;
    241 extern	bool	constcond_flag;
    242 extern	bool	llibflg;
    243 extern	int	lwarn;
    244 extern	bool	bitfieldtype_ok;
    245 extern	bool	plibflg;
    246 extern	bool	quadflg;
    247 
    248 extern	void	pushctrl(int);
    249 extern	void	popctrl(int);
    250 extern	void	check_statement_reachable(void);
    251 extern	void	funcdef(sym_t *);
    252 extern	void	funcend(void);
    253 extern	void	named_label(sym_t *);
    254 extern	void	case_label(tnode_t *);
    255 extern	void	default_label(void);
    256 extern	void	if1(tnode_t *);
    257 extern	void	if2(void);
    258 extern	void	if3(bool);
    259 extern	void	switch1(tnode_t *);
    260 extern	void	switch2(void);
    261 extern	void	while1(tnode_t *);
    262 extern	void	while2(void);
    263 extern	void	do1(void);
    264 extern	void	do2(tnode_t *);
    265 extern	void	for1(tnode_t *, tnode_t *, tnode_t *);
    266 extern	void	for2(void);
    267 extern	void	dogoto(sym_t *);
    268 extern	void	docont(void);
    269 extern	void	dobreak(void);
    270 extern	void	doreturn(tnode_t *);
    271 extern	void	global_clean_up_decl(bool);
    272 extern	void	argsused(int);
    273 extern	void	constcond(int);
    274 extern	void	fallthru(int);
    275 extern	void	notreach(int);
    276 extern	void	lintlib(int);
    277 extern	void	linted(int);
    278 extern	void	varargs(int);
    279 extern	void	printflike(int);
    280 extern	void	scanflike(int);
    281 extern	void	protolib(int);
    282 extern	void	longlong(int);
    283 extern	void	bitfieldtype(int);
    284 
    285 /*
    286  * init.c
    287  */
    288 extern	bool	initerr;
    289 extern	sym_t	*initsym;
    290 
    291 extern	void	initstack_init(void);
    292 extern	void	init_rbrace(void);
    293 extern	void	init_lbrace(void);
    294 extern	void	init_using_expr(tnode_t *);
    295 extern	void	push_member(sbuf_t *);
    296 
    297 /*
    298  * emit.c
    299  */
    300 extern	void	outtype(const type_t *);
    301 extern	const	char *ttos(const type_t *);
    302 extern	void	outsym(const sym_t *, scl_t, def_t);
    303 extern	void	outfdef(const sym_t *, const pos_t *, bool, bool,
    304 		    const sym_t *);
    305 extern	void	outcall(const tnode_t *, bool, bool);
    306 extern	void	outusg(const sym_t *);
    307 
    308 /*
    309  * lex.c
    310  */
    311 extern	int	lex_name(const char *, size_t);
    312 extern	int	lex_integer_constant(const char *, size_t, int);
    313 extern	int	lex_floating_constant(const char *, size_t);
    314 extern	int	lex_operator(int, op_t);
    315 extern	int	lex_string(void);
    316 extern	int	lex_wide_string(void);
    317 extern	int	lex_character_constant(void);
    318 extern	int	lex_wide_character_constant(void);
    319 extern	void	lex_directive(const char *);
    320 extern	void	lex_next_line(void);
    321 extern	void	lex_comment(void);
    322 extern	void	lex_slash_slash_comment(void);
    323 extern	void	lex_unknown_character(int);
    324 extern	int	lex_input(void);
    325 
    326 /*
    327  * print.c
    328  */
    329 extern	char	*print_tnode(char *, size_t, const tnode_t *);
    330 
    331 /*
    332  * ckgetopt.c
    333  */
    334 extern	void	check_getopt_begin_while(const tnode_t *);
    335 extern	void	check_getopt_begin_switch(void);
    336 extern	void	check_getopt_case_label(int64_t);
    337 extern	void	check_getopt_end_switch(void);
    338 extern	void	check_getopt_end_while(void);
    339