Home | History | Annotate | Line # | Download | only in lint1
      1  1.77    rillig /*	$NetBSD: mem1.c,v 1.77 2023/12/03 18:17:41 rillig Exp $	*/
      2   1.2       cgd 
      3   1.1       cgd /*
      4   1.1       cgd  * Copyright (c) 1994, 1995 Jochen Pohl
      5   1.1       cgd  * All Rights Reserved.
      6   1.1       cgd  *
      7   1.1       cgd  * Redistribution and use in source and binary forms, with or without
      8   1.1       cgd  * modification, are permitted provided that the following conditions
      9   1.1       cgd  * are met:
     10   1.1       cgd  * 1. Redistributions of source code must retain the above copyright
     11   1.1       cgd  *    notice, this list of conditions and the following disclaimer.
     12   1.1       cgd  * 2. Redistributions in binary form must reproduce the above copyright
     13   1.1       cgd  *    notice, this list of conditions and the following disclaimer in the
     14   1.1       cgd  *    documentation and/or other materials provided with the distribution.
     15   1.1       cgd  * 3. All advertising materials mentioning features or use of this software
     16   1.1       cgd  *    must display the following acknowledgement:
     17  1.68    rillig  *	This product includes software developed by Jochen Pohl for
     18   1.1       cgd  *	The NetBSD Project.
     19   1.1       cgd  * 4. The name of the author may not be used to endorse or promote products
     20   1.1       cgd  *    derived from this software without specific prior written permission.
     21   1.1       cgd  *
     22   1.1       cgd  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
     23   1.1       cgd  * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
     24   1.1       cgd  * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
     25   1.1       cgd  * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
     26   1.1       cgd  * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
     27   1.1       cgd  * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
     28   1.1       cgd  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
     29   1.1       cgd  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
     30   1.1       cgd  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
     31   1.1       cgd  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
     32   1.1       cgd  */
     33   1.1       cgd 
     34  1.11       jmc #if HAVE_NBTOOL_CONFIG_H
     35  1.11       jmc #include "nbtool_config.h"
     36  1.11       jmc #endif
     37  1.11       jmc 
     38   1.3  christos #include <sys/cdefs.h>
     39  1.63    rillig #if defined(__RCSID)
     40  1.77    rillig __RCSID("$NetBSD: mem1.c,v 1.77 2023/12/03 18:17:41 rillig Exp $");
     41   1.1       cgd #endif
     42   1.1       cgd 
     43   1.1       cgd #include <sys/param.h>
     44   1.1       cgd #include <stdlib.h>
     45   1.1       cgd #include <string.h>
     46   1.1       cgd 
     47   1.1       cgd #include "lint1.h"
     48   1.1       cgd 
     49   1.1       cgd /*
     50  1.44    rillig  * Filenames allocated by record_filename are shared and have unlimited
     51  1.44    rillig  * lifetime.
     52   1.1       cgd  */
     53  1.32    rillig struct filename {
     54  1.44    rillig 	const char *fn_name;
     55   1.1       cgd 	size_t	fn_len;
     56   1.1       cgd 	int	fn_id;
     57  1.77    rillig 	struct filename *fn_next;
     58  1.32    rillig };
     59   1.1       cgd 
     60  1.34    rillig static struct filename *filenames;	/* null-terminated array */
     61  1.61    rillig static int next_filename_id;
     62   1.1       cgd 
     63  1.26    rillig /* Find the given filename, or return NULL. */
     64  1.33    rillig static const struct filename *
     65  1.33    rillig search_filename(const char *s, size_t len)
     66   1.1       cgd {
     67  1.34    rillig 	const struct filename *fn;
     68   1.1       cgd 
     69  1.34    rillig 	for (fn = filenames; fn != NULL; fn = fn->fn_next) {
     70   1.1       cgd 		if (fn->fn_len == len && memcmp(fn->fn_name, s, len) == 0)
     71   1.1       cgd 			break;
     72   1.1       cgd 	}
     73  1.20    rillig 	return fn;
     74   1.1       cgd }
     75   1.1       cgd 
     76  1.32    rillig struct filename_replacement {
     77  1.44    rillig 	const char *orig;
     78  1.35    rillig 	size_t orig_len;
     79  1.44    rillig 	const char *repl;
     80  1.44    rillig 	const struct filename_replacement *next;
     81  1.18  christos };
     82  1.18  christos 
     83  1.34    rillig static struct filename_replacement *filename_replacements;
     84  1.18  christos 
     85  1.18  christos void
     86  1.30    rillig add_directory_replacement(char *arg)
     87  1.18  christos {
     88  1.43    rillig 	struct filename_replacement *r = xmalloc(sizeof(*r));
     89  1.19    rillig 
     90  1.36    rillig 	char *sep = strchr(arg, '=');
     91  1.36    rillig 	if (sep == NULL)
     92  1.36    rillig 		err(1, "Bad replacement directory spec `%s'", arg);
     93  1.36    rillig 	*sep = '\0';
     94  1.36    rillig 
     95  1.18  christos 	r->orig = arg;
     96  1.67    rillig 	r->orig_len = (size_t)(sep - arg);
     97  1.36    rillig 	r->repl = sep + 1;
     98  1.34    rillig 	r->next = filename_replacements;
     99  1.34    rillig 	filename_replacements = r;
    100  1.18  christos }
    101  1.18  christos 
    102  1.18  christos const char *
    103  1.37    rillig transform_filename(const char *name, size_t len)
    104  1.18  christos {
    105  1.18  christos 	static char buf[MAXPATHLEN];
    106  1.34    rillig 	const struct filename_replacement *r;
    107  1.18  christos 
    108  1.34    rillig 	for (r = filename_replacements; r != NULL; r = r->next)
    109  1.35    rillig 		if (r->orig_len < len &&
    110  1.35    rillig 		    memcmp(name, r->orig, r->orig_len) == 0)
    111  1.18  christos 			break;
    112  1.18  christos 	if (r == NULL)
    113  1.18  christos 		return name;
    114  1.51    rillig 	(void)snprintf(buf, sizeof(buf), "%s%s", r->repl, name + r->orig_len);
    115  1.18  christos 	return buf;
    116  1.18  christos }
    117  1.18  christos 
    118  1.29    rillig /*
    119  1.29    rillig  * Return a copy of the filename s with unlimited lifetime.
    120  1.37    rillig  * If the filename is new, write it to the output file.
    121  1.29    rillig  */
    122   1.1       cgd const char *
    123  1.37    rillig record_filename(const char *s, size_t slen)
    124   1.1       cgd {
    125   1.1       cgd 
    126  1.65    rillig 	const struct filename *existing_fn = search_filename(s, slen);
    127  1.65    rillig 	if (existing_fn != NULL)
    128  1.33    rillig 		return existing_fn->fn_name;
    129  1.31    rillig 
    130  1.65    rillig 	char *name = xmalloc(slen + 1);
    131  1.44    rillig 	(void)memcpy(name, s, slen);
    132  1.44    rillig 	name[slen] = '\0';
    133  1.44    rillig 
    134  1.65    rillig 	struct filename *fn = xmalloc(sizeof(*fn));
    135  1.44    rillig 	fn->fn_name = name;
    136  1.36    rillig 	fn->fn_len = slen;
    137  1.61    rillig 	fn->fn_id = next_filename_id++;
    138  1.34    rillig 	fn->fn_next = filenames;
    139  1.34    rillig 	filenames = fn;
    140  1.31    rillig 
    141  1.31    rillig 	outint(fn->fn_id);
    142  1.31    rillig 	outchar('s');
    143  1.37    rillig 	outstrg(transform_filename(fn->fn_name, fn->fn_len));
    144  1.74    rillig 	outchar('\n');
    145  1.31    rillig 
    146  1.20    rillig 	return fn->fn_name;
    147   1.1       cgd }
    148   1.1       cgd 
    149  1.26    rillig /* Get the ID of a filename. */
    150   1.1       cgd int
    151  1.37    rillig get_filename_id(const char *s)
    152   1.1       cgd {
    153  1.33    rillig 	const struct filename *fn;
    154   1.1       cgd 
    155  1.33    rillig 	if (s == NULL || (fn = search_filename(s, strlen(s))) == NULL)
    156  1.20    rillig 		return -1;
    157  1.20    rillig 	return fn->fn_id;
    158   1.1       cgd }
    159   1.1       cgd 
    160  1.64    rillig typedef struct memory_pools {
    161  1.64    rillig 	struct memory_pool *pools;
    162  1.64    rillig 	size_t	cap;
    163  1.64    rillig } memory_pools;
    164   1.1       cgd 
    165  1.65    rillig /* Array of memory pools, indexed by mem_block_level. */
    166  1.64    rillig static memory_pools mpools;
    167   1.1       cgd 
    168  1.64    rillig /* The pool for the current expression is independent of any block level. */
    169  1.64    rillig static memory_pool expr_pool;
    170   1.1       cgd 
    171  1.64    rillig static void
    172  1.70    rillig mpool_add(memory_pool *pool, struct memory_pool_item item)
    173  1.64    rillig {
    174   1.1       cgd 
    175  1.64    rillig 	if (pool->len >= pool->cap) {
    176  1.64    rillig 		pool->cap = 2 * pool->len + 16;
    177  1.64    rillig 		pool->items = xrealloc(pool->items,
    178  1.64    rillig 		    sizeof(*pool->items) * pool->cap);
    179  1.64    rillig 	}
    180  1.64    rillig 	pool->items[pool->len++] = item;
    181  1.64    rillig }
    182   1.1       cgd 
    183  1.73    rillig #ifdef DEBUG_MEM
    184  1.73    rillig static void
    185  1.73    rillig debug_memory_pool_item(const struct memory_pool_item *item)
    186  1.73    rillig {
    187  1.73    rillig 	void *p = item->p;
    188  1.73    rillig 	size_t size = item->size;
    189  1.73    rillig 	const char *descr = item->descr;
    190  1.73    rillig 
    191  1.73    rillig 	if (strcmp(descr, "string") == 0) {
    192  1.73    rillig 		const char *str = p;
    193  1.73    rillig 		debug_step("%s: freeing string '%s'", __func__, str);
    194  1.73    rillig 	} else if (strcmp(descr, "sym") == 0) {
    195  1.73    rillig 		const sym_t *sym = p;
    196  1.73    rillig 		debug_step("%s: freeing symbol '%s'", __func__, sym->s_name);
    197  1.73    rillig 	} else if (strcmp(descr, "type") == 0) {
    198  1.73    rillig 		const type_t *tp = p;
    199  1.73    rillig 		debug_step("%s: freeing type '%s'", __func__, type_name(tp));
    200  1.73    rillig 	} else if (strcmp(descr, "tnode") == 0) {
    201  1.73    rillig 		const tnode_t *tn = p;
    202  1.73    rillig 		debug_step("%s: freeing node '%s' with type '%s'",
    203  1.73    rillig 		    __func__, op_name(tn->tn_op), type_name(tn->tn_type));
    204  1.73    rillig 	} else
    205  1.73    rillig 		debug_step("%s: freeing '%s' with %zu bytes",
    206  1.73    rillig 		    __func__, descr, size);
    207  1.73    rillig }
    208  1.73    rillig #endif
    209  1.73    rillig 
    210  1.64    rillig static void
    211  1.64    rillig mpool_free(memory_pool *pool)
    212   1.1       cgd {
    213  1.59    rillig 
    214  1.70    rillig #ifdef DEBUG_MEM
    215  1.73    rillig 	for (size_t i = pool->len; i-- > 0; )
    216  1.73    rillig 		debug_memory_pool_item(pool->items + i);
    217  1.73    rillig #endif
    218  1.73    rillig 
    219  1.73    rillig 	for (size_t i = pool->len; i-- > 0;) {
    220  1.73    rillig #ifdef DEBUG_MEM
    221  1.73    rillig 		static void *(*volatile set)(void *, int, size_t) = memset;
    222  1.73    rillig 		set(pool->items[i].p, 'Z', pool->items[i].size);
    223  1.70    rillig #endif
    224  1.73    rillig 		free(pool->items[i].p);
    225  1.70    rillig 	}
    226  1.73    rillig 	pool->len = 0;
    227   1.1       cgd }
    228   1.1       cgd 
    229  1.64    rillig static void *
    230  1.70    rillig #ifdef DEBUG_MEM
    231  1.70    rillig mpool_zero_alloc(memory_pool *pool, size_t size, const char *descr)
    232  1.70    rillig #else
    233  1.64    rillig mpool_zero_alloc(memory_pool *pool, size_t size)
    234  1.70    rillig #endif
    235   1.1       cgd {
    236   1.1       cgd 
    237  1.64    rillig 	void *mem = xmalloc(size);
    238  1.64    rillig 	memset(mem, 0, size);
    239  1.70    rillig #if DEBUG_MEM
    240  1.70    rillig 	mpool_add(pool, (struct memory_pool_item){ mem, size, descr });
    241  1.70    rillig #else
    242  1.70    rillig 	mpool_add(pool, (struct memory_pool_item){ mem });
    243  1.70    rillig #endif
    244  1.64    rillig 	return mem;
    245   1.1       cgd }
    246   1.1       cgd 
    247  1.64    rillig static memory_pool *
    248  1.64    rillig mpool_at(size_t level)
    249   1.1       cgd {
    250   1.1       cgd 
    251  1.64    rillig 	if (level >= mpools.cap) {
    252  1.64    rillig 		size_t prev_cap = mpools.cap;
    253  1.64    rillig 		mpools.cap = level + 16;
    254  1.64    rillig 		mpools.pools = xrealloc(mpools.pools,
    255  1.64    rillig 		    sizeof(*mpools.pools) * mpools.cap);
    256  1.64    rillig 		for (size_t i = prev_cap; i < mpools.cap; i++)
    257  1.64    rillig 			mpools.pools[i] = (memory_pool){ NULL, 0, 0 };
    258  1.64    rillig 	}
    259  1.64    rillig 	return mpools.pools + level;
    260   1.1       cgd }
    261   1.1       cgd 
    262   1.5     lukem 
    263  1.70    rillig /* Allocate memory associated with the level, initialized with zero. */
    264  1.70    rillig #ifdef DEBUG_MEM
    265  1.70    rillig void *
    266  1.70    rillig level_zero_alloc(size_t level, size_t size, const char *descr)
    267  1.70    rillig {
    268  1.70    rillig 
    269  1.71    rillig 	debug_step("%s: %s at level %zu", __func__, descr, level);
    270  1.70    rillig 	return mpool_zero_alloc(mpool_at(level), size, descr);
    271  1.70    rillig }
    272  1.70    rillig #else
    273   1.1       cgd void *
    274  1.70    rillig (level_zero_alloc)(size_t level, size_t size)
    275   1.1       cgd {
    276   1.5     lukem 
    277  1.70    rillig 	return mpool_zero_alloc(mpool_at(level), size);
    278   1.1       cgd }
    279  1.70    rillig #endif
    280   1.1       cgd 
    281  1.60    rillig /* Allocate memory that is freed at the end of the current block. */
    282  1.70    rillig #ifdef DEBUG_MEM
    283   1.1       cgd void *
    284  1.70    rillig block_zero_alloc(size_t size, const char *descr)
    285   1.1       cgd {
    286   1.5     lukem 
    287  1.70    rillig 	return level_zero_alloc(mem_block_level, size, descr);
    288   1.1       cgd }
    289  1.70    rillig #else
    290  1.70    rillig void *
    291  1.70    rillig (block_zero_alloc)(size_t size)
    292  1.70    rillig {
    293  1.70    rillig 
    294  1.70    rillig 	return (level_zero_alloc)(mem_block_level, size);
    295  1.70    rillig }
    296  1.70    rillig #endif
    297   1.1       cgd 
    298   1.1       cgd void
    299  1.60    rillig level_free_all(size_t level)
    300   1.1       cgd {
    301   1.5     lukem 
    302  1.73    rillig 	debug_step("+ %s %zu", __func__, level);
    303  1.73    rillig 	debug_indent_inc();
    304  1.64    rillig 	mpool_free(mpool_at(level));
    305  1.73    rillig 	debug_leave();
    306   1.1       cgd }
    307   1.1       cgd 
    308  1.60    rillig /* Allocate memory that is freed at the end of the current expression. */
    309  1.70    rillig #if DEBUG_MEM
    310   1.1       cgd void *
    311  1.70    rillig expr_zero_alloc(size_t s, const char *descr)
    312   1.1       cgd {
    313   1.5     lukem 
    314  1.70    rillig 	return mpool_zero_alloc(&expr_pool, s, descr);
    315   1.1       cgd }
    316  1.70    rillig #else
    317  1.70    rillig void *
    318  1.70    rillig (expr_zero_alloc)(size_t size)
    319  1.70    rillig {
    320  1.70    rillig 
    321  1.70    rillig 	return mpool_zero_alloc(&expr_pool, size);
    322  1.70    rillig }
    323  1.70    rillig #endif
    324   1.1       cgd 
    325  1.45    rillig static bool
    326  1.66    rillig str_ends_with(const char *haystack, const char *needle)
    327  1.45    rillig {
    328  1.45    rillig 	size_t hlen = strlen(haystack);
    329  1.45    rillig 	size_t nlen = strlen(needle);
    330  1.45    rillig 
    331  1.45    rillig 	return nlen <= hlen &&
    332  1.75    rillig 	    memcmp(haystack + hlen - nlen, needle, nlen) == 0;
    333  1.45    rillig }
    334  1.45    rillig 
    335  1.41    rillig /*
    336  1.41    rillig  * Return a freshly allocated tree node that is freed at the end of the
    337  1.41    rillig  * current expression.
    338  1.56    rillig  *
    339  1.56    rillig  * The node records whether it comes from a system file, which makes strict
    340  1.56    rillig  * bool mode less restrictive.
    341  1.41    rillig  */
    342   1.1       cgd tnode_t *
    343  1.60    rillig expr_alloc_tnode(void)
    344   1.1       cgd {
    345  1.70    rillig 	tnode_t *tn = expr_zero_alloc(sizeof(*tn), "tnode");
    346  1.45    rillig 	/*
    347  1.45    rillig 	 * files named *.c that are different from the main translation unit
    348  1.76    rillig 	 * typically contain generated code that cannot be influenced, such as
    349  1.76    rillig 	 * a flex lexer or a yacc parser.
    350  1.45    rillig 	 */
    351  1.55    rillig 	tn->tn_sys = in_system_header ||
    352  1.55    rillig 		     (curr_pos.p_file != csrc_pos.p_file &&
    353  1.66    rillig 		      str_ends_with(curr_pos.p_file, ".c"));
    354  1.25    rillig 	return tn;
    355   1.1       cgd }
    356   1.1       cgd 
    357  1.26    rillig /* Free all memory which is allocated by the current expression. */
    358   1.1       cgd void
    359  1.41    rillig expr_free_all(void)
    360   1.1       cgd {
    361   1.5     lukem 
    362  1.69    rillig 	debug_step("%s", __func__);
    363  1.64    rillig 	mpool_free(&expr_pool);
    364   1.1       cgd }
    365   1.1       cgd 
    366   1.1       cgd /*
    367   1.1       cgd  * Save the memory which is used by the current expression. This memory
    368  1.64    rillig  * is not freed by the next expr_free_all() call. The returned value can be
    369   1.1       cgd  * used to restore the memory.
    370   1.1       cgd  */
    371  1.64    rillig memory_pool
    372  1.41    rillig expr_save_memory(void)
    373   1.1       cgd {
    374   1.1       cgd 
    375  1.64    rillig 	memory_pool saved_pool = expr_pool;
    376  1.64    rillig 	expr_pool = (memory_pool){ NULL, 0, 0 };
    377  1.64    rillig 	return saved_pool;
    378   1.1       cgd }
    379   1.1       cgd 
    380   1.1       cgd /*
    381  1.47    rillig  * Free all memory used for the current expression and restore the memory used
    382  1.47    rillig  * by a previous expression and saved by expr_save_memory(). The next call to
    383  1.41    rillig  * expr_free_all() frees the restored memory.
    384   1.1       cgd  */
    385   1.1       cgd void
    386  1.64    rillig expr_restore_memory(memory_pool saved_pool)
    387   1.1       cgd {
    388   1.5     lukem 
    389  1.41    rillig 	expr_free_all();
    390  1.64    rillig 	free(expr_pool.items);
    391  1.64    rillig 	expr_pool = saved_pool;
    392   1.1       cgd }
    393