ccheck.c

检查 C 源码中括号的匹配性

/*
 * CCHECK.C -- Aztec C Version of CCHK, 06/23/85
 *
 *
 * Copyright: The Regents of the University of California
 *   [Note - since Steve Draper distributed cchk.c over
 *    Usenet, I assume it's effectively in the public
 *    domain. JCM]
 *
 * Title:  ccheck
 *
 * Purpose: To find and report all badly matched openers and
 *   closers plus assignment/equality confusions
 *   in a c source file.
 *
 * Author:  Steve Draper, expanding cnest by Tom Anderson
 *
 * Usage:  ccheck [-q] [-v] <filename1> <filename2> ...
 *
 * History (in reverse order to minimize reading time for updates):
 *
 *   June 18, 1985  Converted to Aztec C - removed BDS C code  -  Rick Moore
 *
 *   January 9, 1983  Single BDS/UNIX source created
 *      as CCHECK.C  -- Jeff Martin
 *
 *   December 29, 1982 Adapted for BDS C --
 *       Jeff Martin at home.
 *
 *   December 20, 1982 Converted to cchk --
 *       Steve Draper at UCSD
 *
 *   December 9, 1982 Jeffrey Mogul at Stanford
 *    - checks for unclosed comment at end of file.
 *
 *   December 3, 1982 creation date --
 *      Tom Anderson at microsof!fluke
 */

#include <stdio.h>
#include <ctype.h>

#define TRUE 1
#define FALSE 0
#define SPACE 32

#define BRACE 1
#define SQBRAK  2
#define PAREN 3
#define IF 4
#define IFCOND 5
#define WHLCOND 6
#define THEN 7
#define ELSE 8

#define STACKSIZ 64

struct brak {
    int type, b_indent, b_ln;
} stack[STACKSIZ];

#define rmbrak(N) (top -= N, stackc -= N)
#define myungetc(C)  ungetc(((C) == '\n' ? SPACE : (C)), infile)

#define VFLAG "-v"
#define QFLAG "-q"
#define SFLAG "-s"

int firsttime; /* This was a static in mygetchar() */

int mygetchar(), pr();
void checkelse(), newbrak(), checkcloser(), prtype();

FILE *infile;
int ln, indent, commindent, stackc, commln;
int singlequoterr, oddsinglequote, bracecnt, parencnt, sqbrakcnt;
int errstatus, wstatus;
int errnmb, wnmb;
int verbose;
char *filename;
struct brak *top;

