emit.c revision 1.14 1 /* $NetBSD: emit.c,v 1.14 2021/09/04 14:26:32 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) && !defined(lint)
40 __RCSID("$NetBSD: emit.c,v 1.14 2021/09/04 14:26:32 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 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() 1");
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 #if defined(IS_LINT1)
135 /*
136 * write a character to the output buffer, quoted if necessary
137 */
138 void
139 outqchar(char c)
140 {
141
142 if (ch_isprint(c) && c != '\\' && c != '"' && c != '\'') {
143 outchar(c);
144 } else {
145 outchar('\\');
146 switch (c) {
147 case '\\':
148 outchar('\\');
149 break;
150 case '"':
151 outchar('"');
152 break;
153 case '\'':
154 outchar('\'');
155 break;
156 case '\b':
157 outchar('b');
158 break;
159 case '\t':
160 outchar('t');
161 break;
162 case '\n':
163 outchar('n');
164 break;
165 case '\f':
166 outchar('f');
167 break;
168 case '\r':
169 outchar('r');
170 break;
171 case '\v':
172 outchar('v');
173 break;
174 case '\a':
175 outchar('a');
176 break;
177 default:
178 outchar((char)((((unsigned char)c >> 6) & 07) + '0'));
179 outchar((char)((((unsigned char)c >> 3) & 07) + '0'));
180 outchar((char)((c & 07) + '0'));
181 break;
182 }
183 }
184 }
185 #endif
186
187 /*
188 * write a string to the output buffer
189 * the string must not contain any characters which
190 * should be quoted
191 */
192 void
193 outstrg(const char *s)
194 {
195
196 while (*s != '\0') {
197 if (ob.o_next == ob.o_end)
198 outxbuf();
199 *ob.o_next++ = *s++;
200 }
201 }
202
203 /*
204 * write an integer value to the output buffer
205 */
206 void
207 outint(int i)
208 {
209
210 if ((size_t)(ob.o_end - ob.o_next) < 3 * sizeof(int))
211 outxbuf();
212 ob.o_next += sprintf(ob.o_next, "%d", i);
213 }
214
215 /*
216 * write the name of a symbol to the output buffer
217 * the name is preceded by its length
218 */
219 void
220 outname1(const char *file, size_t line, const char *name)
221 {
222
223 if (name == NULL)
224 errx(1, "%s, %zu: internal error: outname(NULL)", file, line);
225 outint((int)strlen(name));
226 outstrg(name);
227 }
228
229 /*
230 * write the name of the .c source
231 */
232 void
233 outsrc(const char *name)
234 {
235
236 outclr();
237 outchar('S');
238 outstrg(name);
239 }
240