/* -*- Mode: C++; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- */ /* * This file is part of the LibreOffice project. * * This Source Code Form is subject to the terms of the Mozilla Public * License, v. 2.0. If a copy of the MPL was not distributed with this * file, You can obtain one at http://mozilla.org/MPL/2.0/. * * This file incorporates work covered by the following license notice: * * Licensed to the Apache Software Foundation (ASF) under one or more * contributor license agreements. See the NOTICE file distributed * with this work for additional information regarding copyright * ownership. The ASF licenses this file to you under the Apache * License, Version 2.0 (the "License"); you may not use this file * except in compliance with the License. You may obtain a copy of * the License at http://www.apache.org/licenses/LICENSE-2.0 . */ #include #include #include #include #include #include "cpp.h" #define OUTS 16384 static char outbuf[OUTS]; char* outptr = outbuf; Source* cursource; static int nerrs; struct token nltoken = { NL, 0, 1, (uchar*)"\n", 0 }; char* curtime; int incdepth; int ifdepth; int ifsatisfied[NIF]; int skipping; int #ifdef _WIN32 __cdecl #endif // _WIN32 main(int argc, char** argv) { Tokenrow tr; time_t t; char ebuf[BUFSIZ]; setbuf(stderr, ebuf); t = time(NULL); curtime = ctime(&t); maketokenrow(3, &tr); expandlex(); // coverity[tainted_string] - build time test tool setup(argc, argv); fixlex(); if (!Pflag) genline(); process(&tr); flushout(); fflush(stderr); exit(nerrs > 0); } void process(Tokenrow* trp) { int anymacros = 0; for (;;) { if (trp->tp >= trp->lp) { trp->tp = trp->lp = trp->bp; outptr = outbuf; // coverity[overrun-buffer-arg: FALSE] - a multiple of trp->max is allocated, not trp->max itself anymacros |= gettokens(trp, 1); trp->tp = trp->bp; } if (trp->tp->type == END) { if (--incdepth >= 0) { if (cursource->ifdepth) error(ERROR, "Unterminated conditional in #include"); unsetsource(); cursource->line += cursource->lineinc; trp->tp = trp->lp; if (!Pflag) genline(); continue; } if (ifdepth) error(ERROR, "Unterminated #if/#ifdef/#ifndef"); break; } if (trp->tp->type == SHARP) { trp->tp += 1; control(trp); } else if (!skipping && anymacros) expandrow(trp, NULL); if (skipping) setempty(trp); puttokens(trp); anymacros = 0; cursource->line += cursource->lineinc; if (cursource->lineinc > 1 && !Pflag) genline(); } } void control(Tokenrow* trp) { Nlist* np; Token* tp; tp = trp->tp; if (tp->type != NAME) { if (tp->type == NUMBER) goto kline; if (tp->type != NL) error(ERROR, "Unidentifiable control line"); return; /* else empty line */ } np = lookup(tp, 0); if (np == NULL || ((np->flag & ISKW) == 0 && !skipping)) { error(WARNING, "Unknown preprocessor control %t", tp); return; } if (skipping) { switch (np->val) { case KENDIF: if (--ifdepth < skipping) skipping = 0; --cursource->ifdepth; setempty(trp); return; case KIFDEF: case KIFNDEF: case KIF: if (++ifdepth >= NIF) error(FATAL, "#if too deeply nested"); ++cursource->ifdepth; return; case KELIF: case KELSE: if (ifdepth <= skipping) break; return; default: return; } } switch (np->val) { case KDEFINE: dodefine(trp); break; case KUNDEF: tp += 1; if (tp->type != NAME || trp->lp - trp->bp != 4) { error(ERROR, "Syntax error in #undef"); break; } if ((np = lookup(tp, 0)) != NULL) { np->flag &= ~ISDEFINED; if (Mflag) { if (np->ap) error(INFO, "Macro deletion of %s(%r)", np->name, np->ap); else error(INFO, "Macro deletion of %s", np->name); } } break; case KPRAGMA: case KIDENT: for (tp = trp->tp - 1; ((tp->type != NL) && (tp < trp->lp)); tp++) tp->type = UNCLASS; return; case KIFDEF: case KIFNDEF: case KIF: if (++ifdepth >= NIF) error(FATAL, "#if too deeply nested"); ++cursource->ifdepth; ifsatisfied[ifdepth] = 0; if (eval(trp, np->val)) ifsatisfied[ifdepth] = 1; else skipping = ifdepth; break; case KELIF: if (ifdepth == 0) { error(ERROR, "#elif with no #if"); return; } if (ifsatisfied[ifdepth] == 2) error(ERROR, "#elif after #else"); if (eval(trp, np->val)) { if (ifsatisfied[ifdepth]) skipping = ifdepth; else { skipping = 0; ifsatisfied[ifdepth] = 1; } } else skipping = ifdepth; break; case KELSE: if (ifdepth == 0 || cursource->ifdepth == 0) { error(ERROR, "#else with no #if"); return; } if (ifsatisfied[ifdepth] == 2) error(ERROR, "#else after #else"); if (trp->lp - trp->bp != 3) error(ERROR, "Syntax error in #else"); skipping = ifsatisfied[ifdepth] ? ifdepth : 0; ifsatisfied[ifdepth] = 2; break; case KENDIF: if (ifdepth == 0 || cursource->ifdepth == 0) { error(ERROR, "#endif with no #if"); return; } --ifdepth; --cursource->ifdepth; if (trp->lp - trp->bp != 3) error(WARNING, "Syntax error in #endif"); break; case KERROR: trp->tp = tp + 1; error(WARNING, "#error directive: %r", trp); break; case KLINE: trp->tp = tp + 1; expandrow(trp, ""); tp = trp->bp + 2; kline: if (tp + 1 >= trp->lp || tp->type != NUMBER || tp + 3 < trp->lp || (tp + 3 == trp->lp && ((tp + 1)->type != STRING || *(tp + 1)->t == 'L'))) { error(ERROR, "Syntax error in #line"); return; } cursource->line = atol((char*)tp->t) - 1; if (cursource->line < 0 || cursource->line >= 32768) error(WARNING, "#line specifies number out of range"); tp = tp + 1; if (tp + 1 < trp->lp) cursource->filename = (char*)newstring(tp->t + 1, tp->len - 2, 0); return; case KDEFINED: error(ERROR, "Bad syntax for control line"); break; case KIMPORT: doinclude(trp, -1, 1); trp->lp = trp->bp; return; case KINCLUDE: doinclude(trp, -1, 0); trp->lp = trp->bp; return; case KINCLUDENEXT: doinclude(trp, cursource->pathdepth, 0); trp->lp = trp->bp; return; case KEVAL: eval(trp, np->val); break; default: error(ERROR, "Preprocessor control `%t' not yet implemented", tp); break; } setempty(trp); return; } void* domalloc(size_t size) { void* p = malloc(size); if (p == NULL) error(FATAL, "Out of memory from malloc"); return p; } void dofree(void* p) { free(p); } void error(enum errtype type, char* string, ...) { va_list ap; char c, *cp, *ep; Token* tp; Tokenrow* trp; Source* s; int i; fprintf(stderr, "cpp: "); for (s = cursource; s; s = s->next) if (*s->filename) fprintf(stderr, "%s:%d ", s->filename, s->line); va_start(ap, string); for (ep = string; *ep; ep++) { if (*ep == '%') { switch (*++ep) { case 'c': c = (char)va_arg(ap, int); fprintf(stderr, "%c", c); break; case 's': cp = va_arg(ap, char*); fprintf(stderr, "%s", cp); break; case 'd': i = va_arg(ap, int); fprintf(stderr, "%d", i); break; case 't': tp = va_arg(ap, Token*); fprintf(stderr, "%.*s", (int)tp->len, tp->t); break; case 'r': trp = va_arg(ap, Tokenrow*); for (tp = trp->tp; tp < trp->lp && tp->type != NL; tp++) { if (tp > trp->tp && tp->wslen) fputc(' ', stderr); fprintf(stderr, "%.*s", (int)tp->len, tp->t); } break; default: fputc(*ep, stderr); break; } } else fputc(*ep, stderr); } va_end(ap); fputc('\n', stderr); if (type == FATAL) exit(1); if (type != WARNING) nerrs = 1; fflush(stderr); } /* vim:set shiftwidth=4 softtabstop=4 expandtab: */ value='feature/allo_contract45533'>feature/allo_contract45533 LibreOffice 核心代码仓库文档基金会
summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author