Home | History | Annotate | Line # | Download | only in lint1
mem1.c revision 1.63
      1  1.63    rillig /*	$NetBSD: mem1.c,v 1.63 2022/05/20 21:18:55 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.1       cgd  *      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.63    rillig __RCSID("$NetBSD: mem1.c,v 1.63 2022/05/20 21:18:55 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.32    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.36    rillig 	r->orig_len = 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.33    rillig 	const struct filename *existing_fn;
    126  1.32    rillig 	struct filename *fn;
    127  1.44    rillig 	char *name;
    128   1.1       cgd 
    129  1.36    rillig 	if ((existing_fn = search_filename(s, slen)) != NULL)
    130  1.33    rillig 		return existing_fn->fn_name;
    131  1.31    rillig 
    132  1.44    rillig 	name = xmalloc(slen + 1);
    133  1.44    rillig 	(void)memcpy(name, s, slen);
    134  1.44    rillig 	name[slen] = '\0';
    135  1.44    rillig 
    136  1.36    rillig 	fn = xmalloc(sizeof(*fn));
    137  1.44    rillig 	fn->fn_name = name;
    138  1.36    rillig 	fn->fn_len = slen;
    139  1.61    rillig 	fn->fn_id = next_filename_id++;
    140  1.34    rillig 	fn->fn_next = filenames;
    141  1.34    rillig 	filenames = fn;
    142  1.31    rillig 
    143  1.37    rillig 	/* Write the ID of this filename to the output file. */
    144  1.31    rillig 	outclr();
    145  1.31    rillig 	outint(fn->fn_id);
    146  1.31    rillig 	outchar('s');
    147  1.37    rillig 	outstrg(transform_filename(fn->fn_name, fn->fn_len));
    148  1.31    rillig 
    149  1.20    rillig 	return fn->fn_name;
    150   1.1       cgd }
    151   1.1       cgd 
    152  1.26    rillig /* Get the ID of a filename. */
    153   1.1       cgd int
    154  1.37    rillig get_filename_id(const char *s)
    155   1.1       cgd {
    156  1.33    rillig 	const struct filename *fn;
    157   1.1       cgd 
    158  1.33    rillig 	if (s == NULL || (fn = search_filename(s, strlen(s))) == NULL)
    159  1.20    rillig 		return -1;
    160  1.20    rillig 	return fn->fn_id;
    161   1.1       cgd }
    162   1.1       cgd 
    163   1.1       cgd /*
    164  1.59    rillig  * Memory for declarations and other things that must be available
    165   1.1       cgd  * until the end of a block (or the end of the translation unit)
    166  1.42    rillig  * is associated with the corresponding mem_block_level, which may be 0.
    167  1.13       wiz  * Because this memory is allocated in large blocks associated with
    168   1.1       cgd  * a given level it can be freed easily at the end of a block.
    169   1.1       cgd  */
    170  1.38    rillig typedef struct memory_block {
    171  1.42    rillig 	void	*start;			/* beginning of memory block */
    172  1.42    rillig 	void	*first_free;		/* first free byte */
    173   1.1       cgd 	size_t	nfree;			/* # of free bytes */
    174  1.42    rillig 	struct	memory_block *next;
    175  1.38    rillig } memory_block;
    176   1.1       cgd 
    177   1.1       cgd 
    178  1.59    rillig static	size_t	mblk_size;	/* size of newly allocated memory blocks */
    179   1.1       cgd 
    180  1.59    rillig /* Array of lists of memory blocks, indexed by mem_block_level. */
    181  1.59    rillig static	memory_block	**mblks;
    182  1.59    rillig static	size_t	nmblks;		/* number of elements in *mblks */
    183  1.59    rillig #define	ML_INC	((size_t)32)	/* Increment for length of *mblks */
    184   1.1       cgd 
    185   1.1       cgd 
    186  1.22    rillig /* Allocate new memory, initialized with zero. */
    187   1.1       cgd static void *
    188  1.38    rillig xgetblk(memory_block **mbp, size_t s)
    189   1.1       cgd {
    190  1.38    rillig 	memory_block	*mb;
    191   1.1       cgd 	void	*p;
    192   1.1       cgd 
    193  1.62    rillig 	size_t worst_align = 2 * sizeof(long) - 1;
    194  1.62    rillig 	s = (s + worst_align) & ~worst_align;
    195  1.22    rillig 
    196   1.1       cgd 	if ((mb = *mbp) == NULL || mb->nfree < s) {
    197  1.59    rillig 		size_t block_size = s > mblk_size ? s : mblk_size;
    198  1.59    rillig 		mb = xmalloc(sizeof(*mb));
    199  1.59    rillig 		mb->start = xmalloc(block_size);
    200  1.42    rillig 		mb->first_free = mb->start;
    201  1.59    rillig 		mb->nfree = block_size;
    202  1.42    rillig 		mb->next = *mbp;
    203   1.1       cgd 		*mbp = mb;
    204   1.1       cgd 	}
    205  1.59    rillig 
    206  1.42    rillig 	p = mb->first_free;
    207  1.42    rillig 	mb->first_free = (char *)mb->first_free + s;
    208   1.1       cgd 	mb->nfree -= s;
    209  1.17  christos 	(void)memset(p, 0, s);
    210  1.20    rillig 	return p;
    211   1.1       cgd }
    212   1.1       cgd 
    213  1.58    rillig /* Free all blocks from list *fmbp. */
    214   1.1       cgd static void
    215  1.38    rillig xfreeblk(memory_block **fmbp)
    216   1.1       cgd {
    217  1.38    rillig 	memory_block	*mb;
    218   1.1       cgd 
    219   1.1       cgd 	while ((mb = *fmbp) != NULL) {
    220  1.42    rillig 		*fmbp = mb->next;
    221  1.58    rillig 		free(mb);
    222   1.1       cgd 	}
    223   1.1       cgd }
    224   1.1       cgd 
    225   1.1       cgd void
    226   1.5     lukem initmem(void)
    227   1.1       cgd {
    228   1.1       cgd 
    229  1.59    rillig 	mblk_size = mem_block_size();
    230  1.43    rillig 	mblks = xcalloc(nmblks = ML_INC, sizeof(*mblks));
    231   1.1       cgd }
    232   1.1       cgd 
    233   1.5     lukem 
    234  1.48    rillig /* Allocate memory associated with level l, initialized with zero. */
    235   1.1       cgd void *
    236  1.60    rillig level_zero_alloc(size_t l, size_t s)
    237   1.1       cgd {
    238   1.5     lukem 
    239   1.1       cgd 	while (l >= nmblks) {
    240  1.43    rillig 		mblks = xrealloc(mblks, (nmblks + ML_INC) * sizeof(*mblks));
    241  1.43    rillig 		(void)memset(&mblks[nmblks], 0, ML_INC * sizeof(*mblks));
    242   1.1       cgd 		nmblks += ML_INC;
    243   1.1       cgd 	}
    244  1.20    rillig 	return xgetblk(&mblks[l], s);
    245   1.1       cgd }
    246   1.1       cgd 
    247  1.60    rillig /* Allocate memory that is freed at the end of the current block. */
    248   1.1       cgd void *
    249  1.60    rillig block_zero_alloc(size_t s)
    250   1.1       cgd {
    251   1.5     lukem 
    252  1.60    rillig 	return level_zero_alloc(mem_block_level, s);
    253   1.1       cgd }
    254   1.1       cgd 
    255   1.1       cgd void
    256  1.60    rillig level_free_all(size_t level)
    257   1.1       cgd {
    258   1.5     lukem 
    259  1.60    rillig 	xfreeblk(&mblks[level]);
    260   1.1       cgd }
    261   1.1       cgd 
    262   1.1       cgd 
    263  1.38    rillig static	memory_block	*tmblk;
    264  1.26    rillig 
    265  1.60    rillig /* Allocate memory that is freed at the end of the current expression. */
    266   1.1       cgd void *
    267  1.60    rillig expr_zero_alloc(size_t s)
    268   1.1       cgd {
    269   1.5     lukem 
    270  1.20    rillig 	return xgetblk(&tmblk, s);
    271   1.1       cgd }
    272   1.1       cgd 
    273  1.45    rillig static bool
    274  1.45    rillig str_endswith(const char *haystack, const char *needle)
    275  1.45    rillig {
    276  1.45    rillig 	size_t hlen = strlen(haystack);
    277  1.45    rillig 	size_t nlen = strlen(needle);
    278  1.45    rillig 
    279  1.45    rillig 	return nlen <= hlen &&
    280  1.45    rillig 	       memcmp(haystack + hlen - nlen, needle, nlen) == 0;
    281  1.45    rillig }
    282  1.45    rillig 
    283  1.41    rillig /*
    284  1.41    rillig  * Return a freshly allocated tree node that is freed at the end of the
    285  1.41    rillig  * current expression.
    286  1.56    rillig  *
    287  1.56    rillig  * The node records whether it comes from a system file, which makes strict
    288  1.56    rillig  * bool mode less restrictive.
    289  1.41    rillig  */
    290   1.1       cgd tnode_t *
    291  1.60    rillig expr_alloc_tnode(void)
    292   1.1       cgd {
    293  1.60    rillig 	tnode_t *tn = expr_zero_alloc(sizeof(*tn));
    294  1.45    rillig 	/*
    295  1.45    rillig 	 * files named *.c that are different from the main translation unit
    296  1.45    rillig 	 * typically contain generated code that cannot be influenced, such
    297  1.45    rillig 	 * as a flex lexer or a yacc parser.
    298  1.45    rillig 	 */
    299  1.55    rillig 	tn->tn_sys = in_system_header ||
    300  1.55    rillig 		     (curr_pos.p_file != csrc_pos.p_file &&
    301  1.55    rillig 		      str_endswith(curr_pos.p_file, ".c"));
    302  1.25    rillig 	return tn;
    303   1.1       cgd }
    304   1.1       cgd 
    305  1.26    rillig /* Free all memory which is allocated by the current expression. */
    306   1.1       cgd void
    307  1.41    rillig expr_free_all(void)
    308   1.1       cgd {
    309   1.5     lukem 
    310   1.1       cgd 	xfreeblk(&tmblk);
    311   1.1       cgd }
    312   1.1       cgd 
    313   1.1       cgd /*
    314   1.1       cgd  * Save the memory which is used by the current expression. This memory
    315  1.41    rillig  * is not freed by the next expr_free_all() call. The pointer returned can be
    316   1.1       cgd  * used to restore the memory.
    317   1.1       cgd  */
    318  1.38    rillig memory_block *
    319  1.41    rillig expr_save_memory(void)
    320   1.1       cgd {
    321  1.38    rillig 	memory_block	*tmem;
    322   1.1       cgd 
    323   1.1       cgd 	tmem = tmblk;
    324   1.1       cgd 	tmblk = NULL;
    325  1.20    rillig 	return tmem;
    326   1.1       cgd }
    327   1.1       cgd 
    328   1.1       cgd /*
    329  1.47    rillig  * Free all memory used for the current expression and restore the memory used
    330  1.47    rillig  * by a previous expression and saved by expr_save_memory(). The next call to
    331  1.41    rillig  * expr_free_all() frees the restored memory.
    332   1.1       cgd  */
    333   1.1       cgd void
    334  1.41    rillig expr_restore_memory(memory_block *tmem)
    335   1.1       cgd {
    336   1.5     lukem 
    337  1.41    rillig 	expr_free_all();
    338   1.1       cgd 	if (tmblk != NULL) {
    339  1.42    rillig 		free(tmblk->start);
    340   1.1       cgd 		free(tmblk);
    341   1.1       cgd 	}
    342   1.1       cgd 	tmblk = tmem;
    343   1.1       cgd }
    344