Home | History | Annotate | Line # | Download | only in indent
indent.c revision 1.65
      1  1.65  rillig /*	$NetBSD: indent.c,v 1.65 2021/09/25 07:55:24 rillig Exp $	*/
      2   1.4     tls 
      3  1.25   kamil /*-
      4  1.25   kamil  * SPDX-License-Identifier: BSD-4-Clause
      5  1.25   kamil  *
      6  1.25   kamil  * Copyright (c) 1985 Sun Microsystems, Inc.
      7  1.25   kamil  * Copyright (c) 1976 Board of Trustees of the University of Illinois.
      8   1.5     mrg  * Copyright (c) 1980, 1993
      9   1.5     mrg  *	The Regents of the University of California.  All rights reserved.
     10  1.15     agc  *
     11  1.15     agc  * Redistribution and use in source and binary forms, with or without
     12  1.15     agc  * modification, are permitted provided that the following conditions
     13  1.15     agc  * are met:
     14  1.15     agc  * 1. Redistributions of source code must retain the above copyright
     15  1.15     agc  *    notice, this list of conditions and the following disclaimer.
     16  1.15     agc  * 2. Redistributions in binary form must reproduce the above copyright
     17  1.15     agc  *    notice, this list of conditions and the following disclaimer in the
     18  1.15     agc  *    documentation and/or other materials provided with the distribution.
     19   1.1     cgd  * 3. All advertising materials mentioning features or use of this software
     20   1.1     cgd  *    must display the following acknowledgement:
     21   1.1     cgd  *	This product includes software developed by the University of
     22   1.1     cgd  *	California, Berkeley and its contributors.
     23   1.1     cgd  * 4. Neither the name of the University nor the names of its contributors
     24   1.1     cgd  *    may be used to endorse or promote products derived from this software
     25   1.1     cgd  *    without specific prior written permission.
     26   1.1     cgd  *
     27   1.1     cgd  * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
     28   1.1     cgd  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
     29   1.1     cgd  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
     30   1.1     cgd  * ARE DISCLAIMED.  IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
     31   1.1     cgd  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
     32   1.1     cgd  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
     33   1.1     cgd  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
     34   1.1     cgd  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
     35   1.1     cgd  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
     36   1.1     cgd  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
     37   1.1     cgd  * SUCH DAMAGE.
     38   1.1     cgd  */
     39   1.1     cgd 
     40  1.25   kamil #if 0
     41   1.1     cgd #ifndef lint
     42  1.25   kamil static char sccsid[] = "@(#)indent.c	5.17 (Berkeley) 6/7/93";
     43  1.25   kamil #endif /* not lint */
     44  1.25   kamil #endif
     45   1.1     cgd 
     46  1.25   kamil #include <sys/cdefs.h>
     47   1.1     cgd #ifndef lint
     48  1.25   kamil #if defined(__NetBSD__)
     49  1.65  rillig __RCSID("$NetBSD: indent.c,v 1.65 2021/09/25 07:55:24 rillig Exp $");
     50  1.25   kamil #elif defined(__FreeBSD__)
     51  1.25   kamil __FBSDID("$FreeBSD: head/usr.bin/indent/indent.c 340138 2018-11-04 19:24:49Z oshogbo $");
     52  1.25   kamil #endif
     53   1.5     mrg #endif
     54   1.1     cgd 
     55   1.1     cgd #include <sys/param.h>
     56  1.25   kamil #if HAVE_CAPSICUM
     57  1.25   kamil #include <sys/capsicum.h>
     58  1.25   kamil #include <capsicum_helpers.h>
     59  1.25   kamil #endif
     60   1.6   lukem #include <err.h>
     61   1.6   lukem #include <errno.h>
     62   1.1     cgd #include <fcntl.h>
     63  1.25   kamil #include <unistd.h>
     64   1.1     cgd #include <stdio.h>
     65   1.1     cgd #include <stdlib.h>
     66   1.1     cgd #include <string.h>
     67  1.25   kamil #include <ctype.h>
     68  1.29  rillig 
     69  1.25   kamil #include "indent.h"
     70  1.25   kamil 
     71  1.27   joerg struct options opt;
     72  1.27   joerg struct parser_state ps;
     73  1.27   joerg 
     74  1.63  rillig struct buffer lab;
     75  1.65  rillig struct buffer code;
     76  1.63  rillig struct buffer com;
     77  1.27   joerg 
     78  1.27   joerg char       *tokenbuf;
     79  1.27   joerg char	   *s_token;
     80  1.27   joerg char       *e_token;
     81  1.27   joerg char	   *l_token;
     82  1.27   joerg 
     83  1.27   joerg char       *in_buffer;
     84  1.27   joerg char	   *in_buffer_limit;
     85  1.27   joerg char       *buf_ptr;
     86  1.27   joerg char       *buf_end;
     87  1.27   joerg 
     88  1.27   joerg char        sc_buf[sc_size];
     89  1.27   joerg char       *save_com;
     90  1.27   joerg char       *sc_end;
     91  1.27   joerg 
     92  1.27   joerg char       *bp_save;
     93  1.27   joerg char       *be_save;
     94  1.27   joerg 
     95  1.27   joerg int         found_err;
     96  1.27   joerg int         n_real_blanklines;
     97  1.27   joerg int         prefix_blankline_requested;
     98  1.27   joerg int         postfix_blankline_requested;
     99  1.27   joerg int         break_comma;
    100  1.27   joerg float       case_ind;
    101  1.27   joerg int         code_lines;
    102  1.27   joerg int         had_eof;
    103  1.27   joerg int         line_no;
    104  1.27   joerg int         inhibit_formatting;
    105  1.27   joerg int         suppress_blanklines;
    106  1.27   joerg 
    107  1.27   joerg int         ifdef_level;
    108  1.27   joerg struct parser_state state_stack[5];
    109  1.27   joerg struct parser_state match_state[5];
    110  1.27   joerg 
    111  1.27   joerg FILE       *input;
    112  1.27   joerg FILE       *output;
    113  1.27   joerg 
    114  1.25   kamil static void bakcopy(void);
    115  1.25   kamil static void indent_declaration(int, int);
    116   1.1     cgd 
    117  1.25   kamil const char *in_name = "Standard Input";	/* will always point to name of input
    118  1.25   kamil 					 * file */
    119  1.25   kamil const char *out_name = "Standard Output";	/* will always point to name
    120  1.25   kamil 						 * of output file */
    121  1.25   kamil const char *simple_backup_suffix = ".BAK";	/* Suffix to use for backup
    122  1.25   kamil 						 * files */
    123  1.25   kamil char        bakfile[MAXPATHLEN] = "";
    124   1.1     cgd 
    125  1.34  rillig static void
    126  1.34  rillig check_size_code(size_t desired_size)
    127  1.34  rillig {
    128  1.65  rillig     if (code.e + desired_size < code.l)
    129  1.43  rillig         return;
    130  1.43  rillig 
    131  1.65  rillig     size_t nsize = code.l - code.s + 400 + desired_size;
    132  1.65  rillig     size_t code_len = code.e - code.s;
    133  1.65  rillig     code.buf = realloc(code.buf, nsize);
    134  1.65  rillig     if (code.buf == NULL)
    135  1.43  rillig 	err(1, NULL);
    136  1.65  rillig     code.e = code.buf + code_len + 1;
    137  1.65  rillig     code.l = code.buf + nsize - 5;
    138  1.65  rillig     code.s = code.buf + 1;
    139  1.34  rillig }
    140  1.34  rillig 
    141  1.34  rillig static void
    142  1.34  rillig check_size_label(size_t desired_size)
    143  1.34  rillig {
    144  1.63  rillig     if (lab.e + (desired_size) < lab.l)
    145  1.43  rillig         return;
    146  1.43  rillig 
    147  1.63  rillig     size_t nsize = lab.l - lab.s + 400 + desired_size;
    148  1.63  rillig     size_t label_len = lab.e - lab.s;
    149  1.63  rillig     lab.buf = realloc(lab.buf, nsize);
    150  1.63  rillig     if (lab.buf == NULL)
    151  1.43  rillig 	err(1, NULL);
    152  1.63  rillig     lab.e = lab.buf + label_len + 1;
    153  1.63  rillig     lab.l = lab.buf + nsize - 5;
    154  1.63  rillig     lab.s = lab.buf + 1;
    155  1.34  rillig }
    156  1.34  rillig 
    157  1.40  rillig #if HAVE_CAPSICUM
    158  1.40  rillig static void
    159  1.40  rillig init_capsicum(void)
    160   1.1     cgd {
    161  1.25   kamil     cap_rights_t rights;
    162  1.40  rillig 
    163  1.40  rillig     /* Restrict input/output descriptors and enter Capsicum sandbox. */
    164  1.40  rillig     cap_rights_init(&rights, CAP_FSTAT, CAP_WRITE);
    165  1.40  rillig     if (caph_rights_limit(fileno(output), &rights) < 0)
    166  1.40  rillig 	err(EXIT_FAILURE, "unable to limit rights for %s", out_name);
    167  1.40  rillig     cap_rights_init(&rights, CAP_FSTAT, CAP_READ);
    168  1.40  rillig     if (caph_rights_limit(fileno(input), &rights) < 0)
    169  1.40  rillig 	err(EXIT_FAILURE, "unable to limit rights for %s", in_name);
    170  1.40  rillig     if (caph_enter() < 0)
    171  1.40  rillig 	err(EXIT_FAILURE, "unable to enter capability mode");
    172  1.40  rillig }
    173  1.41  rillig #endif
    174  1.41  rillig 
    175  1.41  rillig static void
    176  1.64  rillig search_brace(token_type *inout_ttype, int *inout_force_nl,
    177  1.41  rillig 	     int *inout_comment_buffered, int *inout_last_else)
    178  1.41  rillig {
    179  1.41  rillig     while (ps.search_brace) {
    180  1.64  rillig 	switch (*inout_ttype) {
    181  1.41  rillig 	case newline:
    182  1.41  rillig 	    if (sc_end == NULL) {
    183  1.41  rillig 		save_com = sc_buf;
    184  1.41  rillig 		save_com[0] = save_com[1] = ' ';
    185  1.41  rillig 		sc_end = &save_com[2];
    186  1.41  rillig 	    }
    187  1.41  rillig 	    *sc_end++ = '\n';
    188  1.41  rillig 	    /*
    189  1.41  rillig 	     * We may have inherited a force_nl == true from the previous
    190  1.41  rillig 	     * token (like a semicolon). But once we know that a newline
    191  1.41  rillig 	     * has been scanned in this loop, force_nl should be false.
    192  1.41  rillig 	     *
    193  1.41  rillig 	     * However, the force_nl == true must be preserved if newline
    194  1.41  rillig 	     * is never scanned in this loop, so this assignment cannot be
    195  1.41  rillig 	     * done earlier.
    196  1.41  rillig 	     */
    197  1.41  rillig 	    *inout_force_nl = false;
    198  1.59  rillig 	    break;
    199  1.41  rillig 	case form_feed:
    200  1.41  rillig 	    break;
    201  1.41  rillig 	case comment:
    202  1.41  rillig 	    if (sc_end == NULL) {
    203  1.41  rillig 		/*
    204  1.41  rillig 		 * Copy everything from the start of the line, because
    205  1.56  rillig 		 * process_comment() will use that to calculate original
    206  1.41  rillig 		 * indentation of a boxed comment.
    207  1.41  rillig 		 */
    208  1.59  rillig 		memcpy(sc_buf, in_buffer, (size_t)(buf_ptr - in_buffer) - 4);
    209  1.41  rillig 		save_com = sc_buf + (buf_ptr - in_buffer - 4);
    210  1.41  rillig 		save_com[0] = save_com[1] = ' ';
    211  1.41  rillig 		sc_end = &save_com[2];
    212  1.41  rillig 	    }
    213  1.41  rillig 	    *inout_comment_buffered = true;
    214  1.41  rillig 	    *sc_end++ = '/';	/* copy in start of comment */
    215  1.41  rillig 	    *sc_end++ = '*';
    216  1.41  rillig 	    for (;;) {		/* loop until the end of the comment */
    217  1.41  rillig 		*sc_end = *buf_ptr++;
    218  1.41  rillig 		if (buf_ptr >= buf_end)
    219  1.41  rillig 		    fill_buffer();
    220  1.41  rillig 		if (*sc_end++ == '*' && *buf_ptr == '/')
    221  1.41  rillig 		    break;	/* we are at end of comment */
    222  1.41  rillig 		if (sc_end >= &save_com[sc_size]) {	/* check for temp buffer
    223  1.41  rillig 							 * overflow */
    224  1.41  rillig 		    diag(1, "Internal buffer overflow - Move big comment from right after if, while, or whatever");
    225  1.41  rillig 		    fflush(output);
    226  1.41  rillig 		    exit(1);
    227  1.41  rillig 		}
    228  1.41  rillig 	    }
    229  1.41  rillig 	    *sc_end++ = '/';	/* add ending slash */
    230  1.41  rillig 	    if (++buf_ptr >= buf_end)	/* get past / in buffer */
    231  1.41  rillig 		fill_buffer();
    232  1.41  rillig 	    break;
    233  1.41  rillig 	case lbrace:
    234  1.41  rillig 	    /*
    235  1.41  rillig 	     * Put KNF-style lbraces before the buffered up tokens and
    236  1.41  rillig 	     * jump out of this loop in order to avoid copying the token
    237  1.41  rillig 	     * again under the default case of the switch below.
    238  1.41  rillig 	     */
    239  1.41  rillig 	    if (sc_end != NULL && opt.btype_2) {
    240  1.41  rillig 		save_com[0] = '{';
    241  1.41  rillig 		/*
    242  1.41  rillig 		 * Originally the lbrace may have been alone on its own
    243  1.41  rillig 		 * line, but it will be moved into "the else's line", so
    244  1.41  rillig 		 * if there was a newline resulting from the "{" before,
    245  1.41  rillig 		 * it must be scanned now and ignored.
    246  1.41  rillig 		 */
    247  1.41  rillig 		while (isspace((unsigned char)*buf_ptr)) {
    248  1.41  rillig 		    if (++buf_ptr >= buf_end)
    249  1.41  rillig 			fill_buffer();
    250  1.41  rillig 		    if (*buf_ptr == '\n')
    251  1.41  rillig 			break;
    252  1.41  rillig 		}
    253  1.41  rillig 		goto sw_buffer;
    254  1.41  rillig 	    }
    255  1.41  rillig 	    /* FALLTHROUGH */
    256  1.41  rillig 	default:		/* it is the start of a normal statement */
    257  1.41  rillig 	{
    258  1.41  rillig 	    int remove_newlines;
    259  1.41  rillig 
    260  1.41  rillig 	    remove_newlines =
    261  1.41  rillig 		    /* "} else" */
    262  1.64  rillig 		    (*inout_ttype == keyword_do_else && *token == 'e' &&
    263  1.65  rillig 		     code.e != code.s && code.e[-1] == '}')
    264  1.41  rillig 		    /* "else if" */
    265  1.64  rillig 		    || (*inout_ttype == keyword_for_if_while &&
    266  1.41  rillig 			*token == 'i' && *inout_last_else && opt.else_if);
    267  1.41  rillig 	    if (remove_newlines)
    268  1.41  rillig 		*inout_force_nl = false;
    269  1.41  rillig 	    if (sc_end == NULL) {	/* ignore buffering if
    270  1.41  rillig 					 * comment wasn't saved up */
    271  1.41  rillig 		ps.search_brace = false;
    272  1.41  rillig 		return;
    273  1.41  rillig 	    }
    274  1.41  rillig 	    while (sc_end > save_com && isblank((unsigned char)sc_end[-1])) {
    275  1.41  rillig 		sc_end--;
    276  1.41  rillig 	    }
    277  1.41  rillig 	    if (opt.swallow_optional_blanklines ||
    278  1.41  rillig 		(!*inout_comment_buffered && remove_newlines)) {
    279  1.41  rillig 		*inout_force_nl = !remove_newlines;
    280  1.41  rillig 		while (sc_end > save_com && sc_end[-1] == '\n') {
    281  1.41  rillig 		    sc_end--;
    282  1.41  rillig 		}
    283  1.41  rillig 	    }
    284  1.41  rillig 	    if (*inout_force_nl) {	/* if we should insert a nl here, put
    285  1.41  rillig 					 * it into the buffer */
    286  1.41  rillig 		*inout_force_nl = false;
    287  1.41  rillig 		--line_no;	/* this will be re-increased when the
    288  1.41  rillig 				 * newline is read from the buffer */
    289  1.41  rillig 		*sc_end++ = '\n';
    290  1.41  rillig 		*sc_end++ = ' ';
    291  1.41  rillig 		if (opt.verbose) /* print error msg if the line was
    292  1.41  rillig 				 * not already broken */
    293  1.41  rillig 		    diag(0, "Line broken");
    294  1.41  rillig 	    }
    295  1.41  rillig 	    for (const char *t_ptr = token; *t_ptr; ++t_ptr)
    296  1.41  rillig 		*sc_end++ = *t_ptr;
    297  1.41  rillig 
    298  1.41  rillig 	    sw_buffer:
    299  1.41  rillig 	    ps.search_brace = false;	/* stop looking for start of stmt */
    300  1.41  rillig 	    bp_save = buf_ptr;	/* save current input buffer */
    301  1.41  rillig 	    be_save = buf_end;
    302  1.41  rillig 	    buf_ptr = save_com;	/* fix so that subsequent calls to
    303  1.41  rillig 				 * lexi will take tokens out of save_com */
    304  1.41  rillig 	    *sc_end++ = ' ';	/* add trailing blank, just in case */
    305  1.41  rillig 	    buf_end = sc_end;
    306  1.41  rillig 	    sc_end = NULL;
    307  1.58  rillig 	    debug_println("switched buf_ptr to save_com");
    308  1.41  rillig 	    break;
    309  1.41  rillig 	}
    310  1.41  rillig 	}			/* end of switch */
    311  1.41  rillig 	/*
    312  1.41  rillig 	 * We must make this check, just in case there was an unexpected
    313  1.41  rillig 	 * EOF.
    314  1.41  rillig 	 */
    315  1.64  rillig 	if (*inout_ttype != end_of_file) {
    316  1.41  rillig 	    /*
    317  1.41  rillig 	     * The only intended purpose of calling lexi() below is to
    318  1.41  rillig 	     * categorize the next token in order to decide whether to
    319  1.41  rillig 	     * continue buffering forthcoming tokens. Once the buffering
    320  1.41  rillig 	     * is over, lexi() will be called again elsewhere on all of
    321  1.41  rillig 	     * the tokens - this time for normal processing.
    322  1.41  rillig 	     *
    323  1.41  rillig 	     * Calling it for this purpose is a bug, because lexi() also
    324  1.41  rillig 	     * changes the parser state and discards leading whitespace,
    325  1.41  rillig 	     * which is needed mostly for comment-related considerations.
    326  1.41  rillig 	     *
    327  1.41  rillig 	     * Work around the former problem by giving lexi() a copy of
    328  1.41  rillig 	     * the current parser state and discard it if the call turned
    329  1.41  rillig 	     * out to be just a look ahead.
    330  1.41  rillig 	     *
    331  1.41  rillig 	     * Work around the latter problem by copying all whitespace
    332  1.41  rillig 	     * characters into the buffer so that the later lexi() call
    333  1.41  rillig 	     * will read them.
    334  1.41  rillig 	     */
    335  1.41  rillig 	    if (sc_end != NULL) {
    336  1.41  rillig 		while (*buf_ptr == ' ' || *buf_ptr == '\t') {
    337  1.41  rillig 		    *sc_end++ = *buf_ptr++;
    338  1.41  rillig 		    if (sc_end >= &save_com[sc_size]) {
    339  1.41  rillig 			errx(1, "input too long");
    340  1.41  rillig 		    }
    341  1.41  rillig 		}
    342  1.41  rillig 		if (buf_ptr >= buf_end) {
    343  1.41  rillig 		    fill_buffer();
    344  1.41  rillig 		}
    345  1.41  rillig 	    }
    346  1.41  rillig 
    347  1.41  rillig 	    struct parser_state transient_state;
    348  1.41  rillig 	    transient_state = ps;
    349  1.64  rillig 	    *inout_ttype = lexi(&transient_state);	/* read another token */
    350  1.64  rillig 	    if (*inout_ttype != newline && *inout_ttype != form_feed &&
    351  1.64  rillig 		*inout_ttype != comment && !transient_state.search_brace) {
    352  1.41  rillig 		ps = transient_state;
    353  1.41  rillig 	    }
    354  1.41  rillig 	}
    355  1.41  rillig     }
    356  1.40  rillig 
    357  1.41  rillig     *inout_last_else = 0;
    358  1.41  rillig }
    359   1.1     cgd 
    360  1.53  rillig static void
    361  1.53  rillig main_init_globals(void)
    362  1.40  rillig {
    363  1.25   kamil     found_err = 0;
    364   1.1     cgd 
    365  1.25   kamil     ps.p_stack[0] = stmt;	/* this is the parser's stack */
    366  1.25   kamil     ps.last_nl = true;		/* this is true if the last thing scanned was
    367   1.1     cgd 				 * a newline */
    368  1.25   kamil     ps.last_token = semicolon;
    369  1.62  rillig     com.buf = malloc(bufsize);
    370  1.62  rillig     if (com.buf == NULL)
    371  1.25   kamil 	err(1, NULL);
    372  1.63  rillig     lab.buf = malloc(bufsize);
    373  1.63  rillig     if (lab.buf == NULL)
    374  1.25   kamil 	err(1, NULL);
    375  1.65  rillig     code.buf = malloc(bufsize);
    376  1.65  rillig     if (code.buf == NULL)
    377  1.25   kamil 	err(1, NULL);
    378  1.42  rillig     tokenbuf = malloc(bufsize);
    379  1.25   kamil     if (tokenbuf == NULL)
    380  1.25   kamil 	err(1, NULL);
    381  1.25   kamil     alloc_typenames();
    382  1.25   kamil     init_constant_tt();
    383  1.62  rillig     com.l = com.buf + bufsize - 5;
    384  1.63  rillig     lab.l = lab.buf + bufsize - 5;
    385  1.65  rillig     code.l = code.buf + bufsize - 5;
    386  1.25   kamil     l_token = tokenbuf + bufsize - 5;
    387  1.65  rillig     com.buf[0] = code.buf[0] = lab.buf[0] = ' ';	/* set up code, label, and
    388  1.25   kamil 						 * comment buffers */
    389  1.65  rillig     com.buf[1] = code.buf[1] = lab.buf[1] = tokenbuf[1] = '\0';
    390  1.25   kamil     opt.else_if = 1;		/* Default else-if special processing to on */
    391  1.63  rillig     lab.s = lab.e = lab.buf + 1;
    392  1.65  rillig     code.s = code.e = code.buf + 1;
    393  1.62  rillig     com.s = com.e = com.buf + 1;
    394  1.25   kamil     s_token = e_token = tokenbuf + 1;
    395  1.25   kamil 
    396  1.42  rillig     in_buffer = malloc(10);
    397  1.25   kamil     if (in_buffer == NULL)
    398  1.25   kamil 	err(1, NULL);
    399  1.25   kamil     in_buffer_limit = in_buffer + 8;
    400  1.25   kamil     buf_ptr = buf_end = in_buffer;
    401  1.25   kamil     line_no = 1;
    402  1.25   kamil     had_eof = ps.in_decl = ps.decl_on_line = break_comma = false;
    403  1.25   kamil     ps.in_or_st = false;
    404  1.25   kamil     ps.bl_line = true;
    405  1.25   kamil     ps.want_blank = ps.in_stmt = ps.ind_stmt = false;
    406  1.25   kamil 
    407  1.53  rillig     ps.pcase = false;
    408  1.25   kamil     sc_end = NULL;
    409  1.25   kamil     bp_save = NULL;
    410  1.25   kamil     be_save = NULL;
    411  1.25   kamil 
    412  1.25   kamil     output = NULL;
    413  1.25   kamil 
    414  1.53  rillig     const char *suffix = getenv("SIMPLE_BACKUP_SUFFIX");
    415  1.53  rillig     if (suffix != NULL)
    416  1.53  rillig 	simple_backup_suffix = suffix;
    417  1.53  rillig }
    418  1.53  rillig 
    419  1.53  rillig static void
    420  1.53  rillig main_parse_command_line(int argc, char **argv)
    421  1.53  rillig {
    422  1.53  rillig     int i;
    423  1.53  rillig     const char *profile_name = NULL;
    424   1.1     cgd 
    425  1.53  rillig #if 0
    426  1.51  rillig     max_line_length = 78;	/* -l78 */
    427  1.25   kamil     lineup_to_parens = 1;	/* -lp */
    428  1.51  rillig     lineup_to_parens_always = 0; /* -nlpl */
    429  1.25   kamil     ps.ljust_decl = 0;		/* -ndj */
    430  1.25   kamil     ps.com_ind = 33;		/* -c33 */
    431  1.25   kamil     star_comment_cont = 1;	/* -sc */
    432  1.25   kamil     ps.ind_size = 8;		/* -i8 */
    433  1.25   kamil     verbose = 0;
    434  1.25   kamil     ps.decl_indent = 16;	/* -di16 */
    435  1.25   kamil     ps.local_decl_indent = -1;	/* if this is not set to some nonnegative value
    436  1.25   kamil 				 * by an arg, we will set this equal to
    437  1.25   kamil 				 * ps.decl_ind */
    438  1.25   kamil     ps.indent_parameters = 1;	/* -ip */
    439  1.25   kamil     ps.decl_com_ind = 0;	/* if this is not set to some positive value
    440   1.1     cgd 				 * by an arg, we will set this equal to
    441   1.1     cgd 				 * ps.com_ind */
    442  1.25   kamil     btype_2 = 1;		/* -br */
    443  1.25   kamil     cuddle_else = 1;		/* -ce */
    444  1.25   kamil     ps.unindent_displace = 0;	/* -d0 */
    445  1.25   kamil     ps.case_indent = 0;		/* -cli0 */
    446  1.25   kamil     format_block_comments = 1;	/* -fcb */
    447  1.25   kamil     format_col1_comments = 1;	/* -fc1 */
    448  1.25   kamil     procnames_start_line = 1;	/* -psl */
    449  1.25   kamil     proc_calls_space = 0;	/* -npcs */
    450  1.25   kamil     comment_delimiter_on_blankline = 1;	/* -cdb */
    451  1.25   kamil     ps.leave_comma = 1;		/* -nbc */
    452   1.1     cgd #endif
    453   1.1     cgd 
    454  1.25   kamil     for (i = 1; i < argc; ++i)
    455  1.25   kamil 	if (strcmp(argv[i], "-npro") == 0)
    456  1.25   kamil 	    break;
    457  1.25   kamil 	else if (argv[i][0] == '-' && argv[i][1] == 'P' && argv[i][2] != '\0')
    458  1.25   kamil 	    profile_name = argv[i];	/* non-empty -P (set profile) */
    459  1.25   kamil     set_defaults();
    460  1.25   kamil     if (i >= argc)
    461  1.25   kamil 	set_profile(profile_name);
    462   1.1     cgd 
    463  1.25   kamil     for (i = 1; i < argc; ++i) {
    464   1.1     cgd 
    465  1.25   kamil 	/*
    466  1.25   kamil 	 * look thru args (if any) for changes to defaults
    467  1.25   kamil 	 */
    468  1.25   kamil 	if (argv[i][0] != '-') {/* no flag on parameter */
    469  1.25   kamil 	    if (input == NULL) {	/* we must have the input file */
    470  1.25   kamil 		in_name = argv[i];	/* remember name of input file */
    471  1.25   kamil 		input = fopen(in_name, "r");
    472  1.25   kamil 		if (input == NULL)	/* check for open error */
    473  1.25   kamil 			err(1, "%s", in_name);
    474  1.25   kamil 		continue;
    475  1.45  rillig 	    } else if (output == NULL) {	/* we have the output file */
    476  1.25   kamil 		out_name = argv[i];	/* remember name of output file */
    477  1.25   kamil 		if (strcmp(in_name, out_name) == 0) {	/* attempt to overwrite
    478  1.25   kamil 							 * the file */
    479  1.25   kamil 		    errx(1, "input and output files must be different");
    480   1.1     cgd 		}
    481  1.25   kamil 		output = fopen(out_name, "w");
    482  1.25   kamil 		if (output == NULL)	/* check for create error */
    483  1.25   kamil 			err(1, "%s", out_name);
    484  1.25   kamil 		continue;
    485  1.25   kamil 	    }
    486  1.25   kamil 	    errx(1, "unknown parameter: %s", argv[i]);
    487  1.45  rillig 	} else
    488  1.25   kamil 	    set_option(argv[i]);
    489  1.25   kamil     }				/* end of for */
    490  1.25   kamil     if (input == NULL)
    491  1.25   kamil 	input = stdin;
    492  1.25   kamil     if (output == NULL) {
    493  1.25   kamil 	if (input == stdin)
    494  1.25   kamil 	    output = stdout;
    495  1.25   kamil 	else {
    496  1.25   kamil 	    out_name = in_name;
    497  1.25   kamil 	    bakcopy();
    498   1.1     cgd 	}
    499  1.25   kamil     }
    500  1.25   kamil 
    501  1.57  rillig     if (opt.comment_column <= 1)
    502  1.57  rillig 	opt.comment_column = 2;	/* don't put normal comments before column 2 */
    503  1.51  rillig     if (opt.block_comment_max_line_length <= 0)
    504  1.51  rillig 	opt.block_comment_max_line_length = opt.max_line_length;
    505  1.25   kamil     if (opt.local_decl_indent < 0) /* if not specified by user, set this */
    506  1.25   kamil 	opt.local_decl_indent = opt.decl_indent;
    507  1.57  rillig     if (opt.decl_comment_column <= 0)	/* if not specified by user, set this */
    508  1.57  rillig 	opt.decl_comment_column = opt.ljust_decl
    509  1.57  rillig 	    ? (opt.comment_column <= 10 ? 2 : opt.comment_column - 8)
    510  1.57  rillig 	    : opt.comment_column;
    511  1.25   kamil     if (opt.continuation_indent == 0)
    512  1.57  rillig 	opt.continuation_indent = opt.indent_size;
    513  1.53  rillig }
    514  1.53  rillig 
    515  1.53  rillig static void
    516  1.53  rillig main_prepare_parsing(void)
    517  1.53  rillig {
    518  1.25   kamil     fill_buffer();		/* get first batch of stuff into input buffer */
    519  1.25   kamil 
    520  1.25   kamil     parse(semicolon);
    521  1.53  rillig 
    522  1.53  rillig     char *p = buf_ptr;
    523  1.53  rillig     int col = 1;
    524  1.53  rillig 
    525  1.59  rillig     for (;;) {
    526  1.53  rillig 	if (*p == ' ')
    527  1.53  rillig 	    col++;
    528  1.53  rillig 	else if (*p == '\t')
    529  1.53  rillig 	    col = opt.tabsize * (1 + (col - 1) / opt.tabsize) + 1;
    530  1.53  rillig 	else
    531  1.53  rillig 	    break;
    532  1.53  rillig 	p++;
    533  1.25   kamil     }
    534  1.57  rillig     if (col > opt.indent_size)
    535  1.57  rillig 	ps.ind_level = ps.i_l_follow = col / opt.indent_size;
    536  1.53  rillig }
    537  1.25   kamil 
    538  1.60  rillig static void __attribute__((__noreturn__))
    539  1.54  rillig process_end_of_file(void)
    540  1.54  rillig {
    541  1.65  rillig     if (lab.s != lab.e || code.s != code.e || com.s != com.e)
    542  1.54  rillig 	dump_line();
    543  1.54  rillig 
    544  1.54  rillig     if (ps.tos > 1)		/* check for balanced braces */
    545  1.54  rillig 	diag(1, "Stuff missing from end of file");
    546  1.54  rillig 
    547  1.54  rillig     if (opt.verbose) {
    548  1.54  rillig 	printf("There were %d output lines and %d comments\n",
    549  1.54  rillig 	       ps.out_lines, ps.out_coms);
    550  1.54  rillig 	printf("(Lines with comments)/(Lines with code): %6.3f\n",
    551  1.54  rillig 	       (1.0 * ps.com_lines) / code_lines);
    552  1.54  rillig     }
    553  1.54  rillig 
    554  1.54  rillig     fflush(output);
    555  1.54  rillig     exit(found_err);
    556  1.54  rillig }
    557  1.54  rillig 
    558  1.54  rillig static void
    559  1.64  rillig process_comment_in_code(token_type ttype, int *inout_force_nl)
    560  1.54  rillig {
    561  1.54  rillig     if (*inout_force_nl &&
    562  1.64  rillig 	ttype != semicolon &&
    563  1.64  rillig 	(ttype != lbrace || !opt.btype_2)) {
    564  1.54  rillig 
    565  1.54  rillig 	/* we should force a broken line here */
    566  1.54  rillig 	if (opt.verbose)
    567  1.54  rillig 	    diag(0, "Line broken");
    568  1.54  rillig 	dump_line();
    569  1.54  rillig 	ps.want_blank = false;	/* dont insert blank at line start */
    570  1.54  rillig 	*inout_force_nl = false;
    571  1.54  rillig     }
    572  1.54  rillig 
    573  1.54  rillig     ps.in_stmt = true;		/* turn on flag which causes an extra level of
    574  1.54  rillig 				 * indentation. this is turned off by a ; or
    575  1.54  rillig 				 * '}' */
    576  1.62  rillig     if (com.s != com.e) {	/* the turkey has embedded a comment
    577  1.54  rillig 				 * in a line. fix it */
    578  1.62  rillig 	size_t len = com.e - com.s;
    579  1.54  rillig 
    580  1.54  rillig 	check_size_code(len + 3);
    581  1.65  rillig 	*code.e++ = ' ';
    582  1.65  rillig 	memcpy(code.e, com.s, len);
    583  1.65  rillig 	code.e += len;
    584  1.65  rillig 	*code.e++ = ' ';
    585  1.65  rillig 	*code.e = '\0';
    586  1.54  rillig 	ps.want_blank = false;
    587  1.62  rillig 	com.e = com.s;
    588  1.54  rillig     }
    589  1.54  rillig }
    590  1.54  rillig 
    591  1.54  rillig static void
    592  1.54  rillig process_form_feed(void)
    593  1.54  rillig {
    594  1.54  rillig     ps.use_ff = true;		/* a form feed is treated much like a newline */
    595  1.54  rillig     dump_line();
    596  1.54  rillig     ps.want_blank = false;
    597  1.54  rillig }
    598  1.54  rillig 
    599  1.54  rillig static void
    600  1.54  rillig process_newline(void)
    601  1.54  rillig {
    602  1.54  rillig     if (ps.last_token != comma || ps.p_l_follow > 0
    603  1.62  rillig 	|| !opt.leave_comma || ps.block_init || !break_comma || com.s != com.e) {
    604  1.54  rillig 	dump_line();
    605  1.54  rillig 	ps.want_blank = false;
    606  1.54  rillig     }
    607  1.54  rillig     ++line_no;			/* keep track of input line number */
    608  1.54  rillig }
    609  1.54  rillig 
    610  1.54  rillig static void
    611  1.54  rillig process_lparen_or_lbracket(int dec_ind, int tabs_to_var, int sp_sw)
    612  1.54  rillig {
    613  1.54  rillig     /* count parens to make Healy happy */
    614  1.54  rillig     if (++ps.p_l_follow == nitems(ps.paren_indents)) {
    615  1.54  rillig 	diag(0, "Reached internal limit of %zu unclosed parens",
    616  1.54  rillig 	    nitems(ps.paren_indents));
    617  1.54  rillig 	ps.p_l_follow--;
    618  1.54  rillig     }
    619  1.54  rillig     if (*token == '[')
    620  1.54  rillig 	/* not a function pointer declaration or a function call */;
    621  1.54  rillig     else if (ps.in_decl && !ps.block_init && !ps.dumped_decl_indent &&
    622  1.54  rillig 	ps.procname[0] == '\0' && ps.paren_level == 0) {
    623  1.54  rillig 	/* function pointer declarations */
    624  1.54  rillig 	indent_declaration(dec_ind, tabs_to_var);
    625  1.54  rillig 	ps.dumped_decl_indent = true;
    626  1.54  rillig     } else if (ps.want_blank &&
    627  1.54  rillig 	    ((ps.last_token != ident && ps.last_token != funcname) ||
    628  1.54  rillig 	    opt.proc_calls_space ||
    629  1.54  rillig 	    (ps.keyword == rw_sizeof ? opt.Bill_Shannon :
    630  1.54  rillig 	    ps.keyword != rw_0 && ps.keyword != rw_offsetof)))
    631  1.65  rillig 	*code.e++ = ' ';
    632  1.54  rillig     ps.want_blank = false;
    633  1.65  rillig     *code.e++ = token[0];
    634  1.58  rillig 
    635  1.54  rillig     ps.paren_indents[ps.p_l_follow - 1] =
    636  1.65  rillig 	indentation_after_range(0, code.s, code.e);
    637  1.58  rillig     debug_println("paren_indent[%d] is now %d",
    638  1.58  rillig 	ps.p_l_follow - 1, ps.paren_indents[ps.p_l_follow - 1]);
    639  1.58  rillig 
    640  1.54  rillig     if (sp_sw && ps.p_l_follow == 1 && opt.extra_expression_indent
    641  1.58  rillig 	    && ps.paren_indents[0] < 2 * opt.indent_size) {
    642  1.57  rillig 	ps.paren_indents[0] = 2 * opt.indent_size;
    643  1.58  rillig 	debug_println("paren_indent[0] is now %d", ps.paren_indents[0]);
    644  1.58  rillig     }
    645  1.54  rillig     if (ps.in_or_st && *token == '(' && ps.tos <= 2) {
    646  1.54  rillig 	/*
    647  1.54  rillig 	 * this is a kluge to make sure that declarations will be
    648  1.54  rillig 	 * aligned right if proc decl has an explicit type on it, i.e.
    649  1.54  rillig 	 * "int a(x) {..."
    650  1.54  rillig 	 */
    651  1.54  rillig 	parse(semicolon);	/* I said this was a kluge... */
    652  1.54  rillig 	ps.in_or_st = false;	/* turn off flag for structure decl or
    653  1.54  rillig 				 * initialization */
    654  1.54  rillig     }
    655  1.54  rillig     /* parenthesized type following sizeof or offsetof is not a cast */
    656  1.54  rillig     if (ps.keyword == rw_offsetof || ps.keyword == rw_sizeof)
    657  1.54  rillig 	ps.not_cast_mask |= 1 << ps.p_l_follow;
    658  1.54  rillig }
    659  1.54  rillig 
    660  1.54  rillig static void
    661  1.54  rillig process_rparen_or_rbracket(int *inout_sp_sw, int *inout_force_nl,
    662  1.54  rillig 			 token_type hd_type)
    663  1.54  rillig {
    664  1.54  rillig     if (ps.cast_mask & (1 << ps.p_l_follow) & ~ps.not_cast_mask) {
    665  1.54  rillig 	ps.last_u_d = true;
    666  1.54  rillig 	ps.cast_mask &= (1 << ps.p_l_follow) - 1;
    667  1.54  rillig 	ps.want_blank = opt.space_after_cast;
    668  1.54  rillig     } else
    669  1.54  rillig 	ps.want_blank = true;
    670  1.54  rillig     ps.not_cast_mask &= (1 << ps.p_l_follow) - 1;
    671  1.54  rillig 
    672  1.54  rillig     if (--ps.p_l_follow < 0) {
    673  1.54  rillig 	ps.p_l_follow = 0;
    674  1.54  rillig 	diag(0, "Extra %c", *token);
    675  1.54  rillig     }
    676  1.54  rillig 
    677  1.65  rillig     if (code.e == code.s)	/* if the paren starts the line */
    678  1.54  rillig 	ps.paren_level = ps.p_l_follow;	/* then indent it */
    679  1.54  rillig 
    680  1.65  rillig     *code.e++ = token[0];
    681  1.54  rillig 
    682  1.54  rillig     if (*inout_sp_sw && (ps.p_l_follow == 0)) {	/* check for end of if
    683  1.54  rillig 				 * (...), or some such */
    684  1.54  rillig 	*inout_sp_sw = false;
    685  1.54  rillig 	*inout_force_nl = true;	/* must force newline after if */
    686  1.54  rillig 	ps.last_u_d = true;	/* inform lexi that a following
    687  1.54  rillig 				 * operator is unary */
    688  1.54  rillig 	ps.in_stmt = false;	/* dont use stmt continuation indentation */
    689  1.54  rillig 
    690  1.54  rillig 	parse(hd_type);		/* let parser worry about if, or whatever */
    691  1.54  rillig     }
    692  1.54  rillig     ps.search_brace = opt.btype_2; /* this should ensure that constructs such
    693  1.54  rillig 				 * as main(){...} and int[]{...} have their
    694  1.54  rillig 				 * braces put in the right place */
    695  1.54  rillig }
    696  1.54  rillig 
    697  1.54  rillig static void
    698  1.54  rillig process_unary_op(int dec_ind, int tabs_to_var)
    699  1.54  rillig {
    700  1.54  rillig     if (!ps.dumped_decl_indent && ps.in_decl && !ps.block_init &&
    701  1.54  rillig 	ps.procname[0] == '\0' && ps.paren_level == 0) {
    702  1.54  rillig 	/* pointer declarations */
    703  1.54  rillig 
    704  1.54  rillig 	/*
    705  1.54  rillig 	 * if this is a unary op in a declaration, we should indent
    706  1.54  rillig 	 * this token
    707  1.54  rillig 	 */
    708  1.54  rillig 	int i;
    709  1.54  rillig 	for (i = 0; token[i]; ++i)
    710  1.54  rillig 	    /* find length of token */;
    711  1.54  rillig 	indent_declaration(dec_ind - i, tabs_to_var);
    712  1.54  rillig 	ps.dumped_decl_indent = true;
    713  1.54  rillig     } else if (ps.want_blank)
    714  1.65  rillig 	*code.e++ = ' ';
    715  1.54  rillig 
    716  1.54  rillig     {
    717  1.59  rillig 	size_t len = e_token - s_token;
    718  1.54  rillig 
    719  1.54  rillig 	check_size_code(len);
    720  1.65  rillig 	memcpy(code.e, token, len);
    721  1.65  rillig 	code.e += len;
    722  1.54  rillig     }
    723  1.54  rillig     ps.want_blank = false;
    724  1.54  rillig }
    725  1.54  rillig 
    726  1.54  rillig static void
    727  1.54  rillig process_binary_op(void)
    728  1.54  rillig {
    729  1.59  rillig     size_t len = e_token - s_token;
    730  1.54  rillig 
    731  1.54  rillig     check_size_code(len + 1);
    732  1.54  rillig     if (ps.want_blank)
    733  1.65  rillig 	*code.e++ = ' ';
    734  1.65  rillig     memcpy(code.e, token, len);
    735  1.65  rillig     code.e += len;
    736  1.54  rillig 
    737  1.54  rillig     ps.want_blank = true;
    738  1.54  rillig }
    739  1.54  rillig 
    740  1.54  rillig static void
    741  1.54  rillig process_postfix_op(void)
    742  1.54  rillig {
    743  1.65  rillig     *code.e++ = token[0];
    744  1.65  rillig     *code.e++ = token[1];
    745  1.54  rillig     ps.want_blank = true;
    746  1.54  rillig }
    747  1.54  rillig 
    748  1.54  rillig static void
    749  1.54  rillig process_question(int *inout_squest)
    750  1.54  rillig {
    751  1.54  rillig     (*inout_squest)++;		/* this will be used when a later colon
    752  1.54  rillig 				 * appears so we can distinguish the
    753  1.54  rillig 				 * <c>?<n>:<n> construct */
    754  1.54  rillig     if (ps.want_blank)
    755  1.65  rillig 	*code.e++ = ' ';
    756  1.65  rillig     *code.e++ = '?';
    757  1.54  rillig     ps.want_blank = true;
    758  1.54  rillig }
    759  1.54  rillig 
    760  1.54  rillig static void
    761  1.54  rillig process_colon(int *inout_squest, int *inout_force_nl, int *inout_scase)
    762  1.54  rillig {
    763  1.54  rillig     if (*inout_squest > 0) {	/* it is part of the <c>?<n>: <n> construct */
    764  1.54  rillig 	--*inout_squest;
    765  1.54  rillig 	if (ps.want_blank)
    766  1.65  rillig 	    *code.e++ = ' ';
    767  1.65  rillig 	*code.e++ = ':';
    768  1.54  rillig 	ps.want_blank = true;
    769  1.54  rillig 	return;
    770  1.54  rillig     }
    771  1.54  rillig     if (ps.in_or_st) {
    772  1.65  rillig 	*code.e++ = ':';
    773  1.54  rillig 	ps.want_blank = false;
    774  1.54  rillig 	return;
    775  1.54  rillig     }
    776  1.54  rillig     ps.in_stmt = false;		/* seeing a label does not imply we are in a
    777  1.54  rillig 				 * stmt */
    778  1.54  rillig     /*
    779  1.54  rillig      * turn everything so far into a label
    780  1.54  rillig      */
    781  1.54  rillig     {
    782  1.65  rillig 	size_t len = code.e - code.s;
    783  1.54  rillig 
    784  1.54  rillig 	check_size_label(len + 3);
    785  1.65  rillig 	memcpy(lab.e, code.s, len);
    786  1.63  rillig 	lab.e += len;
    787  1.63  rillig 	*lab.e++ = ':';
    788  1.63  rillig 	*lab.e = '\0';
    789  1.65  rillig 	code.e = code.s;
    790  1.54  rillig     }
    791  1.54  rillig     *inout_force_nl = ps.pcase = *inout_scase;	/* ps.pcase will be used by
    792  1.54  rillig 						 * dump_line to decide how to
    793  1.54  rillig 						 * indent the label. force_nl
    794  1.54  rillig 						 * will force a case n: to be
    795  1.54  rillig 						 * on a line by itself */
    796  1.54  rillig     *inout_scase = false;
    797  1.54  rillig     ps.want_blank = false;
    798  1.54  rillig }
    799  1.54  rillig 
    800  1.54  rillig static void
    801  1.54  rillig process_semicolon(int *inout_scase, int *inout_squest, int const dec_ind,
    802  1.54  rillig 		  int const tabs_to_var, int *inout_sp_sw,
    803  1.54  rillig 		  token_type const hd_type,
    804  1.54  rillig 		  int *inout_force_nl)
    805  1.54  rillig {
    806  1.54  rillig     if (ps.dec_nest == 0)
    807  1.54  rillig 	ps.in_or_st = false;	/* we are not in an initialization or
    808  1.54  rillig 				 * structure declaration */
    809  1.54  rillig     *inout_scase = false; /* these will only need resetting in an error */
    810  1.54  rillig     *inout_squest = 0;
    811  1.54  rillig     if (ps.last_token == rparen)
    812  1.54  rillig 	ps.in_parameter_declaration = 0;
    813  1.54  rillig     ps.cast_mask = 0;
    814  1.54  rillig     ps.not_cast_mask = 0;
    815  1.54  rillig     ps.block_init = 0;
    816  1.54  rillig     ps.block_init_level = 0;
    817  1.54  rillig     ps.just_saw_decl--;
    818  1.54  rillig 
    819  1.65  rillig     if (ps.in_decl && code.s == code.e && !ps.block_init &&
    820  1.54  rillig 	!ps.dumped_decl_indent && ps.paren_level == 0) {
    821  1.54  rillig 	/* indent stray semicolons in declarations */
    822  1.54  rillig 	indent_declaration(dec_ind - 1, tabs_to_var);
    823  1.54  rillig 	ps.dumped_decl_indent = true;
    824  1.54  rillig     }
    825  1.54  rillig 
    826  1.54  rillig     ps.in_decl = (ps.dec_nest > 0);	/* if we were in a first level
    827  1.54  rillig 						 * structure declaration, we
    828  1.54  rillig 						 * arent any more */
    829  1.54  rillig 
    830  1.54  rillig     if ((!*inout_sp_sw || hd_type != for_exprs) && ps.p_l_follow > 0) {
    831  1.54  rillig 
    832  1.54  rillig 	/*
    833  1.54  rillig 	 * This should be true iff there were unbalanced parens in the
    834  1.54  rillig 	 * stmt.  It is a bit complicated, because the semicolon might
    835  1.54  rillig 	 * be in a for stmt
    836  1.54  rillig 	 */
    837  1.54  rillig 	diag(1, "Unbalanced parens");
    838  1.54  rillig 	ps.p_l_follow = 0;
    839  1.54  rillig 	if (*inout_sp_sw) {	/* this is a check for an if, while, etc. with
    840  1.54  rillig 				 * unbalanced parens */
    841  1.54  rillig 	    *inout_sp_sw = false;
    842  1.54  rillig 	    parse(hd_type);	/* dont lose the if, or whatever */
    843  1.54  rillig 	}
    844  1.54  rillig     }
    845  1.65  rillig     *code.e++ = ';';
    846  1.54  rillig     ps.want_blank = true;
    847  1.54  rillig     ps.in_stmt = (ps.p_l_follow > 0);	/* we are no longer in the
    848  1.54  rillig 				 * middle of a stmt */
    849  1.54  rillig 
    850  1.54  rillig     if (!*inout_sp_sw) {	/* if not if for (;;) */
    851  1.54  rillig 	parse(semicolon);	/* let parser know about end of stmt */
    852  1.54  rillig 	*inout_force_nl = true;/* force newline after an end of stmt */
    853  1.54  rillig     }
    854  1.54  rillig }
    855  1.54  rillig 
    856  1.54  rillig static void
    857  1.54  rillig process_lbrace(int *inout_force_nl, int *inout_sp_sw, token_type hd_type,
    858  1.54  rillig 	       int *di_stack, int di_stack_cap, int *inout_dec_ind)
    859  1.54  rillig {
    860  1.54  rillig     ps.in_stmt = false;	/* dont indent the {} */
    861  1.54  rillig     if (!ps.block_init)
    862  1.54  rillig 	*inout_force_nl = true;	/* force other stuff on same line as '{' onto
    863  1.54  rillig 				 * new line */
    864  1.54  rillig     else if (ps.block_init_level <= 0)
    865  1.54  rillig 	ps.block_init_level = 1;
    866  1.54  rillig     else
    867  1.54  rillig 	ps.block_init_level++;
    868  1.54  rillig 
    869  1.65  rillig     if (code.s != code.e && !ps.block_init) {
    870  1.54  rillig 	if (!opt.btype_2) {
    871  1.54  rillig 	    dump_line();
    872  1.54  rillig 	    ps.want_blank = false;
    873  1.54  rillig 	} else if (ps.in_parameter_declaration && !ps.in_or_st) {
    874  1.54  rillig 	    ps.i_l_follow = 0;
    875  1.54  rillig 	    if (opt.function_brace_split) { /* dump the line prior
    876  1.54  rillig 				 * to the brace ... */
    877  1.54  rillig 		dump_line();
    878  1.54  rillig 		ps.want_blank = false;
    879  1.54  rillig 	    } else		/* add a space between the decl and brace */
    880  1.54  rillig 		ps.want_blank = true;
    881  1.54  rillig 	}
    882  1.54  rillig     }
    883  1.54  rillig     if (ps.in_parameter_declaration)
    884  1.54  rillig 	prefix_blankline_requested = 0;
    885  1.54  rillig 
    886  1.54  rillig     if (ps.p_l_follow > 0) {	/* check for preceding unbalanced
    887  1.54  rillig 				 * parens */
    888  1.54  rillig 	diag(1, "Unbalanced parens");
    889  1.54  rillig 	ps.p_l_follow = 0;
    890  1.54  rillig 	if (*inout_sp_sw) {	/* check for unclosed if, for, etc. */
    891  1.54  rillig 	    *inout_sp_sw = false;
    892  1.54  rillig 	    parse(hd_type);
    893  1.54  rillig 	    ps.ind_level = ps.i_l_follow;
    894  1.54  rillig 	}
    895  1.54  rillig     }
    896  1.65  rillig     if (code.s == code.e)
    897  1.54  rillig 	ps.ind_stmt = false;	/* dont put extra indentation on line
    898  1.54  rillig 				 * with '{' */
    899  1.54  rillig     if (ps.in_decl && ps.in_or_st) {	/* this is either a structure
    900  1.54  rillig 				 * declaration or an init */
    901  1.54  rillig 	di_stack[ps.dec_nest] = *inout_dec_ind;
    902  1.54  rillig 	if (++ps.dec_nest == di_stack_cap) {
    903  1.54  rillig 	    diag(0, "Reached internal limit of %d struct levels",
    904  1.54  rillig 		 di_stack_cap);
    905  1.54  rillig 	    ps.dec_nest--;
    906  1.54  rillig 	}
    907  1.54  rillig 	/* ?		dec_ind = 0; */
    908  1.54  rillig     } else {
    909  1.54  rillig 	ps.decl_on_line = false;	/* we can't be in the middle of
    910  1.54  rillig 						 * a declaration, so don't do
    911  1.54  rillig 						 * special indentation of
    912  1.54  rillig 						 * comments */
    913  1.54  rillig 	if (opt.blanklines_after_declarations_at_proctop
    914  1.54  rillig 	    && ps.in_parameter_declaration)
    915  1.54  rillig 	    postfix_blankline_requested = 1;
    916  1.54  rillig 	ps.in_parameter_declaration = 0;
    917  1.54  rillig 	ps.in_decl = false;
    918  1.54  rillig     }
    919  1.54  rillig     *inout_dec_ind = 0;
    920  1.54  rillig     parse(lbrace);	/* let parser know about this */
    921  1.54  rillig     if (ps.want_blank)	/* put a blank before '{' if '{' is not at
    922  1.54  rillig 				 * start of line */
    923  1.65  rillig 	*code.e++ = ' ';
    924  1.54  rillig     ps.want_blank = false;
    925  1.65  rillig     *code.e++ = '{';
    926  1.54  rillig     ps.just_saw_decl = 0;
    927  1.54  rillig }
    928  1.54  rillig 
    929  1.54  rillig static void
    930  1.54  rillig process_rbrace(int *inout_sp_sw, int *inout_dec_ind, const int *di_stack)
    931  1.54  rillig {
    932  1.54  rillig     if (ps.p_stack[ps.tos] == decl && !ps.block_init)	/* semicolons can be
    933  1.54  rillig 				 * omitted in declarations */
    934  1.54  rillig 	parse(semicolon);
    935  1.54  rillig     if (ps.p_l_follow) {	/* check for unclosed if, for, else. */
    936  1.54  rillig 	diag(1, "Unbalanced parens");
    937  1.54  rillig 	ps.p_l_follow = 0;
    938  1.54  rillig 	*inout_sp_sw = false;
    939  1.54  rillig     }
    940  1.54  rillig     ps.just_saw_decl = 0;
    941  1.54  rillig     ps.block_init_level--;
    942  1.65  rillig     if (code.s != code.e && !ps.block_init) {	/* '}' must be first on line */
    943  1.54  rillig 	if (opt.verbose)
    944  1.54  rillig 	    diag(0, "Line broken");
    945  1.54  rillig 	dump_line();
    946  1.54  rillig     }
    947  1.65  rillig     *code.e++ = '}';
    948  1.54  rillig     ps.want_blank = true;
    949  1.54  rillig     ps.in_stmt = ps.ind_stmt = false;
    950  1.54  rillig     if (ps.dec_nest > 0) { /* we are in multi-level structure declaration */
    951  1.54  rillig 	*inout_dec_ind = di_stack[--ps.dec_nest];
    952  1.54  rillig 	if (ps.dec_nest == 0 && !ps.in_parameter_declaration)
    953  1.54  rillig 	    ps.just_saw_decl = 2;
    954  1.54  rillig 	ps.in_decl = true;
    955  1.54  rillig     }
    956  1.54  rillig     prefix_blankline_requested = 0;
    957  1.54  rillig     parse(rbrace);		/* let parser know about this */
    958  1.54  rillig     ps.search_brace = opt.cuddle_else
    959  1.54  rillig 		      && ps.p_stack[ps.tos] == if_expr_stmt
    960  1.54  rillig 		      && ps.il[ps.tos] >= ps.ind_level;
    961  1.54  rillig     if (ps.tos <= 1 && opt.blanklines_after_procs && ps.dec_nest <= 0)
    962  1.54  rillig 	postfix_blankline_requested = 1;
    963  1.54  rillig }
    964  1.54  rillig 
    965  1.54  rillig static void
    966  1.54  rillig process_keyword_do_else(int *inout_force_nl, int *inout_last_else)
    967  1.54  rillig {
    968  1.54  rillig     ps.in_stmt = false;
    969  1.54  rillig     if (*token == 'e') {
    970  1.65  rillig 	if (code.e != code.s && (!opt.cuddle_else || code.e[-1] != '}')) {
    971  1.54  rillig 	    if (opt.verbose)
    972  1.54  rillig 		diag(0, "Line broken");
    973  1.54  rillig 	    dump_line();	/* make sure this starts a line */
    974  1.54  rillig 	    ps.want_blank = false;
    975  1.54  rillig 	}
    976  1.54  rillig 	*inout_force_nl = true;/* also, following stuff must go onto new line */
    977  1.54  rillig 	*inout_last_else = 1;
    978  1.54  rillig 	parse(keyword_else);
    979  1.54  rillig     } else {
    980  1.65  rillig 	if (code.e != code.s) {	/* make sure this starts a line */
    981  1.54  rillig 	    if (opt.verbose)
    982  1.54  rillig 		diag(0, "Line broken");
    983  1.54  rillig 	    dump_line();
    984  1.54  rillig 	    ps.want_blank = false;
    985  1.54  rillig 	}
    986  1.54  rillig 	*inout_force_nl = true;/* also, following stuff must go onto new line */
    987  1.54  rillig 	*inout_last_else = 0;
    988  1.54  rillig 	parse(keyword_do);
    989  1.54  rillig     }
    990  1.54  rillig }
    991  1.54  rillig 
    992  1.54  rillig static void
    993  1.54  rillig process_decl(int *out_dec_ind, int *out_tabs_to_var)
    994  1.54  rillig {
    995  1.54  rillig     parse(decl);		/* let parser worry about indentation */
    996  1.54  rillig     if (ps.last_token == rparen && ps.tos <= 1) {
    997  1.65  rillig 	if (code.s != code.e) {
    998  1.54  rillig 	    dump_line();
    999  1.54  rillig 	    ps.want_blank = 0;
   1000  1.54  rillig 	}
   1001  1.54  rillig     }
   1002  1.54  rillig     if (ps.in_parameter_declaration && opt.indent_parameters && ps.dec_nest == 0) {
   1003  1.54  rillig 	ps.ind_level = ps.i_l_follow = 1;
   1004  1.54  rillig 	ps.ind_stmt = 0;
   1005  1.54  rillig     }
   1006  1.54  rillig     ps.in_or_st = true;		/* this might be a structure or initialization
   1007  1.54  rillig 				 * declaration */
   1008  1.54  rillig     ps.in_decl = ps.decl_on_line = ps.last_token != type_def;
   1009  1.54  rillig     if ( /* !ps.in_or_st && */ ps.dec_nest <= 0)
   1010  1.54  rillig 	ps.just_saw_decl = 2;
   1011  1.54  rillig     prefix_blankline_requested = 0;
   1012  1.54  rillig     int i;
   1013  1.54  rillig     for (i = 0; token[i++];);	/* get length of token */
   1014  1.54  rillig 
   1015  1.54  rillig     if (ps.ind_level == 0 || ps.dec_nest > 0) {
   1016  1.54  rillig 	/* global variable or struct member in local variable */
   1017  1.54  rillig 	*out_dec_ind = opt.decl_indent > 0 ? opt.decl_indent : i;
   1018  1.54  rillig 	*out_tabs_to_var = (opt.use_tabs ? opt.decl_indent > 0 : 0);
   1019  1.54  rillig     } else {
   1020  1.54  rillig 	/* local variable */
   1021  1.54  rillig 	*out_dec_ind = opt.local_decl_indent > 0 ? opt.local_decl_indent : i;
   1022  1.54  rillig 	*out_tabs_to_var = (opt.use_tabs ? opt.local_decl_indent > 0 : 0);
   1023  1.54  rillig     }
   1024  1.54  rillig }
   1025  1.54  rillig 
   1026  1.54  rillig static void
   1027  1.64  rillig process_ident(token_type ttype, int dec_ind, int tabs_to_var,
   1028  1.54  rillig 	      int *inout_sp_sw, int *inout_force_nl, token_type hd_type)
   1029  1.54  rillig {
   1030  1.54  rillig     if (ps.in_decl) {
   1031  1.64  rillig 	if (ttype == funcname) {
   1032  1.54  rillig 	    ps.in_decl = false;
   1033  1.65  rillig 	    if (opt.procnames_start_line && code.s != code.e) {
   1034  1.65  rillig 		*code.e = '\0';
   1035  1.54  rillig 		dump_line();
   1036  1.54  rillig 	    } else if (ps.want_blank) {
   1037  1.65  rillig 		*code.e++ = ' ';
   1038  1.54  rillig 	    }
   1039  1.54  rillig 	    ps.want_blank = false;
   1040  1.54  rillig 	} else if (!ps.block_init && !ps.dumped_decl_indent &&
   1041  1.54  rillig 		   ps.paren_level == 0) { /* if we are in a declaration, we
   1042  1.54  rillig 					    * must indent identifier */
   1043  1.54  rillig 	    indent_declaration(dec_ind, tabs_to_var);
   1044  1.54  rillig 	    ps.dumped_decl_indent = true;
   1045  1.54  rillig 	    ps.want_blank = false;
   1046  1.54  rillig 	}
   1047  1.54  rillig     } else if (*inout_sp_sw && ps.p_l_follow == 0) {
   1048  1.54  rillig 	*inout_sp_sw = false;
   1049  1.54  rillig 	*inout_force_nl = true;
   1050  1.54  rillig 	ps.last_u_d = true;
   1051  1.54  rillig 	ps.in_stmt = false;
   1052  1.54  rillig 	parse(hd_type);
   1053  1.54  rillig     }
   1054  1.54  rillig }
   1055  1.54  rillig 
   1056  1.54  rillig static void
   1057  1.54  rillig copy_id(void)
   1058  1.54  rillig {
   1059  1.59  rillig     size_t len = e_token - s_token;
   1060  1.54  rillig 
   1061  1.54  rillig     check_size_code(len + 1);
   1062  1.54  rillig     if (ps.want_blank)
   1063  1.65  rillig 	*code.e++ = ' ';
   1064  1.65  rillig     memcpy(code.e, s_token, len);
   1065  1.65  rillig     code.e += len;
   1066  1.54  rillig }
   1067  1.54  rillig 
   1068  1.54  rillig static void
   1069  1.54  rillig process_string_prefix(void)
   1070  1.54  rillig {
   1071  1.59  rillig     size_t len = e_token - s_token;
   1072  1.54  rillig 
   1073  1.54  rillig     check_size_code(len + 1);
   1074  1.54  rillig     if (ps.want_blank)
   1075  1.65  rillig 	*code.e++ = ' ';
   1076  1.65  rillig     memcpy(code.e, token, len);
   1077  1.65  rillig     code.e += len;
   1078  1.54  rillig 
   1079  1.54  rillig     ps.want_blank = false;
   1080  1.54  rillig }
   1081  1.54  rillig 
   1082  1.54  rillig static void
   1083  1.54  rillig process_period(void)
   1084  1.54  rillig {
   1085  1.65  rillig     *code.e++ = '.';		/* move the period into line */
   1086  1.54  rillig     ps.want_blank = false;	/* dont put a blank after a period */
   1087  1.54  rillig }
   1088  1.54  rillig 
   1089  1.54  rillig static void
   1090  1.54  rillig process_comma(int dec_ind, int tabs_to_var, int *inout_force_nl)
   1091  1.54  rillig {
   1092  1.65  rillig     ps.want_blank = (code.s != code.e);	/* only put blank after comma
   1093  1.54  rillig 				 * if comma does not start the line */
   1094  1.54  rillig     if (ps.in_decl && ps.procname[0] == '\0' && !ps.block_init &&
   1095  1.54  rillig 	!ps.dumped_decl_indent && ps.paren_level == 0) {
   1096  1.54  rillig 	/* indent leading commas and not the actual identifiers */
   1097  1.54  rillig 	indent_declaration(dec_ind - 1, tabs_to_var);
   1098  1.54  rillig 	ps.dumped_decl_indent = true;
   1099  1.54  rillig     }
   1100  1.65  rillig     *code.e++ = ',';
   1101  1.54  rillig     if (ps.p_l_follow == 0) {
   1102  1.54  rillig 	if (ps.block_init_level <= 0)
   1103  1.54  rillig 	    ps.block_init = 0;
   1104  1.54  rillig 	if (break_comma && (!opt.leave_comma ||
   1105  1.54  rillig 			    indentation_after_range(
   1106  1.65  rillig 				    compute_code_indent(), code.s, code.e)
   1107  1.54  rillig 			    >= opt.max_line_length - opt.tabsize))
   1108  1.54  rillig 	    *inout_force_nl = true;
   1109  1.54  rillig     }
   1110  1.54  rillig }
   1111  1.54  rillig 
   1112  1.54  rillig static void
   1113  1.54  rillig process_preprocessing(void)
   1114  1.54  rillig {
   1115  1.65  rillig     if (com.s != com.e || lab.s != lab.e || code.s != code.e)
   1116  1.54  rillig 	dump_line();
   1117  1.54  rillig     check_size_label(1);
   1118  1.63  rillig     *lab.e++ = '#';	/* move whole line to 'label' buffer */
   1119  1.54  rillig 
   1120  1.54  rillig     {
   1121  1.54  rillig 	int         in_comment = 0;
   1122  1.54  rillig 	int         com_start = 0;
   1123  1.55  rillig 	char        quote = '\0';
   1124  1.54  rillig 	int         com_end = 0;
   1125  1.54  rillig 
   1126  1.54  rillig 	while (*buf_ptr == ' ' || *buf_ptr == '\t') {
   1127  1.54  rillig 	    buf_ptr++;
   1128  1.54  rillig 	    if (buf_ptr >= buf_end)
   1129  1.54  rillig 		fill_buffer();
   1130  1.54  rillig 	}
   1131  1.54  rillig 	while (*buf_ptr != '\n' || (in_comment && !had_eof)) {
   1132  1.54  rillig 	    check_size_label(2);
   1133  1.63  rillig 	    *lab.e = *buf_ptr++;
   1134  1.54  rillig 	    if (buf_ptr >= buf_end)
   1135  1.54  rillig 		fill_buffer();
   1136  1.63  rillig 	    switch (*lab.e++) {
   1137  1.54  rillig 	    case '\\':
   1138  1.54  rillig 		if (!in_comment) {
   1139  1.63  rillig 		    *lab.e++ = *buf_ptr++;
   1140  1.54  rillig 		    if (buf_ptr >= buf_end)
   1141  1.54  rillig 			fill_buffer();
   1142  1.54  rillig 		}
   1143  1.54  rillig 		break;
   1144  1.54  rillig 	    case '/':
   1145  1.55  rillig 		if (*buf_ptr == '*' && !in_comment && quote == '\0') {
   1146  1.54  rillig 		    in_comment = 1;
   1147  1.63  rillig 		    *lab.e++ = *buf_ptr++;
   1148  1.63  rillig 		    com_start = (int)(lab.e - lab.s) - 2;
   1149  1.54  rillig 		}
   1150  1.54  rillig 		break;
   1151  1.54  rillig 	    case '"':
   1152  1.54  rillig 		if (quote == '"')
   1153  1.55  rillig 		    quote = '\0';
   1154  1.55  rillig 		else if (quote == '\0')
   1155  1.55  rillig 		    quote = '"';
   1156  1.54  rillig 		break;
   1157  1.54  rillig 	    case '\'':
   1158  1.54  rillig 		if (quote == '\'')
   1159  1.55  rillig 		    quote = '\0';
   1160  1.55  rillig 		else if (quote == '\0')
   1161  1.55  rillig 		    quote = '\'';
   1162  1.54  rillig 		break;
   1163  1.54  rillig 	    case '*':
   1164  1.54  rillig 		if (*buf_ptr == '/' && in_comment) {
   1165  1.54  rillig 		    in_comment = 0;
   1166  1.63  rillig 		    *lab.e++ = *buf_ptr++;
   1167  1.63  rillig 		    com_end = (int)(lab.e - lab.s);
   1168  1.54  rillig 		}
   1169  1.54  rillig 		break;
   1170  1.54  rillig 	    }
   1171  1.54  rillig 	}
   1172  1.54  rillig 
   1173  1.63  rillig 	while (lab.e > lab.s && (lab.e[-1] == ' ' || lab.e[-1] == '\t'))
   1174  1.63  rillig 	    lab.e--;
   1175  1.63  rillig 	if (lab.e - lab.s == com_end && bp_save == NULL) {
   1176  1.54  rillig 	    /* comment on preprocessor line */
   1177  1.54  rillig 	    if (sc_end == NULL) {	/* if this is the first comment,
   1178  1.54  rillig 						 * we must set up the buffer */
   1179  1.54  rillig 		save_com = sc_buf;
   1180  1.54  rillig 		sc_end = &save_com[0];
   1181  1.54  rillig 	    } else {
   1182  1.54  rillig 		*sc_end++ = '\n';	/* add newline between
   1183  1.54  rillig 						 * comments */
   1184  1.54  rillig 		*sc_end++ = ' ';
   1185  1.54  rillig 		--line_no;
   1186  1.54  rillig 	    }
   1187  1.54  rillig 	    if (sc_end - save_com + com_end - com_start > sc_size)
   1188  1.54  rillig 		errx(1, "input too long");
   1189  1.63  rillig 	    memmove(sc_end, lab.s + com_start, (size_t)(com_end - com_start));
   1190  1.54  rillig 	    sc_end += com_end - com_start;
   1191  1.63  rillig 	    lab.e = lab.s + com_start;
   1192  1.63  rillig 	    while (lab.e > lab.s && (lab.e[-1] == ' ' || lab.e[-1] == '\t'))
   1193  1.63  rillig 		lab.e--;
   1194  1.54  rillig 	    bp_save = buf_ptr;	/* save current input buffer */
   1195  1.54  rillig 	    be_save = buf_end;
   1196  1.58  rillig 	    buf_ptr = save_com;	/* fix so that subsequent calls to lexi will
   1197  1.58  rillig 				 * take tokens out of save_com */
   1198  1.54  rillig 	    *sc_end++ = ' ';	/* add trailing blank, just in case */
   1199  1.54  rillig 	    buf_end = sc_end;
   1200  1.54  rillig 	    sc_end = NULL;
   1201  1.58  rillig 	    debug_println("switched buf_ptr to save_com");
   1202  1.54  rillig 	}
   1203  1.54  rillig 	check_size_label(1);
   1204  1.63  rillig 	*lab.e = '\0';	/* null terminate line */
   1205  1.54  rillig 	ps.pcase = false;
   1206  1.54  rillig     }
   1207  1.54  rillig 
   1208  1.63  rillig     if (strncmp(lab.s, "#if", 3) == 0) { /* also ifdef, ifndef */
   1209  1.54  rillig 	if ((size_t)ifdef_level < nitems(state_stack)) {
   1210  1.54  rillig 	    match_state[ifdef_level].tos = -1;
   1211  1.54  rillig 	    state_stack[ifdef_level++] = ps;
   1212  1.54  rillig 	} else
   1213  1.54  rillig 	    diag(1, "#if stack overflow");
   1214  1.63  rillig     } else if (strncmp(lab.s, "#el", 3) == 0) { /* else, elif */
   1215  1.54  rillig 	if (ifdef_level <= 0)
   1216  1.63  rillig 	    diag(1, lab.s[3] == 'i' ? "Unmatched #elif" : "Unmatched #else");
   1217  1.54  rillig 	else {
   1218  1.54  rillig 	    match_state[ifdef_level - 1] = ps;
   1219  1.54  rillig 	    ps = state_stack[ifdef_level - 1];
   1220  1.54  rillig 	}
   1221  1.63  rillig     } else if (strncmp(lab.s, "#endif", 6) == 0) {
   1222  1.54  rillig 	if (ifdef_level <= 0)
   1223  1.54  rillig 	    diag(1, "Unmatched #endif");
   1224  1.54  rillig 	else
   1225  1.54  rillig 	    ifdef_level--;
   1226  1.54  rillig     } else {
   1227  1.63  rillig 	if (strncmp(lab.s + 1, "pragma", 6) != 0 &&
   1228  1.63  rillig 	    strncmp(lab.s + 1, "error", 5) != 0 &&
   1229  1.63  rillig 	    strncmp(lab.s + 1, "line", 4) != 0 &&
   1230  1.63  rillig 	    strncmp(lab.s + 1, "undef", 5) != 0 &&
   1231  1.63  rillig 	    strncmp(lab.s + 1, "define", 6) != 0 &&
   1232  1.63  rillig 	    strncmp(lab.s + 1, "include", 7) != 0) {
   1233  1.54  rillig 	    diag(1, "Unrecognized cpp directive");
   1234  1.54  rillig 	    return;
   1235  1.54  rillig 	}
   1236  1.54  rillig     }
   1237  1.54  rillig     if (opt.blanklines_around_conditional_compilation) {
   1238  1.54  rillig 	postfix_blankline_requested++;
   1239  1.54  rillig 	n_real_blanklines = 0;
   1240  1.54  rillig     } else {
   1241  1.54  rillig 	postfix_blankline_requested = 0;
   1242  1.54  rillig 	prefix_blankline_requested = 0;
   1243  1.54  rillig     }
   1244  1.54  rillig 
   1245  1.54  rillig     /*
   1246  1.54  rillig      * subsequent processing of the newline character will cause the line to
   1247  1.54  rillig      * be printed
   1248  1.54  rillig      */
   1249  1.54  rillig }
   1250  1.54  rillig 
   1251  1.60  rillig static void __attribute__((__noreturn__))
   1252  1.53  rillig main_loop(void)
   1253  1.53  rillig {
   1254  1.64  rillig     token_type ttype;
   1255  1.53  rillig     int force_nl;		/* when true, code must be broken */
   1256  1.53  rillig     int last_else = false;	/* true iff last keyword was an else */
   1257  1.53  rillig     int         dec_ind;	/* current indentation for declarations */
   1258  1.53  rillig     int         di_stack[20];	/* a stack of structure indentation levels */
   1259  1.53  rillig     int		tabs_to_var;	/* true if using tabs to indent to var name */
   1260  1.53  rillig     int         sp_sw;		/* when true, we are in the expression of
   1261  1.53  rillig 				 * if(...), while(...), etc. */
   1262  1.53  rillig     token_type  hd_type = end_of_file; /* used to store type of stmt
   1263  1.53  rillig 				 * for if (...), for (...), etc */
   1264  1.53  rillig     int         squest;		/* when this is positive, we have seen a ?
   1265  1.53  rillig 				 * without the matching : in a <c>?<s>:<s>
   1266  1.53  rillig 				 * construct */
   1267  1.53  rillig     int         scase;		/* set to true when we see a case, so we will
   1268  1.53  rillig 				 * know what to do with the following colon */
   1269  1.53  rillig 
   1270  1.53  rillig     sp_sw = force_nl = false;
   1271  1.53  rillig     dec_ind = 0;
   1272  1.53  rillig     di_stack[ps.dec_nest = 0] = 0;
   1273  1.53  rillig     scase = false;
   1274  1.53  rillig     squest = 0;
   1275  1.53  rillig     tabs_to_var = 0;
   1276   1.1     cgd 
   1277  1.59  rillig     for (;;) {			/* this is the main loop.  it will go until we
   1278   1.1     cgd 				 * reach eof */
   1279  1.25   kamil 	int comment_buffered = false;
   1280   1.1     cgd 
   1281  1.64  rillig 	ttype = lexi(&ps);	/* Read the next token.  The actual characters
   1282  1.64  rillig 				 * read are stored in "token". */
   1283   1.1     cgd 
   1284  1.25   kamil 	/*
   1285  1.25   kamil 	 * The following code moves newlines and comments following an if (),
   1286  1.25   kamil 	 * while (), else, etc. up to the start of the following stmt to
   1287  1.25   kamil 	 * a buffer. This allows proper handling of both kinds of brace
   1288  1.25   kamil 	 * placement (-br, -bl) and cuddling "else" (-ce).
   1289  1.25   kamil 	 */
   1290  1.64  rillig 	search_brace(&ttype, &force_nl, &comment_buffered, &last_else);
   1291  1.25   kamil 
   1292  1.64  rillig 	if (ttype == end_of_file) {
   1293  1.54  rillig 	    process_end_of_file();
   1294  1.60  rillig 	    /* NOTREACHED */
   1295  1.54  rillig 	}
   1296  1.25   kamil 
   1297  1.25   kamil 	if (
   1298  1.64  rillig 		ttype != comment &&
   1299  1.64  rillig 		ttype != newline &&
   1300  1.64  rillig 		ttype != preprocessing &&
   1301  1.64  rillig 		ttype != form_feed) {
   1302  1.64  rillig 	    process_comment_in_code(ttype, &force_nl);
   1303  1.25   kamil 
   1304  1.64  rillig 	} else if (ttype != comment) /* preserve force_nl through a comment */
   1305  1.25   kamil 	    force_nl = false;	/* cancel forced newline after newline, form
   1306  1.25   kamil 				 * feed, etc */
   1307   1.1     cgd 
   1308   1.1     cgd 
   1309   1.1     cgd 
   1310  1.25   kamil 	/*-----------------------------------------------------*\
   1311  1.25   kamil 	|	   do switch on type of token scanned		|
   1312  1.25   kamil 	\*-----------------------------------------------------*/
   1313  1.65  rillig 	check_size_code(3);	/* maximum number of increments of code.e
   1314  1.34  rillig 				 * before the next check_size_code or
   1315  1.25   kamil 				 * dump_line() is 2. After that there's the
   1316  1.25   kamil 				 * final increment for the null character. */
   1317  1.64  rillig 	switch (ttype) {
   1318  1.25   kamil 
   1319  1.64  rillig 	case form_feed:
   1320  1.54  rillig 	    process_form_feed();
   1321  1.25   kamil 	    break;
   1322  1.25   kamil 
   1323  1.25   kamil 	case newline:
   1324  1.54  rillig 	    process_newline();
   1325  1.25   kamil 	    break;
   1326  1.25   kamil 
   1327  1.25   kamil 	case lparen:		/* got a '(' or '[' */
   1328  1.54  rillig 	    process_lparen_or_lbracket(dec_ind, tabs_to_var, sp_sw);
   1329  1.25   kamil 	    break;
   1330  1.25   kamil 
   1331  1.25   kamil 	case rparen:		/* got a ')' or ']' */
   1332  1.54  rillig 	    process_rparen_or_rbracket(&sp_sw, &force_nl, hd_type);
   1333  1.25   kamil 	    break;
   1334  1.25   kamil 
   1335  1.25   kamil 	case unary_op:		/* this could be any unary operation */
   1336  1.54  rillig 	    process_unary_op(dec_ind, tabs_to_var);
   1337  1.25   kamil 	    break;
   1338  1.25   kamil 
   1339  1.36  rillig 	case binary_op:		/* any binary operation */
   1340  1.54  rillig 	    process_binary_op();
   1341  1.25   kamil 	    break;
   1342  1.25   kamil 
   1343  1.39  rillig 	case postfix_op:	/* got a trailing ++ or -- */
   1344  1.54  rillig 	    process_postfix_op();
   1345  1.25   kamil 	    break;
   1346  1.25   kamil 
   1347  1.25   kamil 	case question:		/* got a ? */
   1348  1.54  rillig 	    process_question(&squest);
   1349  1.25   kamil 	    break;
   1350  1.25   kamil 
   1351  1.38  rillig 	case case_label:	/* got word 'case' or 'default' */
   1352  1.25   kamil 	    scase = true;	/* so we can process the later colon properly */
   1353  1.25   kamil 	    goto copy_id;
   1354  1.25   kamil 
   1355  1.25   kamil 	case colon:		/* got a ':' */
   1356  1.54  rillig 	    process_colon(&squest, &force_nl, &scase);
   1357  1.25   kamil 	    break;
   1358  1.25   kamil 
   1359  1.54  rillig 	case semicolon:		/* got a ';' */
   1360  1.54  rillig 	    process_semicolon(&scase, &squest, dec_ind, tabs_to_var, &sp_sw,
   1361  1.54  rillig 		hd_type, &force_nl);
   1362  1.25   kamil 	    break;
   1363  1.25   kamil 
   1364  1.25   kamil 	case lbrace:		/* got a '{' */
   1365  1.54  rillig 	    process_lbrace(&force_nl, &sp_sw, hd_type, di_stack,
   1366  1.59  rillig 		(int)nitems(di_stack), &dec_ind);
   1367  1.25   kamil 	    break;
   1368  1.25   kamil 
   1369  1.25   kamil 	case rbrace:		/* got a '}' */
   1370  1.54  rillig 	    process_rbrace(&sp_sw, &dec_ind, di_stack);
   1371  1.25   kamil 	    break;
   1372  1.25   kamil 
   1373  1.38  rillig 	case switch_expr:	/* got keyword "switch" */
   1374  1.25   kamil 	    sp_sw = true;
   1375  1.38  rillig 	    hd_type = switch_expr; /* keep this for when we have seen the
   1376  1.25   kamil 				 * expression */
   1377  1.25   kamil 	    goto copy_id;	/* go move the token into buffer */
   1378  1.25   kamil 
   1379  1.37  rillig 	case keyword_for_if_while:
   1380  1.25   kamil 	    sp_sw = true;	/* the interesting stuff is done after the
   1381  1.25   kamil 				 * expression is scanned */
   1382  1.38  rillig 	    hd_type = (*token == 'i' ? if_expr :
   1383  1.38  rillig 		       (*token == 'w' ? while_expr : for_exprs));
   1384  1.25   kamil 
   1385  1.54  rillig 	    /* remember the type of header for later use by parser */
   1386  1.25   kamil 	    goto copy_id;	/* copy the token into line */
   1387  1.25   kamil 
   1388  1.37  rillig 	case keyword_do_else:
   1389  1.54  rillig 	    process_keyword_do_else(&force_nl, &last_else);
   1390  1.25   kamil 	    goto copy_id;	/* move the token into line */
   1391  1.25   kamil 
   1392  1.25   kamil 	case type_def:
   1393  1.39  rillig 	case storage_class:
   1394  1.25   kamil 	    prefix_blankline_requested = 0;
   1395  1.25   kamil 	    goto copy_id;
   1396  1.25   kamil 
   1397  1.39  rillig 	case keyword_struct_union_enum:
   1398  1.25   kamil 	    if (ps.p_l_follow > 0)
   1399  1.25   kamil 		goto copy_id;
   1400  1.25   kamil 	    /* FALLTHROUGH */
   1401  1.25   kamil 	case decl:		/* we have a declaration type (int, etc.) */
   1402  1.54  rillig 	    process_decl(&dec_ind, &tabs_to_var);
   1403  1.25   kamil 	    goto copy_id;
   1404  1.25   kamil 
   1405  1.25   kamil 	case funcname:
   1406  1.25   kamil 	case ident:		/* got an identifier or constant */
   1407  1.64  rillig 	    process_ident(ttype, dec_ind, tabs_to_var, &sp_sw, &force_nl,
   1408  1.64  rillig 			  hd_type);
   1409  1.25   kamil     copy_id:
   1410  1.54  rillig 	    copy_id();
   1411  1.64  rillig 	    if (ttype != funcname)
   1412  1.25   kamil 		ps.want_blank = true;
   1413  1.25   kamil 	    break;
   1414  1.25   kamil 
   1415  1.39  rillig 	case string_prefix:
   1416  1.54  rillig 	    process_string_prefix();
   1417  1.25   kamil 	    break;
   1418   1.1     cgd 
   1419  1.54  rillig 	case period:
   1420  1.54  rillig 	    process_period();
   1421  1.25   kamil 	    break;
   1422  1.25   kamil 
   1423  1.25   kamil 	case comma:
   1424  1.54  rillig 	    process_comma(dec_ind, tabs_to_var, &force_nl);
   1425  1.25   kamil 	    break;
   1426  1.25   kamil 
   1427  1.39  rillig 	case preprocessing:	/* '#' */
   1428  1.54  rillig 	    process_preprocessing();
   1429  1.54  rillig 	    break;
   1430  1.56  rillig 	case comment:		/* the initial '/' '*' or '//' of a comment */
   1431  1.56  rillig 	    process_comment();
   1432  1.25   kamil 	    break;
   1433  1.30  rillig 
   1434  1.30  rillig 	default:
   1435  1.30  rillig 	    break;
   1436  1.64  rillig 	}
   1437  1.25   kamil 
   1438  1.65  rillig 	*code.e = '\0';
   1439  1.64  rillig 	if (ttype != comment &&
   1440  1.64  rillig 	    ttype != newline &&
   1441  1.64  rillig 	    ttype != preprocessing)
   1442  1.64  rillig 	    ps.last_token = ttype;
   1443  1.53  rillig     }
   1444  1.53  rillig }
   1445  1.53  rillig 
   1446  1.53  rillig int
   1447  1.53  rillig main(int argc, char **argv)
   1448  1.53  rillig {
   1449  1.53  rillig     main_init_globals();
   1450  1.53  rillig     main_parse_command_line(argc, argv);
   1451  1.53  rillig #if HAVE_CAPSICUM
   1452  1.53  rillig     init_capsicum();
   1453  1.53  rillig #endif
   1454  1.53  rillig     main_prepare_parsing();
   1455  1.53  rillig     main_loop();
   1456  1.25   kamil }
   1457   1.6   lukem 
   1458   1.1     cgd /*
   1459   1.1     cgd  * copy input file to backup file if in_name is /blah/blah/blah/file, then
   1460   1.1     cgd  * backup file will be ".Bfile" then make the backup file the input and
   1461   1.1     cgd  * original input file the output
   1462   1.1     cgd  */
   1463  1.25   kamil static void
   1464  1.13     wiz bakcopy(void)
   1465   1.1     cgd {
   1466  1.59  rillig     ssize_t n;
   1467  1.59  rillig     int bakchn;
   1468  1.59  rillig     char buff[8 * 1024];
   1469  1.25   kamil     const char *p;
   1470  1.25   kamil 
   1471  1.25   kamil     /* construct file name .Bfile */
   1472  1.25   kamil     for (p = in_name; *p; p++);	/* skip to end of string */
   1473  1.25   kamil     while (p > in_name && *p != '/')	/* find last '/' */
   1474  1.25   kamil 	p--;
   1475  1.25   kamil     if (*p == '/')
   1476  1.25   kamil 	p++;
   1477  1.25   kamil     sprintf(bakfile, "%s%s", p, simple_backup_suffix);
   1478  1.25   kamil 
   1479  1.25   kamil     /* copy in_name to backup file */
   1480  1.25   kamil     bakchn = creat(bakfile, 0600);
   1481  1.25   kamil     if (bakchn < 0)
   1482  1.25   kamil 	err(1, "%s", bakfile);
   1483  1.25   kamil     while ((n = read(fileno(input), buff, sizeof(buff))) > 0)
   1484  1.59  rillig 	if (write(bakchn, buff, (size_t)n) != n)
   1485  1.25   kamil 	    err(1, "%s", bakfile);
   1486  1.25   kamil     if (n < 0)
   1487  1.25   kamil 	err(1, "%s", in_name);
   1488  1.25   kamil     close(bakchn);
   1489  1.25   kamil     fclose(input);
   1490  1.25   kamil 
   1491  1.25   kamil     /* re-open backup file as the input file */
   1492  1.25   kamil     input = fopen(bakfile, "r");
   1493  1.25   kamil     if (input == NULL)
   1494  1.25   kamil 	err(1, "%s", bakfile);
   1495  1.25   kamil     /* now the original input file will be the output */
   1496  1.25   kamil     output = fopen(in_name, "w");
   1497  1.25   kamil     if (output == NULL) {
   1498  1.25   kamil 	unlink(bakfile);
   1499  1.25   kamil 	err(1, "%s", in_name);
   1500  1.25   kamil     }
   1501  1.25   kamil }
   1502  1.25   kamil 
   1503  1.25   kamil static void
   1504  1.25   kamil indent_declaration(int cur_dec_ind, int tabs_to_var)
   1505  1.25   kamil {
   1506  1.65  rillig     int pos = (int)(code.e - code.s);
   1507  1.65  rillig     char *startpos = code.e;
   1508  1.25   kamil 
   1509  1.25   kamil     /*
   1510  1.25   kamil      * get the tab math right for indentations that are not multiples of tabsize
   1511  1.25   kamil      */
   1512  1.57  rillig     if ((ps.ind_level * opt.indent_size) % opt.tabsize != 0) {
   1513  1.57  rillig 	pos += (ps.ind_level * opt.indent_size) % opt.tabsize;
   1514  1.57  rillig 	cur_dec_ind += (ps.ind_level * opt.indent_size) % opt.tabsize;
   1515  1.25   kamil     }
   1516  1.25   kamil     if (tabs_to_var) {
   1517  1.25   kamil 	int tpos;
   1518  1.25   kamil 
   1519  1.61  rillig 	check_size_code((size_t)(cur_dec_ind / opt.tabsize));
   1520  1.25   kamil 	while ((tpos = opt.tabsize * (1 + pos / opt.tabsize)) <= cur_dec_ind) {
   1521  1.65  rillig 	    *code.e++ = '\t';
   1522  1.25   kamil 	    pos = tpos;
   1523   1.6   lukem 	}
   1524  1.25   kamil     }
   1525  1.61  rillig     check_size_code((size_t)(cur_dec_ind - pos + 1));
   1526  1.25   kamil     while (pos < cur_dec_ind) {
   1527  1.65  rillig 	*code.e++ = ' ';
   1528  1.25   kamil 	pos++;
   1529  1.25   kamil     }
   1530  1.65  rillig     if (code.e == startpos && ps.want_blank) {
   1531  1.65  rillig 	*code.e++ = ' ';
   1532  1.25   kamil 	ps.want_blank = false;
   1533  1.25   kamil     }
   1534   1.1     cgd }
   1535  1.48  rillig 
   1536  1.48  rillig #ifdef debug
   1537  1.48  rillig void
   1538  1.48  rillig debug_printf(const char *fmt, ...)
   1539  1.48  rillig {
   1540  1.48  rillig     FILE *f = output == stdout ? stderr : stdout;
   1541  1.48  rillig     va_list ap;
   1542  1.48  rillig 
   1543  1.48  rillig     va_start(ap, fmt);
   1544  1.48  rillig     vfprintf(f, fmt, ap);
   1545  1.48  rillig     va_end(ap);
   1546  1.48  rillig }
   1547  1.48  rillig 
   1548  1.48  rillig void
   1549  1.48  rillig debug_println(const char *fmt, ...)
   1550  1.48  rillig {
   1551  1.48  rillig     FILE *f = output == stdout ? stderr : stdout;
   1552  1.48  rillig     va_list ap;
   1553  1.48  rillig 
   1554  1.48  rillig     va_start(ap, fmt);
   1555  1.48  rillig     vfprintf(f, fmt, ap);
   1556  1.48  rillig     va_end(ap);
   1557  1.48  rillig     fprintf(f, "\n");
   1558  1.48  rillig }
   1559  1.48  rillig 
   1560  1.48  rillig void
   1561  1.48  rillig debug_vis_range(const char *prefix, const char *s, const char *e,
   1562  1.48  rillig 		const char *suffix)
   1563  1.48  rillig {
   1564  1.48  rillig     debug_printf("%s", prefix);
   1565  1.48  rillig     for (const char *p = s; p < e; p++) {
   1566  1.48  rillig 	if (isprint((unsigned char)*p) && *p != '\\' && *p != '"')
   1567  1.48  rillig 	    debug_printf("%c", *p);
   1568  1.48  rillig 	else if (*p == '\n')
   1569  1.48  rillig 	    debug_printf("\\n");
   1570  1.48  rillig 	else if (*p == '\t')
   1571  1.48  rillig 	    debug_printf("\\t");
   1572  1.48  rillig 	else
   1573  1.48  rillig 	    debug_printf("\\x%02x", *p);
   1574  1.48  rillig     }
   1575  1.48  rillig     debug_printf("%s", suffix);
   1576  1.48  rillig }
   1577  1.48  rillig #endif
   1578