?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
indent(1): Avoid out of bound access of array codebuf.
[freebsd-src.git] / usr.bin / indent / indent.c
blob7f0fbf68396c307b0becd52c42ce3633898f4de9
1 /*
2 * Copyright (c) 1985 Sun Microsystems, Inc.
3 * Copyright (c) 1976 Board of Trustees of the University of Illinois.
4 * Copyright (c) 1980, 1993
5 * The Regents of the University of California. 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 the University of
18 * California, Berkeley and its contributors.
19 * 4. Neither the name of the University nor the names of its contributors
20 * may be used to endorse or promote products derived from this software
21 * without specific prior written permission.
22 *
23 * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
24 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
25 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
26 * ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
27 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
28 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
29 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
30 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
31 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
32 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
33 * SUCH DAMAGE.
34 */
35
36 #ifndef lint
37 static const char copyright[] =
38 "@(#) Copyright (c) 1985 Sun Microsystems, Inc.\n\
39 @(#) Copyright (c) 1976 Board of Trustees of the University of Illinois.\n\
40 @(#) Copyright (c) 1980, 1993\n\
41 The Regents of the University of California. All rights reserved.\n";
42 #endif /* not lint */
43
44 #if 0
45 #ifndef lint
46 static char sccsid[] = "@(#)indent.c 5.17 (Berkeley) 6/7/93";
47 #endif /* not lint */
48 #endif
49
50 #include <sys/cdefs.h>
51 __FBSDID("$FreeBSD$");
52
53 #include <sys/param.h>
54 #include <err.h>
55 #include <fcntl.h>
56 #include <unistd.h>
57 #include <stdio.h>
58 #include <stdlib.h>
59 #include <string.h>
60 #include <ctype.h>
61 #include "indent_globs.h"
62 #include "indent_codes.h"
63 #include "indent.h"
64
65 static void bakcopy(void);
66
67 const char *in_name = "Standard Input"; /* will always point to name of input
68 * file */
69 const char *out_name = "Standard Output"; /* will always point to name
70 * of output file */
71 char bakfile[MAXPATHLEN] = "";
72
73 int
74 main(int argc, char **argv)
75 {
76
77 int dec_ind; /* current indentation for declarations */
78 int di_stack[20]; /* a stack of structure indentation levels */
79 int flushed_nl; /* used when buffering up comments to remember
80 * that a newline was passed over */
81 int force_nl; /* when true, code must be broken */
82 int hd_type = 0; /* used to store type of stmt for if (...),
83 * for (...), etc */
84 int i; /* local loop counter */
85 int scase; /* set to true when we see a case, so we will
86 * know what to do with the following colon */
87 int sp_sw; /* when true, we are in the expression of
88 * if(...), while(...), etc. */
89 int squest; /* when this is positive, we have seen a ?
90 * without the matching : in a <c>?<s>:<s>
91 * construct */
92 const char *t_ptr; /* used for copying tokens */
93 int tabs_to_var; /* true if using tabs to indent to var name */
94 int type_code; /* the type of token, returned by lexi */
95
96 int last_else = 0; /* true iff last keyword was an else */
97
98
99 /*-----------------------------------------------*\
100 | INITIALIZATION |
101 \*-----------------------------------------------*/
102
103 found_err = 0;
104
105 ps.p_stack[0] = stmt; /* this is the parser's stack */
106 ps.last_nl = true; /* this is true if the last thing scanned was
107 * a newline */
108 ps.last_token = semicolon;
109 combuf = (char *) malloc(bufsize);
110 if (combuf == NULL)
111 err(1, NULL);
112 labbuf = (char *) malloc(bufsize);
113 if (labbuf == NULL)
114 err(1, NULL);
115 codebuf = (char *) malloc(bufsize);
116 if (codebuf == NULL)
117 err(1, NULL);
118 tokenbuf = (char *) malloc(bufsize);
119 if (tokenbuf == NULL)
120 err(1, NULL);
121 l_com = combuf + bufsize - 5;
122 l_lab = labbuf + bufsize - 5;
123 l_code = codebuf + bufsize - 5;
124 l_token = tokenbuf + bufsize - 5;
125 combuf[0] = codebuf[0] = labbuf[0] = ' '; /* set up code, label, and
126 * comment buffers */
127 combuf[1] = codebuf[1] = labbuf[1] = '\0';
128 ps.else_if = 1; /* Default else-if special processing to on */
129 s_lab = e_lab = labbuf + 1;
130 s_code = e_code = codebuf + 1;
131 s_com = e_com = combuf + 1;
132 s_token = e_token = tokenbuf + 1;
133
134 in_buffer = (char *) malloc(10);
135 if (in_buffer == NULL)
136 err(1, NULL);
137 in_buffer_limit = in_buffer + 8;
138 buf_ptr = buf_end = in_buffer;
139 line_no = 1;
140 had_eof = ps.in_decl = ps.decl_on_line = break_comma = false;
141 sp_sw = force_nl = false;
142 ps.in_or_st = false;
143 ps.bl_line = true;
144 dec_ind = 0;
145 di_stack[ps.dec_nest = 0] = 0;
146 ps.want_blank = ps.in_stmt = ps.ind_stmt = false;
147
148 scase = ps.pcase = false;
149 squest = 0;
150 sc_end = 0;
151 bp_save = 0;
152 be_save = 0;
153
154 output = 0;
155 tabs_to_var = 0;
156
157 /*--------------------------------------------------*\
158 | COMMAND LINE SCAN |
159 \*--------------------------------------------------*/
160
161 #ifdef undef
162 max_col = 78; /* -l78 */
163 lineup_to_parens = 1; /* -lp */
164 ps.ljust_decl = 0; /* -ndj */
165 ps.com_ind = 33; /* -c33 */
166 star_comment_cont = 1; /* -sc */
167 ps.ind_size = 8; /* -i8 */
168 verbose = 0;
169 ps.decl_indent = 16; /* -di16 */
170 ps.local_decl_indent = -1; /* if this is not set to some nonnegative value
171 * by an arg, we will set this equal to
172 * ps.decl_ind */
173 ps.indent_parameters = 1; /* -ip */
174 ps.decl_com_ind = 0; /* if this is not set to some positive value
175 * by an arg, we will set this equal to
176 * ps.com_ind */
177 btype_2 = 1; /* -br */
178 cuddle_else = 1; /* -ce */
179 ps.unindent_displace = 0; /* -d0 */
180 ps.case_indent = 0; /* -cli0 */
181 format_block_comments = 1; /* -fcb */
182 format_col1_comments = 1; /* -fc1 */
183 procnames_start_line = 1; /* -psl */
184 proc_calls_space = 0; /* -npcs */
185 comment_delimiter_on_blankline = 1; /* -cdb */
186 ps.leave_comma = 1; /* -nbc */
187 #endif
188
189 for (i = 1; i < argc; ++i)
190 if (strcmp(argv[i], "-npro") == 0)
191 break;
192 set_defaults();
193 if (i >= argc)
194 set_profile();
195
196 for (i = 1; i < argc; ++i) {
197
198 /*
199 * look thru args (if any) for changes to defaults
200 */
201 if (argv[i][0] != '-') {/* no flag on parameter */
202 if (input == NULL) { /* we must have the input file */
203 in_name = argv[i]; /* remember name of input file */
204 input = fopen(in_name, "r");
205 if (input == NULL) /* check for open error */
206 err(1, "%s", in_name);
207 continue;
208 }
209 else if (output == NULL) { /* we have the output file */
210 out_name = argv[i]; /* remember name of output file */
211 if (strcmp(in_name, out_name) == 0) { /* attempt to overwrite
212 * the file */
213 errx(1, "input and output files must be different");
214 }
215 output = fopen(out_name, "w");
216 if (output == NULL) /* check for create error */
217 err(1, "%s", out_name);
218 continue;
219 }
220 errx(1, "unknown parameter: %s", argv[i]);
221 }
222 else
223 set_option(argv[i]);
224 } /* end of for */
225 if (input == NULL)
226 input = stdin;
227 if (output == NULL) {
228 if (troff || input == stdin)
229 output = stdout;
230 else {
231 out_name = in_name;
232 bakcopy();
233 }
234 }
235 if (ps.com_ind <= 1)
236 ps.com_ind = 2; /* dont put normal comments before column 2 */
237 if (troff) {
238 if (bodyf.font[0] == 0)
239 parsefont(&bodyf, "R");
240 if (scomf.font[0] == 0)
241 parsefont(&scomf, "I");
242 if (blkcomf.font[0] == 0)
243 blkcomf = scomf, blkcomf.size += 2;
244 if (boxcomf.font[0] == 0)
245 boxcomf = blkcomf;
246 if (stringf.font[0] == 0)
247 parsefont(&stringf, "L");
248 if (keywordf.font[0] == 0)
249 parsefont(&keywordf, "B");
250 writefdef(&bodyf, 'B');
251 writefdef(&scomf, 'C');
252 writefdef(&blkcomf, 'L');
253 writefdef(&boxcomf, 'X');
254 writefdef(&stringf, 'S');
255 writefdef(&keywordf, 'K');
256 }
257 if (block_comment_max_col <= 0)
258 block_comment_max_col = max_col;
259 if (ps.local_decl_indent < 0) /* if not specified by user, set this */
260 ps.local_decl_indent = ps.decl_indent;
261 if (ps.decl_com_ind <= 0) /* if not specified by user, set this */
262 ps.decl_com_ind = ps.ljust_decl ? (ps.com_ind <= 10 ? 2 : ps.com_ind - 8) : ps.com_ind;
263 if (continuation_indent == 0)
264 continuation_indent = ps.ind_size;
265 fill_buffer(); /* get first batch of stuff into input buffer */
266
267 parse(semicolon);
268 {
269 char *p = buf_ptr;
270 int col = 1;
271
272 while (1) {
273 if (*p == ' ')
274 col++;
275 else if (*p == '\t')
276 col = ((col - 1) & ~7) + 9;
277 else
278 break;
279 p++;
280 }
281 if (col > ps.ind_size)
282 ps.ind_level = ps.i_l_follow = col / ps.ind_size;
283 }
284 if (troff) {
285 const char *p = in_name,
286 *beg = in_name;
287
288 while (*p)
289 if (*p++ == '/')
290 beg = p;
291 fprintf(output, ".Fn \"%s\"\n", beg);
292 }
293 /*
294 * START OF MAIN LOOP
295 */
296
297 while (1) { /* this is the main loop. it will go until we
298 * reach eof */
299 int is_procname;
300
301 type_code = lexi(); /* lexi reads one token. The actual
302 * characters read are stored in "token". lexi
303 * returns a code indicating the type of token */
304 is_procname = ps.procname[0];
305
306 /*
307 * The following code moves everything following an if (), while (),
308 * else, etc. up to the start of the following stmt to a buffer. This
309 * allows proper handling of both kinds of brace placement.
310 */
311
312 flushed_nl = false;
313 while (ps.search_brace) { /* if we scanned an if(), while(),
314 * etc., we might need to copy stuff
315 * into a buffer we must loop, copying
316 * stuff into save_com, until we find
317 * the start of the stmt which follows
318 * the if, or whatever */
319 switch (type_code) {
320 case newline:
321 ++line_no;
322 flushed_nl = true;
323 case form_feed:
324 break; /* form feeds and newlines found here will be
325 * ignored */
326
327 case lbrace: /* this is a brace that starts the compound
328 * stmt */
329 if (sc_end == 0) { /* ignore buffering if a comment wasn't
330 * stored up */
331 ps.search_brace = false;
332 goto check_type;
333 }
334 if (btype_2) {
335 save_com[0] = '{'; /* we either want to put the brace
336 * right after the if */
337 goto sw_buffer; /* go to common code to get out of
338 * this loop */
339 }
340 case comment: /* we have a comment, so we must copy it into
341 * the buffer */
342 if (!flushed_nl || sc_end != 0) {
343 if (sc_end == 0) { /* if this is the first comment, we
344 * must set up the buffer */
345 save_com[0] = save_com[1] = ' ';
346 sc_end = &(save_com[2]);
347 }
348 else {
349 *sc_end++ = '\n'; /* add newline between
350 * comments */
351 *sc_end++ = ' ';
352 --line_no;
353 }
354 *sc_end++ = '/'; /* copy in start of comment */
355 *sc_end++ = '*';
356
357 for (;;) { /* loop until we get to the end of the comment */
358 *sc_end = *buf_ptr++;
359 if (buf_ptr >= buf_end)
360 fill_buffer();
361
362 if (*sc_end++ == '*' && *buf_ptr == '/')
363 break; /* we are at end of comment */
364
365 if (sc_end >= &(save_com[sc_size])) { /* check for temp buffer
366 * overflow */
367 diag2(1, "Internal buffer overflow - Move big comment from right after if, while, or whatever");
368 fflush(output);
369 exit(1);
370 }
371 }
372 *sc_end++ = '/'; /* add ending slash */
373 if (++buf_ptr >= buf_end) /* get past / in buffer */
374 fill_buffer();
375 break;
376 }
377 default: /* it is the start of a normal statement */
378 if (flushed_nl) /* if we flushed a newline, make sure it is
379 * put back */
380 force_nl = true;
381 if ((type_code == sp_paren && *token == 'i'
382 && last_else && ps.else_if)
383 || (type_code == sp_nparen && *token == 'e'
384 && e_code != s_code && e_code[-1] == '}'))
385 force_nl = false;
386
387 if (sc_end == 0) { /* ignore buffering if comment wasn't
388 * saved up */
389 ps.search_brace = false;
390 goto check_type;
391 }
392 if (force_nl) { /* if we should insert a nl here, put it into
393 * the buffer */
394 force_nl = false;
395 --line_no; /* this will be re-increased when the nl is
396 * read from the buffer */
397 *sc_end++ = '\n';
398 *sc_end++ = ' ';
399 if (verbose && !flushed_nl) /* print error msg if the line
400 * was not already broken */
401 diag2(0, "Line broken");
402 flushed_nl = false;
403 }
404 for (t_ptr = token; *t_ptr; ++t_ptr)
405 *sc_end++ = *t_ptr; /* copy token into temp buffer */
406 ps.procname[0] = 0;
407
408 sw_buffer:
409 ps.search_brace = false; /* stop looking for start of
410 * stmt */
411 bp_save = buf_ptr; /* save current input buffer */
412 be_save = buf_end;
413 buf_ptr = save_com; /* fix so that subsequent calls to
414 * lexi will take tokens out of
415 * save_com */
416 *sc_end++ = ' ';/* add trailing blank, just in case */
417 buf_end = sc_end;
418 sc_end = 0;
419 break;
420 } /* end of switch */
421 if (type_code != 0) /* we must make this check, just in case there
422 * was an unexpected EOF */
423 type_code = lexi(); /* read another token */
424 /* if (ps.search_brace) ps.procname[0] = 0; */
425 if ((is_procname = ps.procname[0]) && flushed_nl
426 && !procnames_start_line && ps.in_decl
427 && type_code == ident)
428 flushed_nl = 0;
429 } /* end of while (search_brace) */
430 last_else = 0;
431 check_type:
432 if (type_code == 0) { /* we got eof */
433 if (s_lab != e_lab || s_code != e_code
434 || s_com != e_com) /* must dump end of line */
435 dump_line();
436 if (ps.tos > 1) /* check for balanced braces */
437 diag2(1, "Stuff missing from end of file");
438
439 if (verbose) {
440 printf("There were %d output lines and %d comments\n",
441 ps.out_lines, ps.out_coms);
442 printf("(Lines with comments)/(Lines with code): %6.3f\n",
443 (1.0 * ps.com_lines) / code_lines);
444 }
445 fflush(output);
446 exit(found_err);
447 }
448 if (
449 (type_code != comment) &&
450 (type_code != newline) &&
451 (type_code != preesc) &&
452 (type_code != form_feed)) {
453 if (force_nl &&
454 (type_code != semicolon) &&
455 (type_code != lbrace || !btype_2)) {
456 /* we should force a broken line here */
457 if (verbose && !flushed_nl)
458 diag2(0, "Line broken");
459 flushed_nl = false;
460 dump_line();
461 ps.want_blank = false; /* dont insert blank at line start */
462 force_nl = false;
463 }
464 ps.in_stmt = true; /* turn on flag which causes an extra level of
465 * indentation. this is turned off by a ; or
466 * '}' */
467 if (s_com != e_com) { /* the turkey has embedded a comment
468 * in a line. fix it */
469 *e_code++ = ' ';
470 for (t_ptr = s_com; *t_ptr; ++t_ptr) {
471 CHECK_SIZE_CODE;
472 *e_code++ = *t_ptr;
473 }
474 *e_code++ = ' ';
475 *e_code = '\0'; /* null terminate code sect */
476 ps.want_blank = false;
477 e_com = s_com;
478 }
479 }
480 else if (type_code != comment) /* preserve force_nl thru a comment */
481 force_nl = false; /* cancel forced newline after newline, form
482 * feed, etc */
483
484
485
486 /*-----------------------------------------------------*\
487 | do switch on type of token scanned |
488 \*-----------------------------------------------------*/
489 CHECK_SIZE_CODE;
490 switch (type_code) { /* now, decide what to do with the token */
491
492 case form_feed: /* found a form feed in line */
493 ps.use_ff = true; /* a form feed is treated much like a newline */
494 dump_line();
495 ps.want_blank = false;
496 break;
497
498 case newline:
499 if (ps.last_token != comma || ps.p_l_follow > 0
500 || !ps.leave_comma || ps.block_init || !break_comma || s_com != e_com) {
501 dump_line();
502 ps.want_blank = false;
503 }
504 ++line_no; /* keep track of input line number */
505 break;
506
507 case lparen: /* got a '(' or '[' */
508 ++ps.p_l_follow; /* count parens to make Healy happy */
509 if (ps.want_blank && *token != '[' &&
510 (ps.last_token != ident || proc_calls_space
511 || (ps.its_a_keyword && (!ps.sizeof_keyword || Bill_Shannon))))
512 *e_code++ = ' ';
513 if (ps.in_decl && !ps.block_init)
514 if (troff && !ps.dumped_decl_indent && !is_procname && ps.last_token == decl) {
515 ps.dumped_decl_indent = 1;
516 sprintf(e_code, "\n.Du %dp+\200p \"%s\"\n", dec_ind * 7, token);
517 e_code += strlen(e_code);
518 }
519 else {
520 while ((e_code - s_code) < dec_ind) {
521 CHECK_SIZE_CODE;
522 *e_code++ = ' ';
523 }
524 *e_code++ = token[0];
525 }
526 else
527 *e_code++ = token[0];
528 ps.paren_indents[ps.p_l_follow - 1] = e_code - s_code;
529 if (sp_sw && ps.p_l_follow == 1 && extra_expression_indent
530 && ps.paren_indents[0] < 2 * ps.ind_size)
531 ps.paren_indents[0] = 2 * ps.ind_size;
532 ps.want_blank = false;
533 if (ps.in_or_st && *token == '(' && ps.tos <= 2) {
534 /*
535 * this is a kluge to make sure that declarations will be
536 * aligned right if proc decl has an explicit type on it, i.e.
537 * "int a(x) {..."
538 */
539 parse(semicolon); /* I said this was a kluge... */
540 ps.in_or_st = false; /* turn off flag for structure decl or
541 * initialization */
542 }
543 if (ps.sizeof_keyword)
544 ps.sizeof_mask |= 1 << ps.p_l_follow;
545 break;
546
547 case rparen: /* got a ')' or ']' */
548 rparen_count--;
549 if (ps.cast_mask & (1 << ps.p_l_follow) & ~ps.sizeof_mask) {
550 ps.last_u_d = true;
551 ps.cast_mask &= (1 << ps.p_l_follow) - 1;
552 ps.want_blank = false;
553 } else
554 ps.want_blank = true;
555 ps.sizeof_mask &= (1 << ps.p_l_follow) - 1;
556 if (--ps.p_l_follow < 0) {
557 ps.p_l_follow = 0;
558 diag3(0, "Extra %c", *token);
559 }
560 if (e_code == s_code) /* if the paren starts the line */
561 ps.paren_level = ps.p_l_follow; /* then indent it */
562
563 *e_code++ = token[0];
564
565 if (sp_sw && (ps.p_l_follow == 0)) { /* check for end of if
566 * (...), or some such */
567 sp_sw = false;
568 force_nl = true;/* must force newline after if */
569 ps.last_u_d = true; /* inform lexi that a following
570 * operator is unary */
571 ps.in_stmt = false; /* dont use stmt continuation
572 * indentation */
573
574 parse(hd_type); /* let parser worry about if, or whatever */
575 }
576 ps.search_brace = btype_2; /* this should insure that constructs
577 * such as main(){...} and int[]{...}
578 * have their braces put in the right
579 * place */
580 break;
581
582 case unary_op: /* this could be any unary operation */
583 if (ps.want_blank)
584 *e_code++ = ' ';
585
586 if (troff && !ps.dumped_decl_indent && ps.in_decl && !is_procname) {
587 sprintf(e_code, "\n.Du %dp+\200p \"%s\"\n", dec_ind * 7, token);
588 ps.dumped_decl_indent = 1;
589 e_code += strlen(e_code);
590 }
591 else {
592 const char *res = token;
593
594 if (ps.in_decl && !ps.block_init) { /* if this is a unary op
595 * in a declaration, we
596 * should indent this
597 * token */
598 for (i = 0; token[i]; ++i); /* find length of token */
599 while ((e_code - s_code) < (dec_ind - i)) {
600 CHECK_SIZE_CODE;
601 *e_code++ = ' '; /* pad it */
602 }
603 }
604 if (troff && token[0] == '-' && token[1] == '>')
605 res = "\\(->";
606 for (t_ptr = res; *t_ptr; ++t_ptr) {
607 CHECK_SIZE_CODE;
608 *e_code++ = *t_ptr;
609 }
610 }
611 ps.want_blank = false;
612 break;
613
614 case binary_op: /* any binary operation */
615 if (ps.want_blank)
616 *e_code++ = ' ';
617 {
618 const char *res = token;
619
620 if (troff)
621 switch (token[0]) {
622 case '<':
623 if (token[1] == '=')
624 res = "\\(<=";
625 break;
626 case '>':
627 if (token[1] == '=')
628 res = "\\(>=";
629 break;
630 case '!':
631 if (token[1] == '=')
632 res = "\\(!=";
633 break;
634 case '|':
635 if (token[1] == '|')
636 res = "\\(br\\(br";
637 else if (token[1] == 0)
638 res = "\\(br";
639 break;
640 }
641 for (t_ptr = res; *t_ptr; ++t_ptr) {
642 CHECK_SIZE_CODE;
643 *e_code++ = *t_ptr; /* move the operator */
644 }
645 }
646 ps.want_blank = true;
647 break;
648
649 case postop: /* got a trailing ++ or -- */
650 *e_code++ = token[0];
651 *e_code++ = token[1];
652 ps.want_blank = true;
653 break;
654
655 case question: /* got a ? */
656 squest++; /* this will be used when a later colon
657 * appears so we can distinguish the
658 * <c>?<n>:<n> construct */
659 if (ps.want_blank)
660 *e_code++ = ' ';
661 *e_code++ = '?';
662 ps.want_blank = true;
663 break;
664
665 case casestmt: /* got word 'case' or 'default' */
666 scase = true; /* so we can process the later colon properly */
667 goto copy_id;
668
669 case colon: /* got a ':' */
670 if (squest > 0) { /* it is part of the <c>?<n>: <n> construct */
671 --squest;
672 if (ps.want_blank)
673 *e_code++ = ' ';
674 *e_code++ = ':';
675 ps.want_blank = true;
676 break;
677 }
678 if (ps.in_or_st) {
679 *e_code++ = ':';
680 ps.want_blank = false;
681 break;
682 }
683 ps.in_stmt = false; /* seeing a label does not imply we are in a
684 * stmt */
685 for (t_ptr = s_code; *t_ptr; ++t_ptr)
686 *e_lab++ = *t_ptr; /* turn everything so far into a label */
687 e_code = s_code;
688 *e_lab++ = ':';
689 *e_lab++ = ' ';
690 *e_lab = '\0';
691
692 force_nl = ps.pcase = scase; /* ps.pcase will be used by
693 * dump_line to decide how to
694 * indent the label. force_nl
695 * will force a case n: to be
696 * on a line by itself */
697 scase = false;
698 ps.want_blank = false;
699 break;
700
701 case semicolon: /* got a ';' */
702 ps.in_or_st = false;/* we are not in an initialization or
703 * structure declaration */
704 scase = false; /* these will only need resetting in an error */
705 squest = 0;
706 if (ps.last_token == rparen && rparen_count == 0)
707 ps.in_parameter_declaration = 0;
708 ps.cast_mask = 0;
709 ps.sizeof_mask = 0;
710 ps.block_init = 0;
711 ps.block_init_level = 0;
712 ps.just_saw_decl--;
713
714 if (ps.in_decl && s_code == e_code && !ps.block_init)
715 while ((e_code - s_code) < (dec_ind - 1)) {
716 CHECK_SIZE_CODE;
717 *e_code++ = ' ';
718 }
719
720 ps.in_decl = (ps.dec_nest > 0); /* if we were in a first level
721 * structure declaration, we
722 * arent any more */
723
724 if ((!sp_sw || hd_type != forstmt) && ps.p_l_follow > 0) {
725
726 /*
727 * This should be true iff there were unbalanced parens in the
728 * stmt. It is a bit complicated, because the semicolon might
729 * be in a for stmt
730 */
731 diag2(1, "Unbalanced parens");
732 ps.p_l_follow = 0;
733 if (sp_sw) { /* this is a check for an if, while, etc. with
734 * unbalanced parens */
735 sp_sw = false;
736 parse(hd_type); /* dont lose the if, or whatever */
737 }
738 }
739 *e_code++ = ';';
740 ps.want_blank = true;
741 ps.in_stmt = (ps.p_l_follow > 0); /* we are no longer in the
742 * middle of a stmt */
743
744 if (!sp_sw) { /* if not if for (;;) */
745 parse(semicolon); /* let parser know about end of stmt */
746 force_nl = true;/* force newline after an end of stmt */
747 }
748 break;
749
750 case lbrace: /* got a '{' */
751 ps.in_stmt = false; /* dont indent the {} */
752 if (!ps.block_init)
753 force_nl = true;/* force other stuff on same line as '{' onto
754 * new line */
755 else if (ps.block_init_level <= 0)
756 ps.block_init_level = 1;
757 else
758 ps.block_init_level++;
759
760 if (s_code != e_code && !ps.block_init) {
761 if (!btype_2) {
762 dump_line();
763 ps.want_blank = false;
764 }
765 else if (ps.in_parameter_declaration && !ps.in_or_st) {
766 ps.i_l_follow = 0;
767 if (function_brace_split) { /* dump the line prior to the
768 * brace ... */
769 dump_line();
770 ps.want_blank = false;
771 } else /* add a space between the decl and brace */
772 ps.want_blank = true;
773 }
774 }
775 if (ps.in_parameter_declaration)
776 prefix_blankline_requested = 0;
777
778 if (ps.p_l_follow > 0) { /* check for preceding unbalanced
779 * parens */
780 diag2(1, "Unbalanced parens");
781 ps.p_l_follow = 0;
782 if (sp_sw) { /* check for unclosed if, for, etc. */
783 sp_sw = false;
784 parse(hd_type);
785 ps.ind_level = ps.i_l_follow;
786 }
787 }
788 if (s_code == e_code)
789 ps.ind_stmt = false; /* dont put extra indentation on line
790 * with '{' */
791 if (ps.in_decl && ps.in_or_st) { /* this is either a structure
792 * declaration or an init */
793 di_stack[ps.dec_nest++] = dec_ind;
794 /* ? dec_ind = 0; */
795 }
796 else {
797 ps.decl_on_line = false; /* we can't be in the middle of
798 * a declaration, so don't do
799 * special indentation of
800 * comments */
801 if (blanklines_after_declarations_at_proctop
802 && ps.in_parameter_declaration)
803 postfix_blankline_requested = 1;
804 ps.in_parameter_declaration = 0;
805 }
806 dec_ind = 0;
807 parse(lbrace); /* let parser know about this */
808 if (ps.want_blank) /* put a blank before '{' if '{' is not at
809 * start of line */
810 *e_code++ = ' ';
811 ps.want_blank = false;
812 *e_code++ = '{';
813 ps.just_saw_decl = 0;
814 break;
815
816 case rbrace: /* got a '}' */
817 if (ps.p_stack[ps.tos] == decl && !ps.block_init) /* semicolons can be
818 * omitted in
819 * declarations */
820 parse(semicolon);
821 if (ps.p_l_follow) {/* check for unclosed if, for, else. */
822 diag2(1, "Unbalanced parens");
823 ps.p_l_follow = 0;
824 sp_sw = false;
825 }
826 ps.just_saw_decl = 0;
827 ps.block_init_level--;
828 if (s_code != e_code && !ps.block_init) { /* '}' must be first on
829 * line */
830 if (verbose)
831 diag2(0, "Line broken");
832 dump_line();
833 }
834 *e_code++ = '}';
835 ps.want_blank = true;
836 ps.in_stmt = ps.ind_stmt = false;
837 if (ps.dec_nest > 0) { /* we are in multi-level structure
838 * declaration */
839 dec_ind = di_stack[--ps.dec_nest];
840 if (ps.dec_nest == 0 && !ps.in_parameter_declaration)
841 ps.just_saw_decl = 2;
842 ps.in_decl = true;
843 }
844 prefix_blankline_requested = 0;
845 parse(rbrace); /* let parser know about this */
846 ps.search_brace = cuddle_else && ps.p_stack[ps.tos] == ifhead
847 && ps.il[ps.tos] >= ps.ind_level;
848 if (ps.tos <= 1 && blanklines_after_procs && ps.dec_nest <= 0)
849 postfix_blankline_requested = 1;
850 break;
851
852 case swstmt: /* got keyword "switch" */
853 sp_sw = true;
854 hd_type = swstmt; /* keep this for when we have seen the
855 * expression */
856 goto copy_id; /* go move the token into buffer */
857
858 case sp_paren: /* token is if, while, for */
859 sp_sw = true; /* the interesting stuff is done after the
860 * expression is scanned */
861 hd_type = (*token == 'i' ? ifstmt :
862 (*token == 'w' ? whilestmt : forstmt));
863
864 /*
865 * remember the type of header for later use by parser
866 */
867 goto copy_id; /* copy the token into line */
868
869 case sp_nparen: /* got else, do */
870 ps.in_stmt = false;
871 if (*token == 'e') {
872 if (e_code != s_code && (!cuddle_else || e_code[-1] != '}')) {
873 if (verbose)
874 diag2(0, "Line broken");
875 dump_line();/* make sure this starts a line */
876 ps.want_blank = false;
877 }
878 force_nl = true;/* also, following stuff must go onto new line */
879 last_else = 1;
880 parse(elselit);
881 }
882 else {
883 if (e_code != s_code) { /* make sure this starts a line */
884 if (verbose)
885 diag2(0, "Line broken");
886 dump_line();
887 ps.want_blank = false;
888 }
889 force_nl = true;/* also, following stuff must go onto new line */
890 last_else = 0;
891 parse(dolit);
892 }
893 goto copy_id; /* move the token into line */
894
895 case decl: /* we have a declaration type (int, register,
896 * etc.) */
897 parse(decl); /* let parser worry about indentation */
898 if (ps.last_token == rparen && ps.tos <= 1) {
899 ps.in_parameter_declaration = 1;
900 if (s_code != e_code) {
901 dump_line();
902 ps.want_blank = 0;
903 }
904 }
905 if (ps.in_parameter_declaration && ps.indent_parameters && ps.dec_nest == 0) {
906 ps.ind_level = ps.i_l_follow = 1;
907 ps.ind_stmt = 0;
908 }
909 ps.in_or_st = true; /* this might be a structure or initialization
910 * declaration */
911 ps.in_decl = ps.decl_on_line = true;
912 if ( /* !ps.in_or_st && */ ps.dec_nest <= 0)
913 ps.just_saw_decl = 2;
914 prefix_blankline_requested = 0;
915 for (i = 0; token[i++];); /* get length of token */
916
917 if (ps.ind_level == 0 || ps.dec_nest > 0) {
918 /* global variable or struct member in local variable */
919 dec_ind = ps.decl_indent > 0 ? ps.decl_indent : i;
920 tabs_to_var = (use_tabs ? ps.decl_indent > 0 : 0);
921 } else {
922 /* local variable */
923 dec_ind = ps.local_decl_indent > 0 ? ps.local_decl_indent : i;
924 tabs_to_var = (use_tabs ? ps.local_decl_indent > 0 : 0);
925 }
926 goto copy_id;
927
928 case ident: /* got an identifier or constant */
929 if (ps.in_decl) { /* if we are in a declaration, we must indent
930 * identifier */
931 if (is_procname == 0 || !procnames_start_line) {
932 if (!ps.block_init) {
933 if (troff && !ps.dumped_decl_indent) {
934 if (ps.want_blank)
935 *e_code++ = ' ';
936 ps.want_blank = false;
937 sprintf(e_code, "\n.De %dp+\200p\n", dec_ind * 7);
938 ps.dumped_decl_indent = 1;
939 e_code += strlen(e_code);
940 } else {
941 int cur_dec_ind;
942 int pos, startpos;
943
944 /*
945 * in order to get the tab math right for
946 * indentations that are not multiples of 8 we
947 * need to modify both startpos and dec_ind
948 * (cur_dec_ind) here by eight minus the
949 * remainder of the current starting column
950 * divided by eight. This seems to be a
951 * properly working fix
952 */
953 startpos = e_code - s_code;
954 cur_dec_ind = dec_ind;
955 pos = startpos;
956 if ((ps.ind_level * ps.ind_size) % 8 != 0) {
957 pos += (ps.ind_level * ps.ind_size) % 8;
958 cur_dec_ind += (ps.ind_level * ps.ind_size) % 8;
959 }
960
961 if (tabs_to_var) {
962 while ((pos & ~7) + 8 <= cur_dec_ind) {
963 CHECK_SIZE_CODE;
964 *e_code++ = '\t';
965 pos = (pos & ~7) + 8;
966 }
967 }
968 while (pos < cur_dec_ind) {
969 CHECK_SIZE_CODE;
970 *e_code++ = ' ';
971 pos++;
972 }
973 if (ps.want_blank && e_code - s_code == startpos)
974 *e_code++ = ' ';
975 ps.want_blank = false;
976 }
977 }
978 } else {
979 if (ps.want_blank)
980 *e_code++ = ' ';
981 ps.want_blank = false;
982 if (dec_ind && s_code != e_code) {
983 *e_code = '\0';
984 dump_line();
985 }
986 dec_ind = 0;
987 }
988 }
989 else if (sp_sw && ps.p_l_follow == 0) {
990 sp_sw = false;
991 force_nl = true;
992 ps.last_u_d = true;
993 ps.in_stmt = false;
994 parse(hd_type);
995 }
996 copy_id:
997 if (ps.want_blank)
998 *e_code++ = ' ';
999 if (troff && ps.its_a_keyword) {
1000 e_code = chfont(&bodyf, &keywordf, e_code);
1001 for (t_ptr = token; *t_ptr; ++t_ptr) {
1002 CHECK_SIZE_CODE;
1003 *e_code++ = keywordf.allcaps && islower(*t_ptr)
1004 ? toupper(*t_ptr) : *t_ptr;
1005 }
1006 e_code = chfont(&keywordf, &bodyf, e_code);
1007 }
1008 else
1009 for (t_ptr = token; *t_ptr; ++t_ptr) {
1010 CHECK_SIZE_CODE;
1011 *e_code++ = *t_ptr;
1012 }
1013 ps.want_blank = true;
1014 break;
1015
1016 case period: /* treat a period kind of like a binary
1017 * operation */
1018 *e_code++ = '.'; /* move the period into line */
1019 ps.want_blank = false; /* dont put a blank after a period */
1020 break;
1021
1022 case comma:
1023 ps.want_blank = (s_code != e_code); /* only put blank after comma
1024 * if comma does not start the
1025 * line */
1026 if (ps.in_decl && is_procname == 0 && !ps.block_init)
1027 while ((e_code - s_code) < (dec_ind - 1)) {
1028 CHECK_SIZE_CODE;
1029 *e_code++ = ' ';
1030 }
1031
1032 *e_code++ = ',';
1033 if (ps.p_l_follow == 0) {
1034 if (ps.block_init_level <= 0)
1035 ps.block_init = 0;
1036 if (break_comma && (!ps.leave_comma || compute_code_target() + (e_code - s_code) > max_col - 8))
1037 force_nl = true;
1038 }
1039 break;
1040
1041 case preesc: /* got the character '#' */
1042 if ((s_com != e_com) ||
1043 (s_lab != e_lab) ||
1044 (s_code != e_code))
1045 dump_line();
1046 *e_lab++ = '#'; /* move whole line to 'label' buffer */
1047 {
1048 int in_comment = 0;
1049 int com_start = 0;
1050 char quote = 0;
1051 int com_end = 0;
1052
1053 while (*buf_ptr == ' ' || *buf_ptr == '\t') {
1054 buf_ptr++;
1055 if (buf_ptr >= buf_end)
1056 fill_buffer();
1057 }
1058 while (*buf_ptr != '\n' || (in_comment && !had_eof)) {
1059 CHECK_SIZE_LAB;
1060 *e_lab = *buf_ptr++;
1061 if (buf_ptr >= buf_end)
1062 fill_buffer();
1063 switch (*e_lab++) {
1064 case BACKSLASH:
1065 if (troff)
1066 *e_lab++ = BACKSLASH;
1067 if (!in_comment) {
1068 *e_lab++ = *buf_ptr++;
1069 if (buf_ptr >= buf_end)
1070 fill_buffer();
1071 }
1072 break;
1073 case '/':
1074 if (*buf_ptr == '*' && !in_comment && !quote) {
1075 in_comment = 1;
1076 *e_lab++ = *buf_ptr++;
1077 com_start = e_lab - s_lab - 2;
1078 }
1079 break;
1080 case '"':
1081 if (quote == '"')
1082 quote = 0;
1083 break;
1084 case '\'':
1085 if (quote == '\'')
1086 quote = 0;
1087 break;
1088 case '*':
1089 if (*buf_ptr == '/' && in_comment) {
1090 in_comment = 0;
1091 *e_lab++ = *buf_ptr++;
1092 com_end = e_lab - s_lab;
1093 }
1094 break;
1095 }
1096 }
1097
1098 while (e_lab > s_lab && (e_lab[-1] == ' ' || e_lab[-1] == '\t'))
1099 e_lab--;
1100 if (e_lab - s_lab == com_end && bp_save == 0) { /* comment on
1101 * preprocessor line */
1102 if (sc_end == 0) /* if this is the first comment, we
1103 * must set up the buffer */
1104 sc_end = &(save_com[0]);
1105 else {
1106 *sc_end++ = '\n'; /* add newline between
1107 * comments */
1108 *sc_end++ = ' ';
1109 --line_no;
1110 }
1111 bcopy(s_lab + com_start, sc_end, com_end - com_start);
1112 sc_end += com_end - com_start;
1113 if (sc_end >= &save_com[sc_size])
1114 abort();
1115 e_lab = s_lab + com_start;
1116 while (e_lab > s_lab && (e_lab[-1] == ' ' || e_lab[-1] == '\t'))
1117 e_lab--;
1118 bp_save = buf_ptr; /* save current input buffer */
1119 be_save = buf_end;
1120 buf_ptr = save_com; /* fix so that subsequent calls to
1121 * lexi will take tokens out of
1122 * save_com */
1123 *sc_end++ = ' '; /* add trailing blank, just in case */
1124 buf_end = sc_end;
1125 sc_end = 0;
1126 }
1127 *e_lab = '\0'; /* null terminate line */
1128 ps.pcase = false;
1129 }
1130
1131 if (strncmp(s_lab, "#if", 3) == 0) {
1132 if (blanklines_around_conditional_compilation) {
1133 int c;
1134 prefix_blankline_requested++;
1135 while ((c = getc(input)) == '\n');
1136 ungetc(c, input);
1137 }
1138 if ((size_t)ifdef_level < sizeof(state_stack)/sizeof(state_stack[0])) {
1139 match_state[ifdef_level].tos = -1;
1140 state_stack[ifdef_level++] = ps;
1141 }
1142 else
1143 diag2(1, "#if stack overflow");
1144 }
1145 else if (strncmp(s_lab, "#else", 5) == 0)
1146 if (ifdef_level <= 0)
1147 diag2(1, "Unmatched #else");
1148 else {
1149 match_state[ifdef_level - 1] = ps;
1150 ps = state_stack[ifdef_level - 1];
1151 }
1152 else if (strncmp(s_lab, "#endif", 6) == 0) {
1153 if (ifdef_level <= 0)
1154 diag2(1, "Unmatched #endif");
1155 else {
1156 ifdef_level--;
1157
1158 #ifdef undef
1159 /*
1160 * This match needs to be more intelligent before the
1161 * message is useful
1162 */
1163 if (match_state[ifdef_level].tos >= 0
1164 && bcmp(&ps, &match_state[ifdef_level], sizeof ps))
1165 diag2(0, "Syntactically inconsistent #ifdef alternatives");
1166 #endif
1167 }
1168 if (blanklines_around_conditional_compilation) {
1169 postfix_blankline_requested++;
1170 n_real_blanklines = 0;
1171 }
1172 }
1173 break; /* subsequent processing of the newline
1174 * character will cause the line to be printed */
1175
1176 case comment: /* we have gotten a / followed by * this is a biggie */
1177 if (flushed_nl) { /* we should force a broken line here */
1178 flushed_nl = false;
1179 dump_line();
1180 ps.want_blank = false; /* dont insert blank at line start */
1181 force_nl = false;
1182 }
1183 pr_comment();
1184 break;
1185 } /* end of big switch stmt */
1186
1187 *e_code = '\0'; /* make sure code section is null terminated */
1188 if (type_code != comment && type_code != newline && type_code != preesc)
1189 ps.last_token = type_code;
1190 } /* end of main while (1) loop */
1191 }
1192
1193 /*
1194 * copy input file to backup file if in_name is /blah/blah/blah/file, then
1195 * backup file will be ".Bfile" then make the backup file the input and
1196 * original input file the output
1197 */
1198 static void
1199 bakcopy(void)
1200 {
1201 int n,
1202 bakchn;
1203 char buff[8 * 1024];
1204 const char *p;
1205
1206 /* construct file name .Bfile */
1207 for (p = in_name; *p; p++); /* skip to end of string */
1208 while (p > in_name && *p != '/') /* find last '/' */
1209 p--;
1210 if (*p == '/')
1211 p++;
1212 sprintf(bakfile, "%s.BAK", p);
1213
1214 /* copy in_name to backup file */
1215 bakchn = creat(bakfile, 0600);
1216 if (bakchn < 0)
1217 err(1, "%s", bakfile);
1218 while ((n = read(fileno(input), buff, sizeof(buff))) > 0)
1219 if (write(bakchn, buff, n) != n)
1220 err(1, "%s", bakfile);
1221 if (n < 0)
1222 err(1, "%s", in_name);
1223 close(bakchn);
1224 fclose(input);
1225
1226 /* re-open backup file as the input file */
1227 input = fopen(bakfile, "r");
1228 if (input == NULL)
1229 err(1, "%s", bakfile);
1230 /* now the original input file will be the output */
1231 output = fopen(in_name, "w");
1232 if (output == NULL) {
1233 unlink(bakfile);
1234 err(1, "%s", in_name);
1235 }
1236 }
FreeBSD src