main(argc, argv)
unsigned argc ;
char *argv[] ;
{
    register int c ;
    int i;
    int doubleqflag;
    unsigned file_index;

    wnmb = 0;
    verbose = 0;
    file_index = 1;

    while (argc > 1  &&  argv[file_index][0] == '-') {
        if (strcmp(argv[file_index], VFLAG) == 0)
            verbose++;
        if (strcmp(argv[file_index], QFLAG) == 0)
            wnmb = -2;
        if (strcmp(argv[file_index], SFLAG) == 0)
            wnmb = -2;
        file_index++;
        argc--;
    }

    do {
        /* INIT for each file */
        firsttime = 1;
        doubleqflag = 0;
        errstatus = wstatus = 0;
        ln = 1;
        indent = 0;
        commindent = 0;
        singlequoterr = oddsinglequote = parencnt = sqbrakcnt = bracecnt =
          0;
        errnmb = 0;
        if (wnmb > -2)
            wnmb = 0;
        newbrak(0);

        if (argc == 1) {
            infile = stdin;
            filename = NULL;
        } else {
            if ((infile = fopen(argv[file_index], "r")) == (FILE * ) NULL) {
                fprintf (stdout, "%s: Can't access %s\n", argv[0], argv[file_ind
                continue;
            }
            filename = argv[file_index];
        }

        while ( ( c = mygetchar()) !=  EOF ) {
            if (verbose == 2) {
                for (i = stackc; i > 0; i--) {
                    printf("%c %d: type ", c, i);
                    prtype(stack[i].type);
                    printf(", indent %d, line %d.\n", stack[i].b_indent, stack[i
                }
            }

            switch (c) {
            case ';':
                ungetc(SPACE, infile);
                while (top->type == ELSE)
                    rmbrak(1);
                if (top->type == THEN) {
                    rmbrak(1);
                    checkelse();
                }
                break;

            case '!':
            case '>':
            case '<':
                /* swallow legit. '=' chars */
                c = mygetchar();
                if (c != '=')
                    myungetc(c);
                break;

            case '=':
                if ((top - 1)->type == IFCOND  ||  (top - 1)->type == WHLCOND) {
                    c = mygetchar();
                    if (c != '=') {
                        myungetc(c);
                        if (pr(1))
                            printf("Assignment instead of equals in conditional,
                               ln);
                    }
                }
                break;

            case '\n':
            case SPACE:
                c = mygetchar();
                switch (c) {
                case 'i':
                    /* if */
                    c = mygetchar();
                    if (c == 'f'
                      && !isalpha(c = fgetc(infile)) && !isdigit(c)) {
                        ungetc(c, infile);
                        newbrak(IF);
                        while ((c = mygetchar()) == SPACE ||  c == '\n')
                            ;
                        if (c != '(') {
                            if (pr(1))
                                printf("Bad if (no condition) line %d.\n",
                                   ln);
                            rmbrak(1);
                        } else
                            newbrak(IFCOND);
                        myungetc(c);
                    } else
                        myungetc(c);
                    break;
                case 'w':
                    /* while */
                    if ((c = mygetchar()) == 'h'
                      &&  (c = mygetchar()) == 'i'
                      &&  (c = mygetchar()) == 'l'
                      &&  (c = mygetchar()) == 'e'
                      &&  !isalpha(c = fgetc(infile))  &&  !isdigit(c)) {
                        ungetc(c, infile);
                        while ((c = mygetchar()) == SPACE ||  c == '\n')
                            ;
                        if (c != '(') {
                            if (pr(1))
                                printf("Bad while (no condition) line %d.\n",
                                   ln);
                        } else
                            newbrak(WHLCOND);
                        myungetc(c);
                    } else
                        myungetc(c);
                    break;
                case 'e':
                    /* else */
                    myungetc(c);
                    checkelse();
                    break;

                default:
                    myungetc(c);
                    break;
                }
                break;

            case '*':
                /* close comment ? */
                c = mygetchar();
                if (c != '/') {
                    myungetc(c);
                    break;
                }

                if (pr(1))
                    printf
                      ("Line %d: Comment close without open, indent %d\n",
                      ln, indent);

                break;

            case '\'':
                if ((c = fgetc(infile)) != '\\') {
                    if (c == '\''  ||  (c = fgetc(infile)) != '\'') {
                        if (pr(1))
                            printf("Bad character constant line %d\n", ln);
                        singlequoterr = 1;
                    }
                } else if (!isdigit(c = fgetc(infile))) {
                    if ((c = fgetc(infile)) != '\'') {
                        if (pr(1))
                            printf("Bad character constant with \\ line %d\n",
                               ln);
                    }
                } else {
                    if (isdigit(c = fgetc(infile)))
                        if (isdigit(c = fgetc(infile)))
                            c = fgetc(infile);
                    if (c != '\'')
                        if (pr(1))
                            printf("Bad character constant with \\0 line %d\n",
                               ln);
                }

                if (c != '\'') {
                    ungetc(c, infile);
                    oddsinglequote = !oddsinglequote;
                    singlequoterr = 1;
                }
                break;

            case '"':
                do {
                    c = fgetc(infile);
                    if (c == EOF) {
                        if (pr(2))
                            printf("Error: '\"' quoted string not ended by end o
                        break;
                    } else if (c == '\n') {
                        if (doubleqflag == 0)
                            if (pr(0))
                                printf("Warning: '\"' quoted string not ended by
                                   ln);
                        doubleqflag = 1;
                        ln++;
                    } else if (c == '\\') {
                        c = SPACE;
                        fgetc(infile);
                    }
                } while (c != '"');
                doubleqflag = 0;
                break;

            case '{':
                if (stackc  &&  indent < top->b_indent)
                    if (pr(0))
                        printf("Indent jumps backwards line %d.\n", ln);
                newbrak(BRACE);
                break;

            case '}':
                checkcloser(BRACE);
                while (top->type == ELSE)
                    rmbrak(1);
                if (top->type == THEN) {
                    rmbrak(1);
                    checkelse();
                }
                break;

            case '(':
                if (stackc  &&  indent < top->b_indent)
                    if (pr(0))
                        printf("Indent jumps backwards line %d.\n", ln);
                newbrak(PAREN);
                break;

            case ')':
                checkcloser(PAREN);
                if (top->type == IFCOND) {
                    rmbrak(1);
                    newbrak(THEN);
                } else if (top->type == WHLCOND)
                    rmbrak(1);
                break;

            case '[':
                if (stackc  &&   indent < top->b_indent)
                    if (pr(0))
                        printf("Indent jumps backwards line %d.\n", ln);
                newbrak(SQBRAK);
                break;

            case ']':
                checkcloser(SQBRAK);
                break;

            default:
                break;

            }
        }

        fclose(infile);

        while (stackc > 0) {
            pr(2);
            fputs("Unclosed brak at EOF: ", stdout);
            prtype(top->type);
            printf(" opened on line %d.\n", top->b_ln);
            switch (top->type) {
            case BRACE:
                bracecnt++;
                break;
            case SQBRAK:
                sqbrakcnt++;
                break;
            case PAREN:
                parencnt++;
                break;
            default:
                break;
            }
            rmbrak(1);
        }

        if ((i = (oddsinglequote || bracecnt || sqbrakcnt || parencnt)) ||
          errstatus) {
            pr(2);
            printf("Summary:\n");
        } else {
            if (filename != NULL) {
                fputs(filename, stdout);
                fputs(": ", stdout);
            }
            printf(" OK\n");