1 /* $NetBSD: emit.c,v 1.18 2023/01/14 09:30:07 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 #if HAVE_NBTOOL_CONFIG_H 35 #include "nbtool_config.h" 36 #endif 37 38 #include <sys/cdefs.h> 39 #if defined(__RCSID) 40 __RCSID("$NetBSD: emit.c,v 1.18 2023/01/14 09:30:07 rillig Exp $"); 41 #endif 42 43 #include <stdio.h> 44 #include <string.h> 45 46 #include "lint.h" 47 48 /* name and handle of output file */ 49 static const char *loname; 50 static FILE *lout; 51 52 /* output buffer data */ 53 static ob_t ob; 54 55 static void outxbuf(void); 56 57 58 /* 59 * initialize output 60 */ 61 void 62 outopen(const char *name) 63 { 64 65 loname = name; 66 67 /* Open output file */ 68 if ((lout = fopen(name, "w")) == NULL) 69 err(1, "cannot open '%s'", name); 70 71 /* Create output buffer */ 72 ob.o_len = 1024; 73 ob.o_end = (ob.o_buf = ob.o_next = xmalloc(ob.o_len)) + ob.o_len; 74 } 75 76 /* 77 * flush output buffer and close file 78 */ 79 void 80 outclose(void) 81 { 82 83 outclr(); 84 if (fclose(lout) == EOF) 85 err(1, "cannot close '%s'", loname); 86 } 87 88 /* 89 * resize output buffer 90 */ 91 static void 92 outxbuf(void) 93 { 94 ptrdiff_t coffs; 95 96 coffs = ob.o_next - ob.o_buf; 97 ob.o_len *= 2; 98 ob.o_end = (ob.o_buf = xrealloc(ob.o_buf, ob.o_len)) + ob.o_len; 99 ob.o_next = ob.o_buf + coffs; 100 } 101 102 /* 103 * reset output buffer 104 * if it is not empty, it is flushed 105 */ 106 void 107 outclr(void) 108 { 109 size_t sz; 110 111 if (ob.o_buf != ob.o_next) { 112 outchar('\n'); 113 sz = ob.o_next - ob.o_buf; 114 if (sz > ob.o_len) 115 errx(1, "internal error: outclr"); 116 if (fwrite(ob.o_buf, sz, 1, lout) != 1) 117 err(1, "cannot write to %s", loname); 118 ob.o_next = ob.o_buf; 119 } 120 } 121 122 /* 123 * write a character to the output buffer 124 */ 125 void 126 outchar(char c) 127 { 128 129 if (ob.o_next == ob.o_end) 130 outxbuf(); 131 *ob.o_next++ = c; 132 } 133 134 /* 135 * write a string to the output buffer 136 * the string must not contain any characters which 137 * should be quoted 138 */ 139 void 140 outstrg(const char *s) 141 { 142 143 while (*s != '\0') { 144 if (ob.o_next == ob.o_end) 145 outxbuf(); 146 *ob.o_next++ = *s++; 147 } 148 } 149 150 /* write an integer value to the output buffer */ 151 void 152 outint(int i) 153 { 154 155 if ((size_t)(ob.o_end - ob.o_next) < 3 * sizeof(int)) 156 outxbuf(); 157 ob.o_next += sprintf(ob.o_next, "%d", i); 158 } 159 160 /* write a name to the output buffer, preceded by its length */ 161 void 162 outname(const char *name) 163 { 164 outint((int)strlen(name)); 165 outstrg(name); 166 } 167 168 /* write the name of the .c source */ 169 void 170 outsrc(const char *name) 171 { 172 173 outclr(); 174 outchar('S'); 175 outstrg(name); 176 } 177