LCOV - code coverage report
Current view: top level - /mnt/build/buildbot/bld/build-lcov/gcc/m2/gm2-compiler-boot - M2MetaError.c (source / functions) Coverage Total Hit
Test: gcc.info Lines: 55.6 % 1526 849
Test Date: 2024-11-30 13:30:02 Functions: 55.5 % 128 71
Legend: Lines: hit not hit | Branches: + taken - not taken # not executed Branches: - 0 0

             Branch data     Line data    Source code
       1                 :             : /* do not edit automatically generated by mc from M2MetaError.  */
       2                 :             : /* M2MetaError.mod provides a set of high level error routines.
       3                 :             : 
       4                 :             : Copyright (C) 2008-2024 Free Software Foundation, Inc.
       5                 :             : Contributed by Gaius Mulley <gaius.mulley@southwales.ac.uk>.
       6                 :             : 
       7                 :             : This file is part of GNU Modula-2.
       8                 :             : 
       9                 :             : GNU Modula-2 is free software; you can redistribute it and/or modify
      10                 :             : it under the terms of the GNU General Public License as published by
      11                 :             : the Free Software Foundation; either version 3, or (at your option)
      12                 :             : any later version.
      13                 :             : 
      14                 :             : GNU Modula-2 is distributed in the hope that it will be useful, but
      15                 :             : WITHOUT ANY WARRANTY; without even the implied warranty of
      16                 :             : MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
      17                 :             : General Public License for more details.
      18                 :             : 
      19                 :             : You should have received a copy of the GNU General Public License
      20                 :             : along with GNU Modula-2; see the file COPYING3.  If not see
      21                 :             : <http://www.gnu.org/licenses/>.  */
      22                 :             : 
      23                 :             : #include "config.h"
      24                 :             : #include "system.h"
      25                 :             : #include "gcc-consolidation.h"
      26                 :             : 
      27                 :             : #include <stdbool.h>
      28                 :             : #   if !defined (PROC_D)
      29                 :             : #      define PROC_D
      30                 :             :        typedef void (*PROC_t) (void);
      31                 :             :        typedef struct { PROC_t proc; } PROC;
      32                 :             : #   endif
      33                 :             : 
      34                 :             : #   if !defined (TRUE)
      35                 :             : #      define TRUE (1==1)
      36                 :             : #   endif
      37                 :             : 
      38                 :             : #   if !defined (FALSE)
      39                 :             : #      define FALSE (1==0)
      40                 :             : #   endif
      41                 :             : 
      42                 :             : #   include "GStorage.h"
      43                 :             : #   include "Gmcrts.h"
      44                 :             : #include <safe-ctype.h>
      45                 :             : #if defined(__cplusplus)
      46                 :             : #   undef NULL
      47                 :             : #   define NULL 0
      48                 :             : #endif
      49                 :             : #define _M2MetaError_C
      50                 :             : 
      51                 :             : #include "GM2MetaError.h"
      52                 :             : #   include "GM2Base.h"
      53                 :             : #   include "GNameKey.h"
      54                 :             : #   include "GStrLib.h"
      55                 :             : #   include "GM2LexBuf.h"
      56                 :             : #   include "GM2Error.h"
      57                 :             : #   include "GFIO.h"
      58                 :             : #   include "GSFIO.h"
      59                 :             : #   include "GStringConvert.h"
      60                 :             : #   include "GM2Printf.h"
      61                 :             : #   include "GM2Options.h"
      62                 :             : #   include "GStrCase.h"
      63                 :             : #   include "Glibc.h"
      64                 :             : #   include "GSYSTEM.h"
      65                 :             : #   include "GM2Debug.h"
      66                 :             : #   include "GStorage.h"
      67                 :             : #   include "GIndexing.h"
      68                 :             : #   include "GDynamicStrings.h"
      69                 :             : #   include "GSymbolTable.h"
      70                 :             : #   include "GM2ColorString.h"
      71                 :             : #   include "GM2RTS.h"
      72                 :             : 
      73                 :             : #   define MaxStack 10
      74                 :             : #   define Debugging false
      75                 :             : #   define ColorDebug false
      76                 :             : typedef struct M2MetaError_GetTokProcedure_p M2MetaError_GetTokProcedure;
      77                 :             : 
      78                 :             : typedef struct M2MetaError_errorBlock_r M2MetaError_errorBlock;
      79                 :             : 
      80                 :             : typedef struct M2MetaError__T1_a M2MetaError__T1;
      81                 :             : 
      82                 :             : typedef struct M2MetaError__T2_r M2MetaError__T2;
      83                 :             : 
      84                 :             : typedef M2MetaError__T2 *M2MetaError_dictionaryEntry;
      85                 :             : 
      86                 :             : typedef enum {M2MetaError_none, M2MetaError_error, M2MetaError_warning, M2MetaError_note, M2MetaError_chained, M2MetaError_aborta} M2MetaError_errorType;
      87                 :             : 
      88                 :             : typedef enum {M2MetaError_unsetColor, M2MetaError_noColor, M2MetaError_quoteColor, M2MetaError_filenameColor, M2MetaError_errorColor, M2MetaError_warningColor, M2MetaError_noteColor, M2MetaError_keywordColor, M2MetaError_locusColor, M2MetaError_insertColor, M2MetaError_deleteColor, M2MetaError_typeColor, M2MetaError_range1Color, M2MetaError_range2Color} M2MetaError_colorType;
      89                 :             : 
      90                 :             : typedef unsigned int (*M2MetaError_GetTokProcedure_t) (unsigned int);
      91                 :             : struct M2MetaError_GetTokProcedure_p { M2MetaError_GetTokProcedure_t proc; };
      92                 :             : 
      93                 :             : struct M2MetaError__T1_a { M2MetaError_colorType array[MaxStack+1]; };
      94                 :             : struct M2MetaError__T2_r {
      95                 :             :                            DynamicStrings_String key;
      96                 :             :                            DynamicStrings_String value;
      97                 :             :                            M2MetaError_dictionaryEntry next;
      98                 :             :                          };
      99                 :             : 
     100                 :             : struct M2MetaError_errorBlock_r {
     101                 :             :                                   bool useError;
     102                 :             :                                   M2Error_Error e;
     103                 :             :                                   M2MetaError_errorType type;
     104                 :             :                                   DynamicStrings_String out;
     105                 :             :                                   DynamicStrings_String in;
     106                 :             :                                   unsigned int highplus1;
     107                 :             :                                   int len;
     108                 :             :                                   int ini;
     109                 :             :                                   bool glyph;
     110                 :             :                                   bool chain;
     111                 :             :                                   bool root;
     112                 :             :                                   bool quotes;
     113                 :             :                                   bool positive;
     114                 :             :                                   M2MetaError_colorType currentCol;
     115                 :             :                                   M2MetaError_colorType beginCol;
     116                 :             :                                   M2MetaError_colorType endCol;
     117                 :             :                                   M2MetaError__T1 colorStack;
     118                 :             :                                   unsigned int stackPtr;
     119                 :             :                                 };
     120                 :             : 
     121                 :             : static M2Error_Error lastRoot;
     122                 :             : static M2MetaError_colorType lastColor;
     123                 :             : static bool seenAbort;
     124                 :             : static Indexing_Index dictionary;
     125                 :             : static Indexing_Index outputStack;
     126                 :             : static M2MetaError_dictionaryEntry freeEntry;
     127                 :             : extern "C" void M2MetaError_MetaError0 (const char *m_, unsigned int _m_high);
     128                 :             : extern "C" void M2MetaError_MetaError1 (const char *m_, unsigned int _m_high, unsigned int s);
     129                 :             : extern "C" void M2MetaError_MetaError2 (const char *m_, unsigned int _m_high, unsigned int s1, unsigned int s2);
     130                 :             : extern "C" void M2MetaError_MetaError3 (const char *m_, unsigned int _m_high, unsigned int s1, unsigned int s2, unsigned int s3);
     131                 :             : extern "C" void M2MetaError_MetaError4 (const char *m_, unsigned int _m_high, unsigned int s1, unsigned int s2, unsigned int s3, unsigned int s4);
     132                 :             : 
     133                 :             : /*
     134                 :             :    wrapErrors -
     135                 :             : */
     136                 :             : 
     137                 :             : extern "C" void M2MetaError_MetaErrors1 (const char *m1_, unsigned int _m1_high, const char *m2_, unsigned int _m2_high, unsigned int s);
     138                 :             : 
     139                 :             : /*
     140                 :             :    wrapErrors -
     141                 :             : */
     142                 :             : 
     143                 :             : extern "C" void M2MetaError_MetaErrors2 (const char *m1_, unsigned int _m1_high, const char *m2_, unsigned int _m2_high, unsigned int s1, unsigned int s2);
     144                 :             : 
     145                 :             : /*
     146                 :             :    wrapErrors -
     147                 :             : */
     148                 :             : 
     149                 :             : extern "C" void M2MetaError_MetaErrors3 (const char *m1_, unsigned int _m1_high, const char *m2_, unsigned int _m2_high, unsigned int s1, unsigned int s2, unsigned int s3);
     150                 :             : 
     151                 :             : /*
     152                 :             :    wrapErrors -
     153                 :             : */
     154                 :             : 
     155                 :             : extern "C" void M2MetaError_MetaErrors4 (const char *m1_, unsigned int _m1_high, const char *m2_, unsigned int _m2_high, unsigned int s1, unsigned int s2, unsigned int s3, unsigned int s4);
     156                 :             : extern "C" void M2MetaError_MetaErrorT0 (unsigned int tok, const char *m_, unsigned int _m_high);
     157                 :             : extern "C" void M2MetaError_MetaErrorT1 (unsigned int tok, const char *m_, unsigned int _m_high, unsigned int s);
     158                 :             : extern "C" void M2MetaError_MetaErrorT2 (unsigned int tok, const char *m_, unsigned int _m_high, unsigned int s1, unsigned int s2);
     159                 :             : extern "C" void M2MetaError_MetaErrorT3 (unsigned int tok, const char *m_, unsigned int _m_high, unsigned int s1, unsigned int s2, unsigned int s3);
     160                 :             : extern "C" void M2MetaError_MetaErrorT4 (unsigned int tok, const char *m_, unsigned int _m_high, unsigned int s1, unsigned int s2, unsigned int s3, unsigned int s4);
     161                 :             : 
     162                 :             : /*
     163                 :             :    wrapErrors -
     164                 :             : */
     165                 :             : 
     166                 :             : extern "C" void M2MetaError_MetaErrorsT1 (unsigned int tok, const char *m1_, unsigned int _m1_high, const char *m2_, unsigned int _m2_high, unsigned int s);
     167                 :             : 
     168                 :             : /*
     169                 :             :    wrapErrors -
     170                 :             : */
     171                 :             : 
     172                 :             : extern "C" void M2MetaError_MetaErrorsT2 (unsigned int tok, const char *m1_, unsigned int _m1_high, const char *m2_, unsigned int _m2_high, unsigned int s1, unsigned int s2);
     173                 :             : 
     174                 :             : /*
     175                 :             :    wrapErrors -
     176                 :             : */
     177                 :             : 
     178                 :             : extern "C" void M2MetaError_MetaErrorsT3 (unsigned int tok, const char *m1_, unsigned int _m1_high, const char *m2_, unsigned int _m2_high, unsigned int s1, unsigned int s2, unsigned int s3);
     179                 :             : 
     180                 :             : /*
     181                 :             :    wrapErrors -
     182                 :             : */
     183                 :             : 
     184                 :             : extern "C" void M2MetaError_MetaErrorsT4 (unsigned int tok, const char *m1_, unsigned int _m1_high, const char *m2_, unsigned int _m2_high, unsigned int s1, unsigned int s2, unsigned int s3, unsigned int s4);
     185                 :             : 
     186                 :             : /*
     187                 :             :    wrapErrors -
     188                 :             : */
     189                 :             : 
     190                 :             : extern "C" void M2MetaError_MetaErrorString0 (DynamicStrings_String m);
     191                 :             : 
     192                 :             : /*
     193                 :             :    wrapErrors -
     194                 :             : */
     195                 :             : 
     196                 :             : extern "C" void M2MetaError_MetaErrorString1 (DynamicStrings_String m, unsigned int s);
     197                 :             : 
     198                 :             : /*
     199                 :             :    wrapErrors -
     200                 :             : */
     201                 :             : 
     202                 :             : extern "C" void M2MetaError_MetaErrorString2 (DynamicStrings_String m, unsigned int s1, unsigned int s2);
     203                 :             : 
     204                 :             : /*
     205                 :             :    wrapErrors -
     206                 :             : */
     207                 :             : 
     208                 :             : extern "C" void M2MetaError_MetaErrorString3 (DynamicStrings_String m, unsigned int s1, unsigned int s2, unsigned int s3);
     209                 :             : 
     210                 :             : /*
     211                 :             :    wrapErrors -
     212                 :             : */
     213                 :             : 
     214                 :             : extern "C" void M2MetaError_MetaErrorString4 (DynamicStrings_String m, unsigned int s1, unsigned int s2, unsigned int s3, unsigned int s4);
     215                 :             : extern "C" void M2MetaError_MetaErrorStringT0 (unsigned int tok, DynamicStrings_String m);
     216                 :             : extern "C" void M2MetaError_MetaErrorStringT1 (unsigned int tok, DynamicStrings_String m, unsigned int s);
     217                 :             : extern "C" void M2MetaError_MetaErrorStringT2 (unsigned int tok, DynamicStrings_String m, unsigned int s1, unsigned int s2);
     218                 :             : extern "C" void M2MetaError_MetaErrorStringT3 (unsigned int tok, DynamicStrings_String m, unsigned int s1, unsigned int s2, unsigned int s3);
     219                 :             : extern "C" void M2MetaError_MetaErrorStringT4 (unsigned int tok, DynamicStrings_String m, unsigned int s1, unsigned int s2, unsigned int s3, unsigned int s4);
     220                 :             : 
     221                 :             : /*
     222                 :             :    MetaErrorN1 -
     223                 :             : */
     224                 :             : 
     225                 :             : extern "C" void M2MetaError_MetaErrorN1 (const char *m_, unsigned int _m_high, NameKey_Name n);
     226                 :             : 
     227                 :             : /*
     228                 :             :    MetaErrorN2 -
     229                 :             : */
     230                 :             : 
     231                 :             : extern "C" void M2MetaError_MetaErrorN2 (const char *m_, unsigned int _m_high, NameKey_Name n1, NameKey_Name n2);
     232                 :             : 
     233                 :             : /*
     234                 :             :    MetaErrorNT0 - generate an error message at tok using format.
     235                 :             : */
     236                 :             : 
     237                 :             : extern "C" void M2MetaError_MetaErrorNT0 (unsigned int tok, const char *format_, unsigned int _format_high);
     238                 :             : 
     239                 :             : /*
     240                 :             :    MetaErrorNT1 - generate an error message at tok using format and name.
     241                 :             :                   The format should contain %a for name substitution.
     242                 :             : */
     243                 :             : 
     244                 :             : extern "C" void M2MetaError_MetaErrorNT1 (unsigned int tok, const char *format_, unsigned int _format_high, NameKey_Name name);
     245                 :             : extern "C" void M2MetaError_MetaErrorNT2 (unsigned int tok, const char *format_, unsigned int _format_high, NameKey_Name name1, NameKey_Name name2);
     246                 :             : 
     247                 :             : /*
     248                 :             :    wrapString - return a string which has been formatted with the specifier codes.
     249                 :             :                 Color is disabled.  The result string is returned.
     250                 :             : */
     251                 :             : 
     252                 :             : extern "C" DynamicStrings_String M2MetaError_MetaString0 (DynamicStrings_String m);
     253                 :             : 
     254                 :             : /*
     255                 :             :    wrapString - return a string which has been formatted with the specifier codes.
     256                 :             :                 Color is disabled.  The result string is returned.
     257                 :             : */
     258                 :             : 
     259                 :             : extern "C" DynamicStrings_String M2MetaError_MetaString1 (DynamicStrings_String m, unsigned int s);
     260                 :             : 
     261                 :             : /*
     262                 :             :    wrapString - return a string which has been formatted with the specifier codes.
     263                 :             :                 Color is disabled.  The result string is returned.
     264                 :             : */
     265                 :             : 
     266                 :             : extern "C" DynamicStrings_String M2MetaError_MetaString2 (DynamicStrings_String m, unsigned int s1, unsigned int s2);
     267                 :             : 
     268                 :             : /*
     269                 :             :    wrapString - return a string which has been formatted with the specifier codes.
     270                 :             :                 Color is disabled.  The result string is returned.
     271                 :             : */
     272                 :             : 
     273                 :             : extern "C" DynamicStrings_String M2MetaError_MetaString3 (DynamicStrings_String m, unsigned int s1, unsigned int s2, unsigned int s3);
     274                 :             : 
     275                 :             : /*
     276                 :             :    wrapString - return a string which has been formatted with the specifier codes.
     277                 :             :                 Color is disabled.  The result string is returned.
     278                 :             : */
     279                 :             : 
     280                 :             : extern "C" DynamicStrings_String M2MetaError_MetaString4 (DynamicStrings_String m, unsigned int s1, unsigned int s2, unsigned int s3, unsigned int s4);
     281                 :             : 
     282                 :             : /*
     283                 :             :    MetaErrorDecl - if sym is a variable or parameter then generate a
     284                 :             :                    declaration error or warning message.  If error is
     285                 :             :                    FALSE then a warning is issued.
     286                 :             : */
     287                 :             : 
     288                 :             : extern "C" void M2MetaError_MetaErrorDecl (unsigned int sym, bool error);
     289                 :             : 
     290                 :             : /*
     291                 :             :    pushOutput -
     292                 :             : */
     293                 :             : 
     294                 :             : static void pushOutput (M2MetaError_errorBlock *eb);
     295                 :             : 
     296                 :             : /*
     297                 :             :    readWord - reads and returns a word delimited by '}' it uses '%' as
     298                 :             :               the escape character.
     299                 :             : */
     300                 :             : 
     301                 :             : static DynamicStrings_String readWord (M2MetaError_errorBlock *eb);
     302                 :             : 
     303                 :             : /*
     304                 :             :    addEntry -
     305                 :             : */
     306                 :             : 
     307                 :             : static void addEntry (DynamicStrings_String key, DynamicStrings_String value);
     308                 :             : 
     309                 :             : /*
     310                 :             :    popOutput -
     311                 :             : */
     312                 :             : 
     313                 :             : static void popOutput (M2MetaError_errorBlock *eb);
     314                 :             : 
     315                 :             : /*
     316                 :             :    newEntry -
     317                 :             : */
     318                 :             : 
     319                 :             : static M2MetaError_dictionaryEntry newEntry (void);
     320                 :             : 
     321                 :             : /*
     322                 :             :    killEntry - dispose e and delete any strings.
     323                 :             : */
     324                 :             : 
     325                 :             : static void killEntry (M2MetaError_dictionaryEntry e);
     326                 :             : 
     327                 :             : /*
     328                 :             :    resetDictionary - remove all entries in the dictionary.
     329                 :             : */
     330                 :             : 
     331                 :             : static void resetDictionary (void);
     332                 :             : 
     333                 :             : /*
     334                 :             :    lookupString - lookup and return a duplicate of the string value for key s.
     335                 :             :                   NIL is returned if the key s is unknown.
     336                 :             : */
     337                 :             : 
     338                 :             : static DynamicStrings_String lookupString (DynamicStrings_String s);
     339                 :             : 
     340                 :             : /*
     341                 :             :    lookupDefine - looks up the word in the input string (ending with '}').
     342                 :             :                   It uses this word as a key into the dictionary and returns
     343                 :             :                   the entry.
     344                 :             : */
     345                 :             : 
     346                 :             : static DynamicStrings_String lookupDefine (M2MetaError_errorBlock *eb);
     347                 :             : 
     348                 :             : /*
     349                 :             :    processDefine - place contents of dictionary entry name onto the output string.
     350                 :             : */
     351                 :             : 
     352                 :             : static void processDefine (M2MetaError_errorBlock *eb);
     353                 :             : 
     354                 :             : /*
     355                 :             :    lookupColor - looks up the color enum from the string.
     356                 :             : */
     357                 :             : 
     358                 :             : static M2MetaError_colorType lookupColor (DynamicStrings_String s);
     359                 :             : 
     360                 :             : /*
     361                 :             :    readColor -
     362                 :             : */
     363                 :             : 
     364                 :             : static M2MetaError_colorType readColor (M2MetaError_errorBlock *eb);
     365                 :             : 
     366                 :             : /*
     367                 :             :    keyword - copy characters until the '}' in the input string and convert them to
     368                 :             :              the keyword color/font.
     369                 :             : */
     370                 :             : 
     371                 :             : static void keyword (M2MetaError_errorBlock *eb);
     372                 :             : 
     373                 :             : /*
     374                 :             :    filename - copy characters until the '}' in the input string and convert them to
     375                 :             :               the filename color/font.
     376                 :             : */
     377                 :             : 
     378                 :             : static void filename (M2MetaError_errorBlock *eb);
     379                 :             : 
     380                 :             : /*
     381                 :             :    pushColor -
     382                 :             : */
     383                 :             : 
     384                 :             : static void pushColor (M2MetaError_errorBlock *eb);
     385                 :             : 
     386                 :             : /*
     387                 :             :    popColor -
     388                 :             : */
     389                 :             : 
     390                 :             : static void popColor (M2MetaError_errorBlock *eb);
     391                 :             : 
     392                 :             : /*
     393                 :             :    initErrorBlock - initialise an error block with the, input, string.
     394                 :             : */
     395                 :             : 
     396                 :             : static void initErrorBlock (M2MetaError_errorBlock *eb, DynamicStrings_String input, const unsigned int *sym_, unsigned int _sym_high);
     397                 :             : 
     398                 :             : /*
     399                 :             :    push - performs a push from the oldblock to the newblock.
     400                 :             :           It copies all fields except the output string.
     401                 :             : */
     402                 :             : 
     403                 :             : static void push (M2MetaError_errorBlock *newblock, M2MetaError_errorBlock oldblock);
     404                 :             : 
     405                 :             : /*
     406                 :             :    pop - copies contents of oldblock into newblock.  It only copies the error
     407                 :             :          handle if the toblock.e is NIL.
     408                 :             : */
     409                 :             : 
     410                 :             : static void pop (M2MetaError_errorBlock *toblock, M2MetaError_errorBlock *fromblock);
     411                 :             : 
     412                 :             : /*
     413                 :             :    OutOpenQuote -
     414                 :             : */
     415                 :             : 
     416                 :             : static void OutOpenQuote (M2MetaError_errorBlock *eb);
     417                 :             : 
     418                 :             : /*
     419                 :             :    OutCloseQuote -
     420                 :             : */
     421                 :             : 
     422                 :             : static void OutCloseQuote (M2MetaError_errorBlock *eb);
     423                 :             : 
     424                 :             : /*
     425                 :             :    findColorType - return the color of the string.  This is determined by the first
     426                 :             :                    occurrance of an error, warning or note marker.  An error message
     427                 :             :                    is assumed to either be: a keyword category, error category, note
     428                 :             :                    category, warning category or to be chained from a previous error.
     429                 :             : */
     430                 :             : 
     431                 :             : static M2MetaError_colorType findColorType (DynamicStrings_String s);
     432                 :             : 
     433                 :             : /*
     434                 :             :    killErrorBlock - deallocates the dynamic strings associated with the error block.
     435                 :             : */
     436                 :             : 
     437                 :             : static void killErrorBlock (M2MetaError_errorBlock *eb);
     438                 :             : 
     439                 :             : /*
     440                 :             :    InternalFormat - produces an informative internal error.
     441                 :             : */
     442                 :             : 
     443                 :             : static void InternalFormat (M2MetaError_errorBlock eb, const char *m_, unsigned int _m_high, unsigned int line);
     444                 :             : 
     445                 :             : /*
     446                 :             :    x - checks to see that a=b.
     447                 :             : */
     448                 :             : 
     449                 :             : static DynamicStrings_String x (DynamicStrings_String a, DynamicStrings_String b);
     450                 :             : 
     451                 :             : /*
     452                 :             :    IsWhite - returns TRUE if, ch, is a space.
     453                 :             : */
     454                 :             : 
     455                 :             : static bool IsWhite (char ch);
     456                 :             : 
     457                 :             : /*
     458                 :             :    skip - skips over this level input until the next '}'.
     459                 :             : */
     460                 :             : 
     461                 :             : static void skip (M2MetaError_errorBlock *sb);
     462                 :             : 
     463                 :             : /*
     464                 :             :    ifNonNulThen := [ ':' ebnf ] =:
     465                 :             : */
     466                 :             : 
     467                 :             : static void ifNonNulThen (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high);
     468                 :             : 
     469                 :             : /*
     470                 :             :    doNumber -
     471                 :             : */
     472                 :             : 
     473                 :             : static void doNumber (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol);
     474                 :             : 
     475                 :             : /*
     476                 :             :    doCount -
     477                 :             : */
     478                 :             : 
     479                 :             : static void doCount (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol);
     480                 :             : 
     481                 :             : /*
     482                 :             :    doCount -
     483                 :             : */
     484                 :             : 
     485                 :             : static void doAscii (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol);
     486                 :             : 
     487                 :             : /*
     488                 :             :    unquotedKeyword -
     489                 :             : */
     490                 :             : 
     491                 :             : static void unquotedKeyword (M2MetaError_errorBlock *eb);
     492                 :             : 
     493                 :             : /*
     494                 :             :    OutArray -
     495                 :             : */
     496                 :             : 
     497                 :             : static void OutArray (M2MetaError_errorBlock *eb, const char *a_, unsigned int _a_high);
     498                 :             : 
     499                 :             : /*
     500                 :             :    OutGlyphS - outputs a string of glyphs.
     501                 :             : */
     502                 :             : 
     503                 :             : static void OutGlyphS (M2MetaError_errorBlock *eb, DynamicStrings_String s);
     504                 :             : 
     505                 :             : /*
     506                 :             :    empty - returns TRUE if the output string is empty.
     507                 :             :            It ignores color changes.
     508                 :             : */
     509                 :             : 
     510                 :             : static bool empty (M2MetaError_errorBlock *eb);
     511                 :             : 
     512                 :             : /*
     513                 :             :    clear - remove the output string.
     514                 :             : */
     515                 :             : 
     516                 :             : static void clear (M2MetaError_errorBlock *eb);
     517                 :             : 
     518                 :             : /*
     519                 :             :    clear - remove the output string.
     520                 :             : */
     521                 :             : 
     522                 :             : static void doName (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol);
     523                 :             : 
     524                 :             : /*
     525                 :             :    clear - remove the output string.
     526                 :             : */
     527                 :             : 
     528                 :             : static void doQualified (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol);
     529                 :             : 
     530                 :             : /*
     531                 :             :    doType - returns a string containing the type name of
     532                 :             :             sym.
     533                 :             : */
     534                 :             : 
     535                 :             : static void doType (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol);
     536                 :             : 
     537                 :             : /*
     538                 :             :    doSkipType - will skip all pseudonym types.  It also
     539                 :             :                 returns the type symbol found and name.
     540                 :             : */
     541                 :             : 
     542                 :             : static void doSkipType (M2MetaError_errorBlock eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol);
     543                 :             : 
     544                 :             : /*
     545                 :             :    doGetType - attempts to get the type of sym[bol].
     546                 :             : */
     547                 :             : 
     548                 :             : static void doGetType (M2MetaError_errorBlock *eb, unsigned int *sym, unsigned int _sym_high, unsigned int bol);
     549                 :             : 
     550                 :             : /*
     551                 :             :    doGetSkipType - will skip all pseudonym types.  It also
     552                 :             :                    returns the type symbol found and name.
     553                 :             : */
     554                 :             : 
     555                 :             : static void doGetSkipType (M2MetaError_errorBlock *eb, unsigned int *sym, unsigned int _sym_high, unsigned int bol);
     556                 :             : 
     557                 :             : /*
     558                 :             :    doChain -
     559                 :             : */
     560                 :             : 
     561                 :             : static void doChain (M2MetaError_errorBlock *eb, unsigned int tok);
     562                 :             : 
     563                 :             : /*
     564                 :             :    doError - creates and returns an error note.
     565                 :             : */
     566                 :             : 
     567                 :             : static void doError (M2MetaError_errorBlock *eb, unsigned int tok);
     568                 :             : 
     569                 :             : /*
     570                 :             :    defaultError - adds the default error location to, tok, if one has not already been
     571                 :             :                   assigned.
     572                 :             : */
     573                 :             : 
     574                 :             : static void defaultError (M2MetaError_errorBlock *eb, unsigned int tok);
     575                 :             : 
     576                 :             : /*
     577                 :             :    chooseError - choose the error kind dependant upon type.
     578                 :             :                  Either an error, warning or note will be generated.
     579                 :             : */
     580                 :             : 
     581                 :             : static void chooseError (M2MetaError_errorBlock *eb, unsigned int tok);
     582                 :             : 
     583                 :             : /*
     584                 :             :    doErrorScopeModule -
     585                 :             : */
     586                 :             : 
     587                 :             : static void doErrorScopeModule (M2MetaError_errorBlock *eb, unsigned int sym);
     588                 :             : 
     589                 :             : /*
     590                 :             :    doErrorScopeForward -
     591                 :             : */
     592                 :             : 
     593                 :             : static void doErrorScopeForward (M2MetaError_errorBlock *eb, unsigned int sym);
     594                 :             : 
     595                 :             : /*
     596                 :             :    doErrorScopeMod - potentially create an error referring to the definition
     597                 :             :                      module, fall back to the implementation or program module if
     598                 :             :                      there is no declaration in the definition module.
     599                 :             : */
     600                 :             : 
     601                 :             : static void doErrorScopeMod (M2MetaError_errorBlock *eb, unsigned int sym);
     602                 :             : 
     603                 :             : /*
     604                 :             :    doErrorScopeFor - potentially create an error referring to the
     605                 :             :                      forward declaration, definition module, fall back
     606                 :             :                      to the implementation or program module if
     607                 :             :                      there is no declaration in the definition module.
     608                 :             : */
     609                 :             : 
     610                 :             : static void doErrorScopeFor (M2MetaError_errorBlock *eb, unsigned int sym);
     611                 :             : static void declaredMod (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol);
     612                 :             : 
     613                 :             : /*
     614                 :             :    doErrorScopeDefinition - use the declaration in the definitio module if one is available.
     615                 :             : */
     616                 :             : 
     617                 :             : static void doErrorScopeDefinition (M2MetaError_errorBlock *eb, unsigned int sym);
     618                 :             : 
     619                 :             : /*
     620                 :             :    doErrorScopeDef - potentially create an error referring to the definition
     621                 :             :                      module, fall back to the implementation or program module if
     622                 :             :                      there is no declaration in the definition module.
     623                 :             : */
     624                 :             : 
     625                 :             : static void doErrorScopeDef (M2MetaError_errorBlock *eb, unsigned int sym);
     626                 :             : static void declaredDef (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol);
     627                 :             : static void declaredFor (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol);
     628                 :             : 
     629                 :             : /*
     630                 :             :    doErrorScopeProc - determine the location for the error or warning from
     631                 :             :                       the default declaration.  For example parameters can be
     632                 :             :                       declared in definition, forward or in modules (proper procedure).
     633                 :             :                       Use GetVarParamTok to obtain a variable or parameter location.
     634                 :             : */
     635                 :             : 
     636                 :             : static void doErrorScopeProc (M2MetaError_errorBlock *eb, unsigned int sym, M2MetaError_GetTokProcedure GetVarParamTok);
     637                 :             : static void declaredVar (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol);
     638                 :             : static void declaredType (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol);
     639                 :             : static void declaredFull (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol);
     640                 :             : 
     641                 :             : /*
     642                 :             :    used - creates an error note where sym[bol] was first used.
     643                 :             : */
     644                 :             : 
     645                 :             : static void used (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol);
     646                 :             : 
     647                 :             : /*
     648                 :             :    symDesc -
     649                 :             : */
     650                 :             : 
     651                 :             : static DynamicStrings_String symDesc (unsigned int sym);
     652                 :             : 
     653                 :             : /*
     654                 :             :    doDesc -
     655                 :             : */
     656                 :             : 
     657                 :             : static void doDesc (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol);
     658                 :             : 
     659                 :             : /*
     660                 :             :    op := {'!'|'a'|'c'|'d'|'k'|'n'|'p'|'q'|'s'|'t'|'u'|
     661                 :             :           'A'|'B'|'C'|'D'|'E'|'F'|'G'|'H'|'K'|'M'|'N'|
     662                 :             :           'O'|'P'|'Q'|'R'|'S'|'T'|'U'|'V'|'W'|'X'|'Y'|'Z'} then =:
     663                 :             : */
     664                 :             : 
     665                 :             : static void op (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol);
     666                 :             : 
     667                 :             : /*
     668                 :             :    percenttoken := '%' (
     669                 :             :                          '1'        % doOperand(1) %
     670                 :             :                              op
     671                 :             :                        | '2'        % doOperand(2) %
     672                 :             :                              op
     673                 :             :                        | '3'        % doOperand(3) %
     674                 :             :                              op
     675                 :             :                        | '4'        % doOperand(4) %
     676                 :             :                              op
     677                 :             :                        )
     678                 :             :                        } =:
     679                 :             : */
     680                 :             : 
     681                 :             : static void percenttoken (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high);
     682                 :             : 
     683                 :             : /*
     684                 :             :    changeColor - changes to color, c.
     685                 :             : */
     686                 :             : 
     687                 :             : static void changeColor (M2MetaError_errorBlock *eb, M2MetaError_colorType c);
     688                 :             : 
     689                 :             : /*
     690                 :             :    shutdownColor - shutdown existing color if it exists.
     691                 :             : */
     692                 :             : 
     693                 :             : static void shutdownColor (M2MetaError_errorBlock *eb);
     694                 :             : 
     695                 :             : /*
     696                 :             :    flushColor - flushes any outstanding color change.
     697                 :             : */
     698                 :             : 
     699                 :             : static void flushColor (M2MetaError_errorBlock *eb);
     700                 :             : 
     701                 :             : /*
     702                 :             :    emitColorGCC -
     703                 :             : */
     704                 :             : 
     705                 :             : static void emitColorGCC (M2MetaError_errorBlock *eb, M2MetaError_colorType c);
     706                 :             : 
     707                 :             : /*
     708                 :             :    emitColorTag -
     709                 :             : */
     710                 :             : 
     711                 :             : static void emitColorTag (M2MetaError_errorBlock *eb, M2MetaError_colorType c);
     712                 :             : 
     713                 :             : /*
     714                 :             :    emitColor - adds the appropriate color string to the output string.
     715                 :             : */
     716                 :             : 
     717                 :             : static void emitColor (M2MetaError_errorBlock *eb, M2MetaError_colorType c);
     718                 :             : 
     719                 :             : /*
     720                 :             :    openQuote -
     721                 :             : */
     722                 :             : 
     723                 :             : static DynamicStrings_String openQuote (DynamicStrings_String s);
     724                 :             : 
     725                 :             : /*
     726                 :             :    closeQuote -
     727                 :             : */
     728                 :             : 
     729                 :             : static DynamicStrings_String closeQuote (DynamicStrings_String s);
     730                 :             : 
     731                 :             : /*
     732                 :             :    colorEnd -
     733                 :             : */
     734                 :             : 
     735                 :             : static DynamicStrings_String colorEnd (DynamicStrings_String s);
     736                 :             : 
     737                 :             : /*
     738                 :             :    copyChar - copies a character from in string to out string.
     739                 :             : */
     740                 :             : 
     741                 :             : static void copyChar (M2MetaError_errorBlock *eb);
     742                 :             : 
     743                 :             : /*
     744                 :             :    copyKeywordChar - copies a character from in string to out string
     745                 :             :                      it will convert the character to lower case if the
     746                 :             :                      -fm2-lower-case option was specified.
     747                 :             : */
     748                 :             : 
     749                 :             : static void copyKeywordChar (M2MetaError_errorBlock *eb);
     750                 :             : 
     751                 :             : /*
     752                 :             :    percent := '%' anych           % copy anych %
     753                 :             :             =:
     754                 :             : */
     755                 :             : 
     756                 :             : static void percent (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high);
     757                 :             : 
     758                 :             : /*
     759                 :             :    lbra := '{' [ '!' ] percenttoken '}' =:
     760                 :             : */
     761                 :             : 
     762                 :             : static void lbra (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high);
     763                 :             : 
     764                 :             : /*
     765                 :             :    lbra := '{' [ '!' ] percenttoken '}' =:
     766                 :             : */
     767                 :             : 
     768                 :             : static void stop (void);
     769                 :             : 
     770                 :             : /*
     771                 :             :    lbra := '{' [ '!' ] percenttoken '}' =:
     772                 :             : */
     773                 :             : 
     774                 :             : static void checkMe (void);
     775                 :             : 
     776                 :             : /*
     777                 :             :    dumpErrorType -
     778                 :             : */
     779                 :             : 
     780                 :             : static void dumpErrorType (M2MetaError_errorType e);
     781                 :             : 
     782                 :             : /*
     783                 :             :    dumpColorType -
     784                 :             : */
     785                 :             : 
     786                 :             : static void dumpColorType (M2MetaError_colorType c);
     787                 :             : 
     788                 :             : /*
     789                 :             :    dump -
     790                 :             : 
     791                 :             : */
     792                 :             : 
     793                 :             : static void dump (M2MetaError_errorBlock eb);
     794                 :             : 
     795                 :             : /*
     796                 :             :    ebnf := { percent
     797                 :             :              | lbra
     798                 :             :              | any                    % copy ch %
     799                 :             :            }
     800                 :             :          =:
     801                 :             : */
     802                 :             : 
     803                 :             : static void ebnf (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high);
     804                 :             : 
     805                 :             : /*
     806                 :             :    wrapErrors -
     807                 :             : */
     808                 :             : 
     809                 :             : static void wrapErrors (unsigned int tok, const char *m1_, unsigned int _m1_high, const char *m2_, unsigned int _m2_high, const unsigned int *sym_, unsigned int _sym_high);
     810                 :             : 
     811                 :             : /*
     812                 :             :    checkAbort - checks to see if the boolean flag seenAbort has been set,
     813                 :             :                 if so it flushes all existing errors and terminates.
     814                 :             : */
     815                 :             : 
     816                 :             : static void checkAbort (void);
     817                 :             : 
     818                 :             : /*
     819                 :             :    translate -
     820                 :             : */
     821                 :             : 
     822                 :             : static DynamicStrings_String translate (DynamicStrings_String m, DynamicStrings_String s, int *i, NameKey_Name name);
     823                 :             : 
     824                 :             : /*
     825                 :             :    wrapString - return a string which has been formatted with the specifier codes.
     826                 :             :                 Color is disabled.  The result string is returned.
     827                 :             : */
     828                 :             : 
     829                 :             : static DynamicStrings_String wrapString (DynamicStrings_String m, const unsigned int *sym_, unsigned int _sym_high);
     830                 :             : 
     831                 :             : 
     832                 :             : /*
     833                 :             :    pushOutput -
     834                 :             : */
     835                 :             : 
     836                 :           0 : static void pushOutput (M2MetaError_errorBlock *eb)
     837                 :             : {
     838                 :           0 :   Indexing_PutIndice (outputStack, (Indexing_HighIndice (outputStack))+1, reinterpret_cast <void *> ((*eb).out));
     839                 :           0 :   (*eb).out = DynamicStrings_InitString ((const char *) "", 0);
     840                 :           0 :   (*eb).glyph = false;
     841                 :           0 : }
     842                 :             : 
     843                 :             : 
     844                 :             : /*
     845                 :             :    readWord - reads and returns a word delimited by '}' it uses '%' as
     846                 :             :               the escape character.
     847                 :             : */
     848                 :             : 
     849                 :           0 : static DynamicStrings_String readWord (M2MetaError_errorBlock *eb)
     850                 :             : {
     851                 :           0 :   DynamicStrings_String word;
     852                 :             : 
     853                 :           0 :   word = DynamicStrings_InitString ((const char *) "", 0);
     854                 :           0 :   while (((*eb).ini < (*eb).len) && ((DynamicStrings_char ((*eb).in, (*eb).ini)) != '}'))
     855                 :             :     {
     856                 :           0 :       if ((DynamicStrings_char ((*eb).in, (*eb).ini)) == '%')
     857                 :             :         {
     858                 :           0 :           (*eb).ini += 1;
     859                 :             :         }
     860                 :           0 :       word = DynamicStrings_ConCatChar (word, DynamicStrings_char ((*eb).in, (*eb).ini));
     861                 :           0 :       (*eb).ini += 1;
     862                 :             :     }
     863                 :           0 :   return word;
     864                 :             :   /* static analysis guarentees a RETURN statement will be used before here.  */
     865                 :             :   __builtin_unreachable ();
     866                 :             : }
     867                 :             : 
     868                 :             : 
     869                 :             : /*
     870                 :             :    addEntry -
     871                 :             : */
     872                 :             : 
     873                 :           0 : static void addEntry (DynamicStrings_String key, DynamicStrings_String value)
     874                 :             : {
     875                 :           0 :   M2MetaError_dictionaryEntry e;
     876                 :           0 :   DynamicStrings_String s;
     877                 :           0 :   unsigned int i;
     878                 :             : 
     879                 :           0 :   s = lookupString (key);
     880                 :           0 :   if (s == NULL)
     881                 :             :     {
     882                 :           0 :       e = newEntry ();
     883                 :           0 :       e->key = key;
     884                 :           0 :       e->value = value;
     885                 :           0 :       Indexing_PutIndice (dictionary, (Indexing_HighIndice (dictionary))+1, reinterpret_cast <void *> (e));
     886                 :             :     }
     887                 :             :   else
     888                 :             :     {
     889                 :             :       i = 1;
     890                 :           0 :       while (i <= (Indexing_HighIndice (dictionary)))
     891                 :             :         {
     892                 :           0 :           e = static_cast<M2MetaError_dictionaryEntry> (Indexing_GetIndice (dictionary, i));
     893                 :           0 :           if (DynamicStrings_Equal (e->key, key))
     894                 :             :             {
     895                 :           0 :               e->value = DynamicStrings_KillString (e->value);
     896                 :           0 :               e->value = value;
     897                 :           0 :               return;
     898                 :             :             }
     899                 :           0 :           i += 1;
     900                 :             :         }
     901                 :             :     }
     902                 :             : }
     903                 :             : 
     904                 :             : 
     905                 :             : /*
     906                 :             :    popOutput -
     907                 :             : */
     908                 :             : 
     909                 :           0 : static void popOutput (M2MetaError_errorBlock *eb)
     910                 :             : {
     911                 :           0 :   DynamicStrings_String key;
     912                 :           0 :   DynamicStrings_String previous;
     913                 :             : 
     914                 :           0 :   if ((Indexing_HighIndice (outputStack)) >= 1)
     915                 :             :     {
     916                 :           0 :       previous = static_cast<DynamicStrings_String> (Indexing_GetIndice (outputStack, Indexing_HighIndice (outputStack)));
     917                 :           0 :       Indexing_DeleteIndice (outputStack, Indexing_HighIndice (outputStack));
     918                 :           0 :       key = readWord (eb);
     919                 :           0 :       addEntry (key, (*eb).out);
     920                 :           0 :       (*eb).out = previous;
     921                 :             :     }
     922                 :           0 : }
     923                 :             : 
     924                 :             : 
     925                 :             : /*
     926                 :             :    newEntry -
     927                 :             : */
     928                 :             : 
     929                 :           0 : static M2MetaError_dictionaryEntry newEntry (void)
     930                 :             : {
     931                 :           0 :   M2MetaError_dictionaryEntry e;
     932                 :             : 
     933                 :           0 :   if (freeEntry == NULL)
     934                 :             :     {
     935                 :           0 :       Storage_ALLOCATE ((void **) &e, sizeof (M2MetaError__T2));
     936                 :             :     }
     937                 :             :   else
     938                 :             :     {
     939                 :           0 :       e = freeEntry;
     940                 :           0 :       freeEntry = freeEntry->next;
     941                 :             :     }
     942                 :           0 :   e->key = static_cast<DynamicStrings_String> (NULL);
     943                 :           0 :   e->value = static_cast<DynamicStrings_String> (NULL);
     944                 :           0 :   e->next = NULL;
     945                 :           0 :   return e;
     946                 :             :   /* static analysis guarentees a RETURN statement will be used before here.  */
     947                 :             :   __builtin_unreachable ();
     948                 :             : }
     949                 :             : 
     950                 :             : 
     951                 :             : /*
     952                 :             :    killEntry - dispose e and delete any strings.
     953                 :             : */
     954                 :             : 
     955                 :           0 : static void killEntry (M2MetaError_dictionaryEntry e)
     956                 :             : {
     957                 :           0 :   e->next = freeEntry;
     958                 :           0 :   freeEntry = e;
     959                 :           0 :   if (e->key != NULL)
     960                 :             :     {
     961                 :           0 :       e->key = DynamicStrings_KillString (e->key);
     962                 :             :     }
     963                 :           0 :   if (e->value != NULL)
     964                 :             :     {
     965                 :           0 :       e->value = DynamicStrings_KillString (e->value);
     966                 :             :     }
     967                 :           0 : }
     968                 :             : 
     969                 :             : 
     970                 :             : /*
     971                 :             :    resetDictionary - remove all entries in the dictionary.
     972                 :             : */
     973                 :             : 
     974                 :           0 : static void resetDictionary (void)
     975                 :             : {
     976                 :           0 :   unsigned int i;
     977                 :           0 :   M2MetaError_dictionaryEntry e;
     978                 :             : 
     979                 :           0 :   i = 1;
     980                 :           0 :   while (i <= (Indexing_HighIndice (dictionary)))
     981                 :             :     {
     982                 :           0 :       e = static_cast<M2MetaError_dictionaryEntry> (Indexing_GetIndice (dictionary, i));
     983                 :           0 :       killEntry (e);
     984                 :           0 :       i += 1;
     985                 :             :     }
     986                 :           0 :   dictionary = Indexing_KillIndex (dictionary);
     987                 :           0 :   dictionary = Indexing_InitIndex (1);
     988                 :           0 : }
     989                 :             : 
     990                 :             : 
     991                 :             : /*
     992                 :             :    lookupString - lookup and return a duplicate of the string value for key s.
     993                 :             :                   NIL is returned if the key s is unknown.
     994                 :             : */
     995                 :             : 
     996                 :           0 : static DynamicStrings_String lookupString (DynamicStrings_String s)
     997                 :             : {
     998                 :           0 :   unsigned int i;
     999                 :           0 :   M2MetaError_dictionaryEntry e;
    1000                 :             : 
    1001                 :           0 :   i = 1;
    1002                 :           0 :   while (i <= (Indexing_HighIndice (dictionary)))
    1003                 :             :     {
    1004                 :           0 :       e = static_cast<M2MetaError_dictionaryEntry> (Indexing_GetIndice (dictionary, i));
    1005                 :           0 :       if (DynamicStrings_Equal (e->key, s))
    1006                 :             :         {
    1007                 :           0 :           return DynamicStrings_Dup (e->value);
    1008                 :             :         }
    1009                 :           0 :       i += 1;
    1010                 :             :     }
    1011                 :             :   return static_cast<DynamicStrings_String> (NULL);
    1012                 :             :   /* static analysis guarentees a RETURN statement will be used before here.  */
    1013                 :             :   __builtin_unreachable ();
    1014                 :             : }
    1015                 :             : 
    1016                 :             : 
    1017                 :             : /*
    1018                 :             :    lookupDefine - looks up the word in the input string (ending with '}').
    1019                 :             :                   It uses this word as a key into the dictionary and returns
    1020                 :             :                   the entry.
    1021                 :             : */
    1022                 :             : 
    1023                 :           0 : static DynamicStrings_String lookupDefine (M2MetaError_errorBlock *eb)
    1024                 :             : {
    1025                 :           0 :   DynamicStrings_String s;
    1026                 :             : 
    1027                 :           0 :   s = DynamicStrings_InitString ((const char *) "", 0);
    1028                 :           0 :   while (((*eb).ini < (*eb).len) && ((DynamicStrings_char ((*eb).in, (*eb).ini)) != '}'))
    1029                 :             :     {
    1030                 :           0 :       if ((DynamicStrings_char ((*eb).in, (*eb).ini)) == '%')
    1031                 :             :         {
    1032                 :           0 :           (*eb).ini += 1;
    1033                 :             :         }
    1034                 :           0 :       s = DynamicStrings_ConCatChar (s, DynamicStrings_char ((*eb).in, (*eb).ini));
    1035                 :           0 :       (*eb).ini += 1;
    1036                 :             :     }
    1037                 :           0 :   s = lookupString (s);
    1038                 :           0 :   if (s == NULL)
    1039                 :             :     {
    1040                 :           0 :       s = DynamicStrings_InitString ((const char *) "", 0);
    1041                 :             :     }
    1042                 :           0 :   return s;
    1043                 :             :   /* static analysis guarentees a RETURN statement will be used before here.  */
    1044                 :             :   __builtin_unreachable ();
    1045                 :             : }
    1046                 :             : 
    1047                 :             : 
    1048                 :             : /*
    1049                 :             :    processDefine - place contents of dictionary entry name onto the output string.
    1050                 :             : */
    1051                 :             : 
    1052                 :           0 : static void processDefine (M2MetaError_errorBlock *eb)
    1053                 :             : {
    1054                 :           0 :   (*eb).out = DynamicStrings_ConCat ((*eb).out, lookupDefine (eb));
    1055                 :           0 : }
    1056                 :             : 
    1057                 :             : 
    1058                 :             : /*
    1059                 :             :    lookupColor - looks up the color enum from the string.
    1060                 :             : */
    1061                 :             : 
    1062                 :           0 : static M2MetaError_colorType lookupColor (DynamicStrings_String s)
    1063                 :             : {
    1064                 :           0 :   if (DynamicStrings_EqualArray (s, (const char *) "filename", 8))
    1065                 :             :     {
    1066                 :             :       return M2MetaError_filenameColor;
    1067                 :             :     }
    1068                 :           0 :   else if (DynamicStrings_EqualArray (s, (const char *) "quote", 5))
    1069                 :             :     {
    1070                 :             :       /* avoid dangling else.  */
    1071                 :             :       return M2MetaError_quoteColor;
    1072                 :             :     }
    1073                 :           0 :   else if (DynamicStrings_EqualArray (s, (const char *) "error", 5))
    1074                 :             :     {
    1075                 :             :       /* avoid dangling else.  */
    1076                 :             :       return M2MetaError_errorColor;
    1077                 :             :     }
    1078                 :           0 :   else if (DynamicStrings_EqualArray (s, (const char *) "warning", 7))
    1079                 :             :     {
    1080                 :             :       /* avoid dangling else.  */
    1081                 :             :       return M2MetaError_warningColor;
    1082                 :             :     }
    1083                 :           0 :   else if (DynamicStrings_EqualArray (s, (const char *) "note", 4))
    1084                 :             :     {
    1085                 :             :       /* avoid dangling else.  */
    1086                 :             :       return M2MetaError_warningColor;
    1087                 :             :     }
    1088                 :           0 :   else if (DynamicStrings_EqualArray (s, (const char *) "locus", 5))
    1089                 :             :     {
    1090                 :             :       /* avoid dangling else.  */
    1091                 :             :       return M2MetaError_locusColor;
    1092                 :             :     }
    1093                 :           0 :   else if (DynamicStrings_EqualArray (s, (const char *) "insert", 6))
    1094                 :             :     {
    1095                 :             :       /* avoid dangling else.  */
    1096                 :             :       return M2MetaError_insertColor;
    1097                 :             :     }
    1098                 :           0 :   else if (DynamicStrings_EqualArray (s, (const char *) "delete", 6))
    1099                 :             :     {
    1100                 :             :       /* avoid dangling else.  */
    1101                 :             :       return M2MetaError_deleteColor;
    1102                 :             :     }
    1103                 :           0 :   else if (DynamicStrings_EqualArray (s, (const char *) "type", 4))
    1104                 :             :     {
    1105                 :             :       /* avoid dangling else.  */
    1106                 :             :       return M2MetaError_typeColor;
    1107                 :             :     }
    1108                 :           0 :   else if (DynamicStrings_EqualArray (s, (const char *) "range1", 6))
    1109                 :             :     {
    1110                 :             :       /* avoid dangling else.  */
    1111                 :             :       return M2MetaError_range1Color;
    1112                 :             :     }
    1113                 :           0 :   else if (DynamicStrings_EqualArray (s, (const char *) "range2", 6))
    1114                 :             :     {
    1115                 :             :       /* avoid dangling else.  */
    1116                 :           0 :       return M2MetaError_range2Color;
    1117                 :             :     }
    1118                 :             :   return M2MetaError_noColor;
    1119                 :             :   /* static analysis guarentees a RETURN statement will be used before here.  */
    1120                 :             :   __builtin_unreachable ();
    1121                 :             : }
    1122                 :             : 
    1123                 :             : 
    1124                 :             : /*
    1125                 :             :    readColor -
    1126                 :             : */
    1127                 :             : 
    1128                 :           0 : static M2MetaError_colorType readColor (M2MetaError_errorBlock *eb)
    1129                 :             : {
    1130                 :           0 :   DynamicStrings_String s;
    1131                 :           0 :   M2MetaError_colorType c;
    1132                 :             : 
    1133                 :           0 :   s = DynamicStrings_InitString ((const char *) "", 0);
    1134                 :           0 :   while (((*eb).ini < (*eb).len) && ((DynamicStrings_char ((*eb).in, (*eb).ini)) != '}'))
    1135                 :             :     {
    1136                 :           0 :       if ((DynamicStrings_char ((*eb).in, (*eb).ini)) == '%')
    1137                 :             :         {
    1138                 :           0 :           (*eb).ini += 1;
    1139                 :             :         }
    1140                 :           0 :       s = DynamicStrings_ConCatChar (s, DynamicStrings_char ((*eb).in, (*eb).ini));
    1141                 :           0 :       (*eb).ini += 1;
    1142                 :             :     }
    1143                 :           0 :   c = lookupColor (s);
    1144                 :           0 :   s = DynamicStrings_KillString (s);
    1145                 :           0 :   return c;
    1146                 :             :   /* static analysis guarentees a RETURN statement will be used before here.  */
    1147                 :             :   __builtin_unreachable ();
    1148                 :             : }
    1149                 :             : 
    1150                 :             : 
    1151                 :             : /*
    1152                 :             :    keyword - copy characters until the '}' in the input string and convert them to
    1153                 :             :              the keyword color/font.
    1154                 :             : */
    1155                 :             : 
    1156                 :        1134 : static void keyword (M2MetaError_errorBlock *eb)
    1157                 :             : {
    1158                 :        1134 :   if (TOUPPER (DynamicStrings_char ((*eb).in, (*eb).ini)) == 'K')
    1159                 :             :     {
    1160                 :        1134 :       (*eb).ini += 1;
    1161                 :        1134 :       pushColor (eb);
    1162                 :        1134 :       changeColor (eb, M2MetaError_keywordColor);
    1163                 :        6054 :       while (((*eb).ini < (*eb).len) && ((DynamicStrings_char ((*eb).in, (*eb).ini)) != '}'))
    1164                 :             :         {
    1165                 :        4920 :           if (Debugging)
    1166                 :             :             {
    1167                 :             :               dump ((*eb));
    1168                 :             :             }
    1169                 :        4920 :           if ((DynamicStrings_char ((*eb).in, (*eb).ini)) == '%')
    1170                 :             :             {
    1171                 :          12 :               (*eb).ini += 1;
    1172                 :             :             }
    1173                 :        4920 :           copyKeywordChar (eb);
    1174                 :        4920 :           (*eb).ini += 1;
    1175                 :             :         }
    1176                 :        1134 :       popColor (eb);
    1177                 :             :     }
    1178                 :             :   else
    1179                 :             :     {
    1180                 :           0 :       M2Error_InternalError ((const char *) "expecting index to be on the K for keyword", 42);
    1181                 :             :     }
    1182                 :        1134 : }
    1183                 :             : 
    1184                 :             : 
    1185                 :             : /*
    1186                 :             :    filename - copy characters until the '}' in the input string and convert them to
    1187                 :             :               the filename color/font.
    1188                 :             : */
    1189                 :             : 
    1190                 :           0 : static void filename (M2MetaError_errorBlock *eb)
    1191                 :             : {
    1192                 :           0 :   if (TOUPPER (DynamicStrings_char ((*eb).in, (*eb).ini)) == 'F')
    1193                 :             :     {
    1194                 :           0 :       (*eb).ini += 1;
    1195                 :           0 :       pushColor (eb);
    1196                 :           0 :       changeColor (eb, M2MetaError_filenameColor);
    1197                 :           0 :       while (((*eb).ini < (*eb).len) && ((DynamicStrings_char ((*eb).in, (*eb).ini)) != '}'))
    1198                 :             :         {
    1199                 :           0 :           if (Debugging)
    1200                 :             :             {
    1201                 :             :               dump ((*eb));
    1202                 :             :             }
    1203                 :           0 :           if ((DynamicStrings_char ((*eb).in, (*eb).ini)) == '%')
    1204                 :             :             {
    1205                 :           0 :               (*eb).ini += 1;
    1206                 :             :             }
    1207                 :           0 :           copyChar (eb);
    1208                 :           0 :           (*eb).ini += 1;
    1209                 :             :         }
    1210                 :           0 :       popColor (eb);
    1211                 :             :     }
    1212                 :             :   else
    1213                 :             :     {
    1214                 :           0 :       M2Error_InternalError ((const char *) "expecting index to be on the F for filename", 43);
    1215                 :             :     }
    1216                 :           0 : }
    1217                 :             : 
    1218                 :             : 
    1219                 :             : /*
    1220                 :             :    pushColor -
    1221                 :             : */
    1222                 :             : 
    1223                 :       48832 : static void pushColor (M2MetaError_errorBlock *eb)
    1224                 :             : {
    1225                 :       48832 :   if ((*eb).stackPtr > MaxStack)
    1226                 :             :     {
    1227                 :           0 :       M2RTS_HALT (-1);
    1228                 :             :       __builtin_unreachable ();
    1229                 :             :     }
    1230                 :             :   else
    1231                 :             :     {
    1232                 :       48832 :       (*eb).colorStack.array[(*eb).stackPtr] = (*eb).currentCol;
    1233                 :       48832 :       (*eb).stackPtr += 1;
    1234                 :             :     }
    1235                 :       48832 : }
    1236                 :             : 
    1237                 :             : 
    1238                 :             : /*
    1239                 :             :    popColor -
    1240                 :             : */
    1241                 :             : 
    1242                 :       12408 : static void popColor (M2MetaError_errorBlock *eb)
    1243                 :             : {
    1244                 :       12408 :   if ((*eb).stackPtr > 0)
    1245                 :             :     {
    1246                 :       12408 :       (*eb).stackPtr -= 1;
    1247                 :             :     }
    1248                 :             :   else
    1249                 :             :     {
    1250                 :           0 :       M2RTS_HALT (-1);
    1251                 :             :       __builtin_unreachable ();
    1252                 :             :     }
    1253                 :       12408 :   (*eb).currentCol = (*eb).colorStack.array[(*eb).stackPtr];
    1254                 :       12408 :   if ((*eb).currentCol == M2MetaError_unsetColor)
    1255                 :             :     {
    1256                 :           0 :       (*eb).currentCol = M2MetaError_noColor;
    1257                 :             :     }
    1258                 :       12408 : }
    1259                 :             : 
    1260                 :             : 
    1261                 :             : /*
    1262                 :             :    initErrorBlock - initialise an error block with the, input, string.
    1263                 :             : */
    1264                 :             : 
    1265                 :       15305 : static void initErrorBlock (M2MetaError_errorBlock *eb, DynamicStrings_String input, const unsigned int *sym_, unsigned int _sym_high)
    1266                 :             : {
    1267                 :       15305 :   unsigned int sym[_sym_high+1];
    1268                 :             : 
    1269                 :             :   /* make a local copy of each unbounded array.  */
    1270                 :       15305 :   memcpy (sym, sym_, (_sym_high+1) * sizeof (unsigned int));
    1271                 :             : 
    1272                 :       15305 :   (*eb).useError = true;
    1273                 :       15305 :   (*eb).e = static_cast<M2Error_Error> (NULL);
    1274                 :       15305 :   (*eb).type = M2MetaError_error;  /* default to the error color.  */
    1275                 :       30610 :   (*eb).out = DynamicStrings_InitString ((const char *) "", 0);  /* default to the error color.  */
    1276                 :       15305 :   (*eb).in = input;
    1277                 :       15305 :   (*eb).highplus1 = _sym_high+1;
    1278                 :       15305 :   (*eb).len = DynamicStrings_Length (input);
    1279                 :       15305 :   (*eb).ini = 0;
    1280                 :       15305 :   (*eb).glyph = false;  /* nothing to output yet.  */
    1281                 :       15305 :   (*eb).quotes = true;  /* nothing to output yet.  */
    1282                 :       15305 :   (*eb).positive = true;
    1283                 :       15305 :   (*eb).root = false;
    1284                 :       15305 :   (*eb).chain = false;
    1285                 :       15305 :   (*eb).currentCol = findColorType (input);
    1286                 :       15305 :   (*eb).beginCol = M2MetaError_unsetColor;
    1287                 :       15305 :   (*eb).endCol = M2MetaError_unsetColor;
    1288                 :       15305 :   (*eb).stackPtr = 0;
    1289                 :       15305 : }
    1290                 :             : 
    1291                 :             : 
    1292                 :             : /*
    1293                 :             :    push - performs a push from the oldblock to the newblock.
    1294                 :             :           It copies all fields except the output string.
    1295                 :             : */
    1296                 :             : 
    1297                 :       38992 : static void push (M2MetaError_errorBlock *newblock, M2MetaError_errorBlock oldblock)
    1298                 :             : {
    1299                 :       38992 :   pushColor (&oldblock);  /* save the current color.  */
    1300                 :       38992 :   (*newblock) = oldblock;  /* copy all the fields.  */
    1301                 :       38992 :   (*newblock).out = static_cast<DynamicStrings_String> (NULL);  /* must do this before a clear as we have copied the address.  */
    1302                 :       38992 :   clear (newblock);  /* must do this before a clear as we have copied the address.  */
    1303                 :       38992 :   (*newblock).quotes = true;
    1304                 :       38992 : }
    1305                 :             : 
    1306                 :             : 
    1307                 :             : /*
    1308                 :             :    pop - copies contents of oldblock into newblock.  It only copies the error
    1309                 :             :          handle if the toblock.e is NIL.
    1310                 :             : */
    1311                 :             : 
    1312                 :       38992 : static void pop (M2MetaError_errorBlock *toblock, M2MetaError_errorBlock *fromblock)
    1313                 :             : {
    1314                 :       38992 :   M2MetaError_colorType c;
    1315                 :             : 
    1316                 :       38992 :   if (empty (fromblock))
    1317                 :             :     {
    1318                 :        2568 :       (*toblock).stackPtr = (*fromblock).stackPtr;
    1319                 :        2568 :       (*toblock).colorStack = (*fromblock).colorStack;
    1320                 :        2568 :       popColor (toblock);  /* and restore the color from the push start.  */
    1321                 :             :     }
    1322                 :             :   else
    1323                 :             :     {
    1324                 :       36424 :       if ((*fromblock).quotes)
    1325                 :             :         {
    1326                 :             :           /* string needs to be quoted.  */
    1327                 :       27808 :           if ((*toblock).currentCol == M2MetaError_unsetColor)
    1328                 :             :             {
    1329                 :             :               /* caller has not yet assigned a color, so use the callee color at the end.  */
    1330                 :           0 :               OutOpenQuote (toblock);
    1331                 :           0 :               OutGlyphS (toblock, (*fromblock).out);
    1332                 :           0 :               OutCloseQuote (toblock);
    1333                 :           0 :               changeColor (toblock, (*fromblock).currentCol);
    1334                 :             :             }
    1335                 :             :           else
    1336                 :             :             {
    1337                 :       27808 :               shutdownColor (fromblock);
    1338                 :             :               /* caller has assigned a color, so use it after the new string.  */
    1339                 :       27808 :               c = (*toblock).currentCol;
    1340                 :       27808 :               OutOpenQuote (toblock);
    1341                 :       27808 :               OutGlyphS (toblock, (*fromblock).out);
    1342                 :       27808 :               OutCloseQuote (toblock);
    1343                 :       27808 :               (*toblock).currentCol = c;
    1344                 :             :             }
    1345                 :             :         }
    1346                 :             :       else
    1347                 :             :         {
    1348                 :        8616 :           if ((*toblock).currentCol == M2MetaError_unsetColor)
    1349                 :             :             {
    1350                 :           0 :               OutGlyphS (toblock, (*fromblock).out);
    1351                 :           0 :               (*toblock).endCol = (*fromblock).endCol;
    1352                 :           0 :               changeColor (toblock, (*fromblock).endCol);
    1353                 :             :             }
    1354                 :             :           else
    1355                 :             :             {
    1356                 :        8616 :               pushColor (toblock);
    1357                 :        8616 :               OutGlyphS (toblock, (*fromblock).out);
    1358                 :        8616 :               (*toblock).endCol = (*fromblock).endCol;
    1359                 :        8616 :               popColor (toblock);
    1360                 :             :             }
    1361                 :             :         }
    1362                 :             :     }
    1363                 :       38992 :   if ((*toblock).e == NULL)
    1364                 :             :     {
    1365                 :       38854 :       (*toblock).e = (*fromblock).e;
    1366                 :             :     }
    1367                 :       38992 :   (*toblock).chain = (*fromblock).chain;
    1368                 :       38992 :   (*toblock).root = (*fromblock).root;
    1369                 :       38992 :   (*toblock).ini = (*fromblock).ini;
    1370                 :       38992 :   (*toblock).type = (*fromblock).type;  /* might have been changed by the callee.  */
    1371                 :       38992 : }
    1372                 :             : 
    1373                 :             : 
    1374                 :             : /*
    1375                 :             :    OutOpenQuote -
    1376                 :             : */
    1377                 :             : 
    1378                 :       27808 : static void OutOpenQuote (M2MetaError_errorBlock *eb)
    1379                 :             : {
    1380                 :       27808 :   (*eb).currentCol = M2MetaError_noColor;
    1381                 :       27808 :   flushColor (eb);
    1382                 :       55616 :   (*eb).out = DynamicStrings_ConCat ((*eb).out, openQuote (DynamicStrings_InitString ((const char *) "", 0)));
    1383                 :       27808 : }
    1384                 :             : 
    1385                 :             : 
    1386                 :             : /*
    1387                 :             :    OutCloseQuote -
    1388                 :             : */
    1389                 :             : 
    1390                 :       27808 : static void OutCloseQuote (M2MetaError_errorBlock *eb)
    1391                 :             : {
    1392                 :       55616 :   (*eb).out = DynamicStrings_ConCat ((*eb).out, closeQuote (DynamicStrings_InitString ((const char *) "", 0)));
    1393                 :       27808 :   (*eb).currentCol = M2MetaError_noColor;
    1394                 :       27808 :   (*eb).endCol = M2MetaError_noColor;
    1395                 :       27808 : }
    1396                 :             : 
    1397                 :             : 
    1398                 :             : /*
    1399                 :             :    findColorType - return the color of the string.  This is determined by the first
    1400                 :             :                    occurrance of an error, warning or note marker.  An error message
    1401                 :             :                    is assumed to either be: a keyword category, error category, note
    1402                 :             :                    category, warning category or to be chained from a previous error.
    1403                 :             : */
    1404                 :             : 
    1405                 :       15347 : static M2MetaError_colorType findColorType (DynamicStrings_String s)
    1406                 :             : {
    1407                 :       15347 :   unsigned int i;
    1408                 :             : 
    1409                 :       15347 :   i = 0;
    1410                 :      711048 :   while (i < (DynamicStrings_Length (s)))
    1411                 :             :     {
    1412                 :      707790 :       if ((DynamicStrings_char (s, static_cast<int> (i))) == '{')
    1413                 :             :         {
    1414                 :       18281 :           i += 1;
    1415                 :       18281 :           if ((DynamicStrings_char (s, static_cast<int> (i))) == '%')
    1416                 :             :             {
    1417                 :       18281 :               i += 1;
    1418                 :       53716 :               while ((i < (DynamicStrings_Length (s))) && ((DynamicStrings_char (s, static_cast<int> (i))) != '}'))
    1419                 :             :                 {
    1420                 :       47524 :                   if ((DynamicStrings_char (s, static_cast<int> (i))) == '%')
    1421                 :             :                     {
    1422                 :          66 :                       i += 1;
    1423                 :             :                     }
    1424                 :       47524 :                   switch (DynamicStrings_char (s, static_cast<int> (i)))
    1425                 :             :                     {
    1426                 :             :                       case 'K':
    1427                 :             :                         return M2MetaError_errorColor;  /* keyword errors start with the fatal error color.  */
    1428                 :             :                         break;
    1429                 :             : 
    1430                 :             :                       case 'E':
    1431                 :             :                         return M2MetaError_errorColor;  /* keyword errors start with the fatal error color.  */
    1432                 :             :                         break;
    1433                 :             : 
    1434                 :             :                       case 'A':
    1435                 :             :                         return M2MetaError_errorColor;
    1436                 :             :                         break;
    1437                 :             : 
    1438                 :             :                       case 'O':
    1439                 :             :                         return M2MetaError_noteColor;
    1440                 :       10144 :                         break;
    1441                 :             : 
    1442                 :       10144 :                       case 'W':
    1443                 :       10144 :                         return M2MetaError_warningColor;
    1444                 :         162 :                         break;
    1445                 :             : 
    1446                 :         162 :                       case 'C':
    1447                 :         162 :                         return lastColor;
    1448                 :       35435 :                         break;
    1449                 :             : 
    1450                 :             : 
    1451                 :       35435 :                       default:
    1452                 :       35435 :                         break;
    1453                 :             :                     }
    1454                 :       35435 :                   i += 1;
    1455                 :             :                 }
    1456                 :             :             }
    1457                 :             :         }
    1458                 :      695701 :       i += 1;
    1459                 :             :     }
    1460                 :             :   return M2MetaError_errorColor;  /* default to the error color.  */
    1461                 :             :   /* static analysis guarentees a RETURN statement will be used before here.  */
    1462                 :             :   __builtin_unreachable ();
    1463                 :             : }
    1464                 :             : 
    1465                 :             : 
    1466                 :             : /*
    1467                 :             :    killErrorBlock - deallocates the dynamic strings associated with the error block.
    1468                 :             : */
    1469                 :             : 
    1470                 :       15305 : static void killErrorBlock (M2MetaError_errorBlock *eb)
    1471                 :             : {
    1472                 :       15305 :   (*eb).out = DynamicStrings_KillString ((*eb).out);
    1473                 :       15305 :   (*eb).in = DynamicStrings_KillString ((*eb).in);
    1474                 :       15305 : }
    1475                 :             : 
    1476                 :             : 
    1477                 :             : /*
    1478                 :             :    InternalFormat - produces an informative internal error.
    1479                 :             : */
    1480                 :             : 
    1481                 :           0 : static void InternalFormat (M2MetaError_errorBlock eb, const char *m_, unsigned int _m_high, unsigned int line)
    1482                 :             : {
    1483                 :           0 :   char m[_m_high+1];
    1484                 :             : 
    1485                 :             :   /* make a local copy of each unbounded array.  */
    1486                 :           0 :   memcpy (m, m_, _m_high+1);
    1487                 :             : 
    1488                 :           0 :   M2Printf_printf1 ((const char *) "M2MetaError.mod:%d:internalformat error detected\\n", 50, (const unsigned char *) &line, (sizeof (line)-1));
    1489                 :           0 :   dump (eb);
    1490                 :           0 :   M2Error_InternalError ((const char *) m, _m_high);
    1491                 :           0 : }
    1492                 :             : 
    1493                 :             : 
    1494                 :             : /*
    1495                 :             :    x - checks to see that a=b.
    1496                 :             : */
    1497                 :             : 
    1498                 :     1434402 : static DynamicStrings_String x (DynamicStrings_String a, DynamicStrings_String b)
    1499                 :             : {
    1500                 :           0 :   if (a != b)
    1501                 :             :     {
    1502                 :           0 :       M2Error_InternalError ((const char *) "different string returned", 25);
    1503                 :             :     }
    1504                 :           0 :   return a;
    1505                 :             :   /* static analysis guarentees a RETURN statement will be used before here.  */
    1506                 :             :   __builtin_unreachable ();
    1507                 :             : }
    1508                 :             : 
    1509                 :             : 
    1510                 :             : /*
    1511                 :             :    IsWhite - returns TRUE if, ch, is a space.
    1512                 :             : */
    1513                 :             : 
    1514                 :           0 : static bool IsWhite (char ch)
    1515                 :             : {
    1516                 :           0 :   return ch == ' ';
    1517                 :             :   /* static analysis guarentees a RETURN statement will be used before here.  */
    1518                 :             :   __builtin_unreachable ();
    1519                 :             : }
    1520                 :             : 
    1521                 :             : 
    1522                 :             : /*
    1523                 :             :    skip - skips over this level input until the next '}'.
    1524                 :             : */
    1525                 :             : 
    1526                 :        1008 : static void skip (M2MetaError_errorBlock *sb)
    1527                 :             : {
    1528                 :        1008 :   int level;
    1529                 :             : 
    1530                 :        1008 :   level = 0;
    1531                 :       16416 :   while ((*sb).ini < (*sb).len)
    1532                 :             :     {
    1533                 :       16416 :       if ((level == 0) && ((DynamicStrings_char ((*sb).in, (*sb).ini)) == '}'))
    1534                 :             :         {
    1535                 :             :           return;
    1536                 :             :         }
    1537                 :       15408 :       if ((DynamicStrings_char ((*sb).in, (*sb).ini)) == '}')
    1538                 :             :         {
    1539                 :        2568 :           level -= 1;
    1540                 :             :         }
    1541                 :       12840 :       else if ((DynamicStrings_char ((*sb).in, (*sb).ini)) == '{')
    1542                 :             :         {
    1543                 :             :           /* avoid dangling else.  */
    1544                 :        2568 :           level += 1;
    1545                 :             :         }
    1546                 :       15408 :       (*sb).ini += 1;
    1547                 :             :     }
    1548                 :             : }
    1549                 :             : 
    1550                 :             : 
    1551                 :             : /*
    1552                 :             :    ifNonNulThen := [ ':' ebnf ] =:
    1553                 :             : */
    1554                 :             : 
    1555                 :        6306 : static void ifNonNulThen (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high)
    1556                 :             : {
    1557                 :        6306 :   unsigned int sym[_sym_high+1];
    1558                 :             : 
    1559                 :             :   /* make a local copy of each unbounded array.  */
    1560                 :        6306 :   memcpy (sym, sym_, (_sym_high+1) * sizeof (unsigned int));
    1561                 :             : 
    1562                 :        6306 :   if ((DynamicStrings_char ((*eb).in, (*eb).ini)) == ':')
    1563                 :             :     {
    1564                 :        6306 :       (*eb).ini += 1;
    1565                 :        6306 :       if ((*eb).positive)
    1566                 :             :         {
    1567                 :             :           /* avoid dangling else.  */
    1568                 :        1008 :           if ((empty (eb)) && ((DynamicStrings_Length ((*eb).out)) != 0))
    1569                 :             :             {
    1570                 :           0 :               M2Printf_printf0 ((const char *) "inconsistency found\\n", 21);
    1571                 :           0 :               dump ((*eb));
    1572                 :             :             }
    1573                 :        6306 :           if (empty (eb))
    1574                 :             :             {
    1575                 :        1008 :               if (Debugging)
    1576                 :             :                 {
    1577                 :             :                   M2Printf_printf0 ((const char *) "empty expression, skip\\n", 24);
    1578                 :             :                 }
    1579                 :        1008 :               clear (eb);
    1580                 :             :               /* skip over this level of input text.  */
    1581                 :        1008 :               skip (eb);
    1582                 :             :             }
    1583                 :             :           else
    1584                 :             :             {
    1585                 :        5298 :               if (Debugging)
    1586                 :             :                 {
    1587                 :             :                   dump ((*eb));
    1588                 :             :                   M2Printf_printf0 ((const char *) "non empty expression, clear and continue\\n", 42);
    1589                 :             :                 }
    1590                 :        5298 :               clear (eb);
    1591                 :        5298 :               if (Debugging)
    1592                 :             :                 {
    1593                 :             :                   dump ((*eb));
    1594                 :             :                   M2Printf_printf0 ((const char *) "cleared, continue\\n", 19);
    1595                 :             :                   dump ((*eb));
    1596                 :             :                 }
    1597                 :             :               /* carry on processing input text.  */
    1598                 :        5298 :               ebnf (eb, (const unsigned int *) sym, _sym_high);
    1599                 :        5298 :               if (Debugging)
    1600                 :             :                 {
    1601                 :             :                   M2Printf_printf0 ((const char *) "evaluated\\n", 11);
    1602                 :             :                   dump ((*eb));
    1603                 :             :                 }
    1604                 :             :             }
    1605                 :             :         }
    1606                 :             :       else
    1607                 :             :         {
    1608                 :           0 :           if (empty (eb))
    1609                 :             :             {
    1610                 :           0 :               clear (eb);
    1611                 :             :               /* carry on processing input text.  */
    1612                 :           0 :               ebnf (eb, (const unsigned int *) sym, _sym_high);
    1613                 :             :             }
    1614                 :             :           else
    1615                 :             :             {
    1616                 :           0 :               clear (eb);
    1617                 :             :               /* skip over this level of input text.  */
    1618                 :           0 :               skip (eb);
    1619                 :             :             }
    1620                 :             :         }
    1621                 :        6306 :       if (((*eb).ini < (*eb).len) && ((DynamicStrings_char ((*eb).in, (*eb).ini)) != '}'))
    1622                 :             :         {
    1623                 :           0 :           InternalFormat ((*eb), (const char *) "expecting to see }", 18, 852);
    1624                 :             :         }
    1625                 :             :     }
    1626                 :        6306 : }
    1627                 :             : 
    1628                 :             : 
    1629                 :             : /*
    1630                 :             :    doNumber -
    1631                 :             : */
    1632                 :             : 
    1633                 :           0 : static void doNumber (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol)
    1634                 :             : {
    1635                 :           0 :   unsigned int sym[_sym_high+1];
    1636                 :             : 
    1637                 :             :   /* make a local copy of each unbounded array.  */
    1638                 :           0 :   memcpy (sym, sym_, (_sym_high+1) * sizeof (unsigned int));
    1639                 :             : 
    1640                 :           0 :   if (empty (eb))
    1641                 :             :     {
    1642                 :           0 :       (*eb).quotes = false;
    1643                 :           0 :       OutGlyphS (eb, StringConvert_ctos (sym[bol], 0, ' '));
    1644                 :             :     }
    1645                 :           0 : }
    1646                 :             : 
    1647                 :             : 
    1648                 :             : /*
    1649                 :             :    doCount -
    1650                 :             : */
    1651                 :             : 
    1652                 :        2004 : static void doCount (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol)
    1653                 :             : {
    1654                 :        2004 :   unsigned int sym[_sym_high+1];
    1655                 :             : 
    1656                 :             :   /* make a local copy of each unbounded array.  */
    1657                 :        2004 :   memcpy (sym, sym_, (_sym_high+1) * sizeof (unsigned int));
    1658                 :             : 
    1659                 :        2004 :   if (empty (eb))
    1660                 :             :     {
    1661                 :        2004 :       (*eb).quotes = false;
    1662                 :        2004 :       OutGlyphS (eb, StringConvert_ctos (sym[bol], 0, ' '));
    1663                 :        2004 :       if (((sym[bol] % 100) >= 11) && ((sym[bol] % 100) <= 13))
    1664                 :             :         {
    1665                 :           0 :           OutGlyphS (eb, DynamicStrings_Mark (DynamicStrings_InitString ((const char *) "th", 2)));
    1666                 :             :         }
    1667                 :             : 
    1668                 :             :       else {
    1669                 :        2004 :         switch (sym[bol] % 10)
    1670                 :             :           {
    1671                 :        1638 :             case 1:
    1672                 :        1638 :               OutGlyphS (eb, DynamicStrings_Mark (DynamicStrings_InitString ((const char *) "st", 2)));
    1673                 :        1638 :               break;
    1674                 :             : 
    1675                 :         318 :             case 2:
    1676                 :         318 :               OutGlyphS (eb, DynamicStrings_Mark (DynamicStrings_InitString ((const char *) "nd", 2)));
    1677                 :         318 :               break;
    1678                 :             : 
    1679                 :          18 :             case 3:
    1680                 :          18 :               OutGlyphS (eb, DynamicStrings_Mark (DynamicStrings_InitString ((const char *) "rd", 2)));
    1681                 :          18 :               break;
    1682                 :             : 
    1683                 :             : 
    1684                 :          30 :             default:
    1685                 :          30 :               OutGlyphS (eb, DynamicStrings_Mark (DynamicStrings_InitString ((const char *) "th", 2)));
    1686                 :          30 :               break;
    1687                 :             :           }
    1688                 :             :       }
    1689                 :             :     }
    1690                 :        4008 : }
    1691                 :             : 
    1692                 :             : 
    1693                 :             : /*
    1694                 :             :    doCount -
    1695                 :             : */
    1696                 :             : 
    1697                 :       32680 : static void doAscii (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol)
    1698                 :             : {
    1699                 :       32680 :   unsigned int sym[_sym_high+1];
    1700                 :             : 
    1701                 :             :   /* make a local copy of each unbounded array.  */
    1702                 :       32680 :   memcpy (sym, sym_, (_sym_high+1) * sizeof (unsigned int));
    1703                 :             : 
    1704                 :       32644 :   if ((((sym[bol] == SymbolTable_NulSym) || (! (empty (eb)))) || (SymbolTable_IsTemporary (sym[bol]))) || (SymbolTable_IsNameAnonymous (sym[bol])))
    1705                 :             :     {
    1706                 :         120 :       return;
    1707                 :             :     }
    1708                 :             :   else
    1709                 :             :     {
    1710                 :       32560 :       OutGlyphS (eb, DynamicStrings_InitStringCharStar (NameKey_KeyToCharStar (SymbolTable_GetSymName (sym[bol]))));
    1711                 :             :     }
    1712                 :       32680 : }
    1713                 :             : 
    1714                 :             : 
    1715                 :             : /*
    1716                 :             :    unquotedKeyword -
    1717                 :             : */
    1718                 :             : 
    1719                 :         588 : static void unquotedKeyword (M2MetaError_errorBlock *eb)
    1720                 :             : {
    1721                 :         588 :   (*eb).quotes = false;
    1722                 :           0 :   keyword (eb);
    1723                 :           0 : }
    1724                 :             : 
    1725                 :             : 
    1726                 :             : /*
    1727                 :             :    OutArray -
    1728                 :             : */
    1729                 :             : 
    1730                 :          54 : static void OutArray (M2MetaError_errorBlock *eb, const char *a_, unsigned int _a_high)
    1731                 :             : {
    1732                 :          54 :   char a[_a_high+1];
    1733                 :             : 
    1734                 :             :   /* make a local copy of each unbounded array.  */
    1735                 :          54 :   memcpy (a, a_, _a_high+1);
    1736                 :             : 
    1737                 :          54 :   OutGlyphS (eb, DynamicStrings_Mark (DynamicStrings_InitString ((const char *) a, _a_high)));
    1738                 :          54 : }
    1739                 :             : 
    1740                 :             : 
    1741                 :             : /*
    1742                 :             :    OutGlyphS - outputs a string of glyphs.
    1743                 :             : */
    1744                 :             : 
    1745                 :       74084 : static void OutGlyphS (M2MetaError_errorBlock *eb, DynamicStrings_String s)
    1746                 :             : {
    1747                 :       74084 :   if ((DynamicStrings_Length (s)) > 0)
    1748                 :             :     {
    1749                 :       74084 :       flushColor (eb);
    1750                 :       74084 :       checkMe ();
    1751                 :       74084 :       (*eb).glyph = true;
    1752                 :       74084 :       (*eb).out = DynamicStrings_ConCat ((*eb).out, s);
    1753                 :             :     }
    1754                 :       74084 : }
    1755                 :             : 
    1756                 :             : 
    1757                 :             : /*
    1758                 :             :    empty - returns TRUE if the output string is empty.
    1759                 :             :            It ignores color changes.
    1760                 :             : */
    1761                 :             : 
    1762                 :      145256 : static bool empty (M2MetaError_errorBlock *eb)
    1763                 :             : {
    1764                 :       80954 :   return ! (*eb).glyph;
    1765                 :             :   /* static analysis guarentees a RETURN statement will be used before here.  */
    1766                 :             :   __builtin_unreachable ();
    1767                 :             : }
    1768                 :             : 
    1769                 :             : 
    1770                 :             : /*
    1771                 :             :    clear - remove the output string.
    1772                 :             : */
    1773                 :             : 
    1774                 :       45298 : static void clear (M2MetaError_errorBlock *eb)
    1775                 :             : {
    1776                 :       45298 :   (*eb).out = DynamicStrings_KillString ((*eb).out);
    1777                 :       45298 :   (*eb).out = DynamicStrings_InitString ((const char *) "", 0);
    1778                 :       45298 :   (*eb).glyph = false;
    1779                 :       45298 :   (*eb).beginCol = M2MetaError_unsetColor;
    1780                 :       45298 :   (*eb).quotes = false;
    1781                 :       45298 : }
    1782                 :             : 
    1783                 :             : 
    1784                 :             : /*
    1785                 :             :    clear - remove the output string.
    1786                 :             : */
    1787                 :             : 
    1788                 :       26230 : static void doName (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol)
    1789                 :             : {
    1790                 :       26230 :   unsigned int sym[_sym_high+1];
    1791                 :             : 
    1792                 :             :   /* make a local copy of each unbounded array.  */
    1793                 :       26230 :   memcpy (sym, sym_, (_sym_high+1) * sizeof (unsigned int));
    1794                 :             : 
    1795                 :       20963 :   if ((((! (empty (eb))) || (sym[bol] == SymbolTable_NulSym)) || (SymbolTable_IsTemporary (sym[bol]))) || (SymbolTable_IsNameAnonymous (sym[bol])))
    1796                 :             :     {
    1797                 :        7799 :       return;
    1798                 :             :     }
    1799                 :             :   else
    1800                 :             :     {
    1801                 :       18431 :       if (sym[bol] == M2Base_ZType)
    1802                 :             :         {
    1803                 :          48 :           (*eb).quotes = false;
    1804                 :          48 :           OutArray (eb, (const char *) "the ZType", 9);
    1805                 :             :         }
    1806                 :       18383 :       else if (sym[bol] == M2Base_RType)
    1807                 :             :         {
    1808                 :             :           /* avoid dangling else.  */
    1809                 :           6 :           (*eb).quotes = false;
    1810                 :           6 :           OutArray (eb, (const char *) "the RType", 9);
    1811                 :             :         }
    1812                 :             :       else
    1813                 :             :         {
    1814                 :             :           /* avoid dangling else.  */
    1815                 :       18377 :           doAscii (eb, (const unsigned int *) sym, _sym_high, bol);
    1816                 :             :         }
    1817                 :             :     }
    1818                 :       26230 : }
    1819                 :             : 
    1820                 :             : 
    1821                 :             : /*
    1822                 :             :    clear - remove the output string.
    1823                 :             : */
    1824                 :             : 
    1825                 :           0 : static void doQualified (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol)
    1826                 :             : {
    1827                 :           0 :   typedef struct doQualified__T3_a doQualified__T3;
    1828                 :             : 
    1829                 :           0 :   struct doQualified__T3_a { unsigned int array[1+1]; };
    1830                 :           0 :   doQualified__T3 mod;
    1831                 :           0 :   unsigned int sym[_sym_high+1];
    1832                 :             : 
    1833                 :             :   /* make a local copy of each unbounded array.  */
    1834                 :           0 :   memcpy (sym, sym_, (_sym_high+1) * sizeof (unsigned int));
    1835                 :             : 
    1836                 :           0 :   if ((((! (empty (eb))) || (sym[bol] == SymbolTable_NulSym)) || (SymbolTable_IsTemporary (sym[bol]))) || (SymbolTable_IsNameAnonymous (sym[bol])))
    1837                 :             :     {
    1838                 :           0 :       return;
    1839                 :             :     }
    1840                 :             :   else
    1841                 :             :     {
    1842                 :           0 :       mod.array[0] = SymbolTable_GetScope (sym[bol]);
    1843                 :           0 :       if ((SymbolTable_IsDefImp (mod.array[0])) && (SymbolTable_IsExported (mod.array[0], sym[bol])))
    1844                 :             :         {
    1845                 :           0 :           doAscii (eb, (const unsigned int *) &mod.array[0], 1, 0);
    1846                 :           0 :           OutArray (eb, (const char *) ".", 1);
    1847                 :           0 :           OutGlyphS (eb, DynamicStrings_Mark (DynamicStrings_InitStringCharStar (NameKey_KeyToCharStar (SymbolTable_GetSymName (sym[bol])))));
    1848                 :             :         }
    1849                 :             :       else
    1850                 :             :         {
    1851                 :           0 :           doAscii (eb, (const unsigned int *) sym, _sym_high, bol);
    1852                 :             :         }
    1853                 :             :     }
    1854                 :           0 : }
    1855                 :             : 
    1856                 :             : 
    1857                 :             : /*
    1858                 :             :    doType - returns a string containing the type name of
    1859                 :             :             sym.
    1860                 :             : */
    1861                 :             : 
    1862                 :       14285 : static void doType (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol)
    1863                 :             : {
    1864                 :       14285 :   unsigned int sym[_sym_high+1];
    1865                 :             : 
    1866                 :             :   /* make a local copy of each unbounded array.  */
    1867                 :       14285 :   memcpy (sym, sym_, (_sym_high+1) * sizeof (unsigned int));
    1868                 :             : 
    1869                 :       14279 :   if ((! (empty (eb))) || (sym[bol] == SymbolTable_NulSym))
    1870                 :             :     {
    1871                 :           6 :       return;
    1872                 :             :     }
    1873                 :             :   else
    1874                 :             :     {
    1875                 :       14279 :       const_cast<unsigned int *>(sym)[bol] = SymbolTable_GetType (sym[bol]);
    1876                 :       14279 :       doAscii (eb, (const unsigned int *) sym, _sym_high, bol);
    1877                 :             :     }
    1878                 :       14285 : }
    1879                 :             : 
    1880                 :             : 
    1881                 :             : /*
    1882                 :             :    doSkipType - will skip all pseudonym types.  It also
    1883                 :             :                 returns the type symbol found and name.
    1884                 :             : */
    1885                 :             : 
    1886                 :        9414 : static void doSkipType (M2MetaError_errorBlock eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol)
    1887                 :             : {
    1888                 :        9414 :   unsigned int sym[_sym_high+1];
    1889                 :             : 
    1890                 :             :   /* make a local copy of each unbounded array.  */
    1891                 :        9414 :   memcpy (sym, sym_, (_sym_high+1) * sizeof (unsigned int));
    1892                 :             : 
    1893                 :          24 :   if ((! (empty (&eb))) || (sym[bol] == SymbolTable_NulSym))
    1894                 :             :     {
    1895                 :        9390 :       return;
    1896                 :             :     }
    1897                 :             :   else
    1898                 :             :     {
    1899                 :          24 :       const_cast<unsigned int *>(sym)[bol] = SymbolTable_SkipType (sym[bol]);
    1900                 :          24 :       while ((SymbolTable_IsType (sym[bol])) && (((SymbolTable_GetSymName (sym[bol])) == NameKey_NulName) || (SymbolTable_IsNameAnonymous (sym[bol]))))
    1901                 :             :         {
    1902                 :           0 :           const_cast<unsigned int *>(sym)[bol] = SymbolTable_GetType (sym[bol]);
    1903                 :             :         }
    1904                 :          24 :       doAscii (&eb, (const unsigned int *) sym, _sym_high, bol);
    1905                 :             :     }
    1906                 :        9414 : }
    1907                 :             : 
    1908                 :             : 
    1909                 :             : /*
    1910                 :             :    doGetType - attempts to get the type of sym[bol].
    1911                 :             : */
    1912                 :             : 
    1913                 :           0 : static void doGetType (M2MetaError_errorBlock *eb, unsigned int *sym, unsigned int _sym_high, unsigned int bol)
    1914                 :             : {
    1915                 :           0 :   if (((bol > _sym_high) || (! (empty (eb)))) || (sym[bol] == SymbolTable_NulSym))
    1916                 :             :     {
    1917                 :             :       return;
    1918                 :             :     }
    1919                 :             :   else
    1920                 :             :     {
    1921                 :           0 :       const_cast<unsigned int *>(sym)[bol] = SymbolTable_GetType (sym[bol]);
    1922                 :             :     }
    1923                 :             : }
    1924                 :             : 
    1925                 :             : 
    1926                 :             : /*
    1927                 :             :    doGetSkipType - will skip all pseudonym types.  It also
    1928                 :             :                    returns the type symbol found and name.
    1929                 :             : */
    1930                 :             : 
    1931                 :           0 : static void doGetSkipType (M2MetaError_errorBlock *eb, unsigned int *sym, unsigned int _sym_high, unsigned int bol)
    1932                 :             : {
    1933                 :           0 :   unsigned int prev;
    1934                 :             : 
    1935                 :           0 :   if (((bol > _sym_high) || (! (empty (eb)))) || (sym[bol] == SymbolTable_NulSym))
    1936                 :             :     {
    1937                 :             :       return;
    1938                 :             :     }
    1939                 :             :   else
    1940                 :             :     {
    1941                 :           0 :       do {
    1942                 :           0 :         prev = sym[bol];
    1943                 :           0 :         const_cast<unsigned int *>(sym)[bol] = SymbolTable_SkipType (sym[bol]);
    1944                 :           0 :         if (((SymbolTable_IsType (sym[bol])) && (((SymbolTable_GetSymName (sym[bol])) == NameKey_NulName) || (SymbolTable_IsNameAnonymous (sym[bol])))) && ((SymbolTable_GetType (sym[bol])) != SymbolTable_NulSym))
    1945                 :             :           {
    1946                 :           0 :             const_cast<unsigned int *>(sym)[bol] = SymbolTable_GetType (sym[bol]);
    1947                 :             :           }
    1948                 :           0 :       } while (! (sym[bol] == prev));
    1949                 :             :     }
    1950                 :             : }
    1951                 :             : 
    1952                 :             : 
    1953                 :             : /*
    1954                 :             :    doChain -
    1955                 :             : */
    1956                 :             : 
    1957                 :         162 : static void doChain (M2MetaError_errorBlock *eb, unsigned int tok)
    1958                 :             : {
    1959                 :         162 :   if (lastRoot == NULL)
    1960                 :             :     {
    1961                 :           0 :       M2Error_InternalError ((const char *) "should not be chaining an error onto an empty error note", 56);
    1962                 :             :     }
    1963                 :             :   else
    1964                 :             :     {
    1965                 :         162 :       (*eb).e = M2Error_ChainError (tok, lastRoot);
    1966                 :             :     }
    1967                 :         162 : }
    1968                 :             : 
    1969                 :             : 
    1970                 :             : /*
    1971                 :             :    doError - creates and returns an error note.
    1972                 :             : */
    1973                 :             : 
    1974                 :        3013 : static void doError (M2MetaError_errorBlock *eb, unsigned int tok)
    1975                 :             : {
    1976                 :           0 :   if ((*eb).useError)
    1977                 :             :     {
    1978                 :        3013 :       chooseError (eb, tok);
    1979                 :             :     }
    1980                 :           0 : }
    1981                 :             : 
    1982                 :             : 
    1983                 :             : /*
    1984                 :             :    defaultError - adds the default error location to, tok, if one has not already been
    1985                 :             :                   assigned.
    1986                 :             : */
    1987                 :             : 
    1988                 :        3007 : static void defaultError (M2MetaError_errorBlock *eb, unsigned int tok)
    1989                 :             : {
    1990                 :        3007 :   if ((*eb).e == NULL)
    1991                 :             :     {
    1992                 :        2583 :       doError (eb, tok);
    1993                 :             :     }
    1994                 :        3007 : }
    1995                 :             : 
    1996                 :             : 
    1997                 :             : /*
    1998                 :             :    chooseError - choose the error kind dependant upon type.
    1999                 :             :                  Either an error, warning or note will be generated.
    2000                 :             : */
    2001                 :             : 
    2002                 :        3013 : static void chooseError (M2MetaError_errorBlock *eb, unsigned int tok)
    2003                 :             : {
    2004                 :        3013 :   if ((*eb).chain)
    2005                 :             :     {
    2006                 :          48 :       doChain (eb, tok);
    2007                 :             :     }
    2008                 :             :   else
    2009                 :             :     {
    2010                 :        2965 :       switch ((*eb).type)
    2011                 :             :         {
    2012                 :         114 :           case M2MetaError_chained:
    2013                 :         114 :             doChain (eb, tok);
    2014                 :         114 :             break;
    2015                 :             : 
    2016                 :        2242 :           case M2MetaError_none:
    2017                 :        2242 :           case M2MetaError_aborta:
    2018                 :        2242 :           case M2MetaError_error:
    2019                 :        2242 :             if ((*eb).e == NULL)
    2020                 :             :               {
    2021                 :        2242 :                 (*eb).e = M2Error_NewError (tok);
    2022                 :             :               }
    2023                 :             :             else
    2024                 :             :               {
    2025                 :           0 :                 (*eb).e = M2Error_MoveError ((*eb).e, tok);
    2026                 :             :               }
    2027                 :             :             break;
    2028                 :             : 
    2029                 :         594 :           case M2MetaError_warning:
    2030                 :         594 :             if ((*eb).e == NULL)
    2031                 :             :               {
    2032                 :         594 :                 (*eb).e = M2Error_NewWarning (tok);
    2033                 :             :               }
    2034                 :             :             else
    2035                 :             :               {
    2036                 :           0 :                 (*eb).e = M2Error_MoveError ((*eb).e, tok);
    2037                 :             :               }
    2038                 :             :             break;
    2039                 :             : 
    2040                 :          15 :           case M2MetaError_note:
    2041                 :          15 :             if ((*eb).e == NULL)
    2042                 :             :               {
    2043                 :          15 :                 (*eb).e = M2Error_NewNote (tok);
    2044                 :             :               }
    2045                 :             :             else
    2046                 :             :               {
    2047                 :           0 :                 (*eb).e = M2Error_MoveError ((*eb).e, tok);
    2048                 :             :               }
    2049                 :             :             break;
    2050                 :             : 
    2051                 :             : 
    2052                 :           0 :           default:
    2053                 :           0 :             M2Error_InternalError ((const char *) "unexpected enumeration value", 28);
    2054                 :        3013 :             break;
    2055                 :             :         }
    2056                 :             :     }
    2057                 :        3013 :   if ((*eb).root)
    2058                 :             :     {
    2059                 :          42 :       lastRoot = (*eb).e;
    2060                 :          42 :       lastColor = findColorType ((*eb).in);
    2061                 :             :     }
    2062                 :        3013 :   (*eb).e = M2Error_SetColor ((*eb).e);
    2063                 :        3013 : }
    2064                 :             : 
    2065                 :             : 
    2066                 :             : /*
    2067                 :             :    doErrorScopeModule -
    2068                 :             : */
    2069                 :             : 
    2070                 :          36 : static void doErrorScopeModule (M2MetaError_errorBlock *eb, unsigned int sym)
    2071                 :             : {
    2072                 :          36 :   unsigned int scope;
    2073                 :             : 
    2074                 :          36 :   scope = SymbolTable_GetScope (sym);
    2075                 :          36 :   if (SymbolTable_IsModule (scope))
    2076                 :             :     {
    2077                 :          30 :       if (SymbolTable_IsInnerModule (scope))
    2078                 :             :         {
    2079                 :           0 :           doError (eb, SymbolTable_GetDeclaredMod (sym));
    2080                 :             :         }
    2081                 :             :       else
    2082                 :             :         {
    2083                 :          30 :           doError (eb, SymbolTable_GetDeclaredMod (sym));
    2084                 :             :         }
    2085                 :             :     }
    2086                 :             :   else
    2087                 :             :     {
    2088                 :           6 :       M2Debug_Assert (SymbolTable_IsDefImp (scope));
    2089                 :             :       /* if this fails then we need to skip to the outer scope.
    2090                 :             :          REPEAT
    2091                 :             :             OuterModule := GetScope(OuterModule)
    2092                 :             :          UNTIL GetScope(OuterModule)=NulSym.  */
    2093                 :           6 :       if ((SymbolTable_GetDeclaredModule (sym)) == M2LexBuf_UnknownTokenNo)
    2094                 :             :         {
    2095                 :           0 :           doError (eb, SymbolTable_GetDeclaredDef (sym));
    2096                 :             :         }
    2097                 :             :       else
    2098                 :             :         {
    2099                 :           6 :           doError (eb, SymbolTable_GetDeclaredMod (sym));
    2100                 :             :         }
    2101                 :             :     }
    2102                 :          36 : }
    2103                 :             : 
    2104                 :             : 
    2105                 :             : /*
    2106                 :             :    doErrorScopeForward -
    2107                 :             : */
    2108                 :             : 
    2109                 :           0 : static void doErrorScopeForward (M2MetaError_errorBlock *eb, unsigned int sym)
    2110                 :             : {
    2111                 :           0 :   unsigned int scope;
    2112                 :             : 
    2113                 :           0 :   scope = SymbolTable_GetScope (sym);
    2114                 :           0 :   if (SymbolTable_IsModule (scope))
    2115                 :             :     {
    2116                 :           0 :       if (SymbolTable_IsInnerModule (scope))
    2117                 :             :         {
    2118                 :           0 :           doError (eb, SymbolTable_GetDeclaredFor (sym));
    2119                 :             :         }
    2120                 :             :       else
    2121                 :             :         {
    2122                 :           0 :           doError (eb, SymbolTable_GetDeclaredFor (sym));
    2123                 :             :         }
    2124                 :             :     }
    2125                 :             :   else
    2126                 :             :     {
    2127                 :           0 :       M2Debug_Assert (SymbolTable_IsDefImp (scope));
    2128                 :             :       /* if this fails then we need to skip to the outer scope.
    2129                 :             :          REPEAT
    2130                 :             :             OuterModule := GetScope(OuterModule)
    2131                 :             :          UNTIL GetScope(OuterModule)=NulSym.  */
    2132                 :           0 :       if ((SymbolTable_GetDeclaredModule (sym)) == M2LexBuf_UnknownTokenNo)
    2133                 :             :         {
    2134                 :           0 :           doError (eb, SymbolTable_GetDeclaredDef (sym));
    2135                 :             :         }
    2136                 :             :       else
    2137                 :             :         {
    2138                 :           0 :           doError (eb, SymbolTable_GetDeclaredFor (sym));
    2139                 :             :         }
    2140                 :             :     }
    2141                 :           0 : }
    2142                 :             : 
    2143                 :             : 
    2144                 :             : /*
    2145                 :             :    doErrorScopeMod - potentially create an error referring to the definition
    2146                 :             :                      module, fall back to the implementation or program module if
    2147                 :             :                      there is no declaration in the definition module.
    2148                 :             : */
    2149                 :             : 
    2150                 :          52 : static void doErrorScopeMod (M2MetaError_errorBlock *eb, unsigned int sym)
    2151                 :             : {
    2152                 :          52 :   unsigned int scope;
    2153                 :             : 
    2154                 :          52 :   scope = SymbolTable_GetScope (sym);
    2155                 :          52 :   if (scope == SymbolTable_NulSym)
    2156                 :             :     {
    2157                 :          16 :       M2Error_EnterErrorScope (static_cast<M2Error_ErrorScope> (NULL));
    2158                 :          16 :       doError (eb, SymbolTable_GetDeclaredMod (sym));
    2159                 :             :     }
    2160                 :             :   else
    2161                 :             :     {
    2162                 :          36 :       M2Error_EnterErrorScope (SymbolTable_GetErrorScope (scope));
    2163                 :          36 :       if (SymbolTable_IsProcedure (scope))
    2164                 :             :         {
    2165                 :           0 :           doError (eb, SymbolTable_GetDeclaredMod (sym));
    2166                 :             :         }
    2167                 :             :       else
    2168                 :             :         {
    2169                 :          36 :           doErrorScopeModule (eb, sym);
    2170                 :             :         }
    2171                 :             :     }
    2172                 :          52 :   M2Error_LeaveErrorScope ();
    2173                 :          52 : }
    2174                 :             : 
    2175                 :             : 
    2176                 :             : /*
    2177                 :             :    doErrorScopeFor - potentially create an error referring to the
    2178                 :             :                      forward declaration, definition module, fall back
    2179                 :             :                      to the implementation or program module if
    2180                 :             :                      there is no declaration in the definition module.
    2181                 :             : */
    2182                 :             : 
    2183                 :           0 : static void doErrorScopeFor (M2MetaError_errorBlock *eb, unsigned int sym)
    2184                 :             : {
    2185                 :           0 :   unsigned int scope;
    2186                 :             : 
    2187                 :           0 :   scope = SymbolTable_GetScope (sym);
    2188                 :           0 :   if (scope == SymbolTable_NulSym)
    2189                 :             :     {
    2190                 :           0 :       M2Error_EnterErrorScope (static_cast<M2Error_ErrorScope> (NULL));
    2191                 :           0 :       doError (eb, SymbolTable_GetDeclaredFor (sym));
    2192                 :             :     }
    2193                 :             :   else
    2194                 :             :     {
    2195                 :           0 :       M2Error_EnterErrorScope (SymbolTable_GetErrorScope (scope));
    2196                 :           0 :       if (SymbolTable_IsProcedure (scope))
    2197                 :             :         {
    2198                 :           0 :           doError (eb, SymbolTable_GetDeclaredFor (sym));
    2199                 :             :         }
    2200                 :             :       else
    2201                 :             :         {
    2202                 :           0 :           doErrorScopeForward (eb, sym);
    2203                 :             :         }
    2204                 :             :     }
    2205                 :           0 :   M2Error_LeaveErrorScope ();
    2206                 :           0 : }
    2207                 :             : 
    2208                 :          52 : static void declaredMod (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol)
    2209                 :             : {
    2210                 :          52 :   unsigned int sym[_sym_high+1];
    2211                 :             : 
    2212                 :             :   /* make a local copy of each unbounded array.  */
    2213                 :          52 :   memcpy (sym, sym_, (_sym_high+1) * sizeof (unsigned int));
    2214                 :             : 
    2215                 :             :   /* 
    2216                 :             :    doDeclaredMod - creates an error note where sym[bol] was declared.
    2217                 :             :   */
    2218                 :          52 :   if (bol <= _sym_high)
    2219                 :             :     {
    2220                 :          52 :       doErrorScopeMod (eb, sym[bol]);
    2221                 :             :     }
    2222                 :          52 : }
    2223                 :             : 
    2224                 :             : 
    2225                 :             : /*
    2226                 :             :    doErrorScopeDefinition - use the declaration in the definitio module if one is available.
    2227                 :             : */
    2228                 :             : 
    2229                 :         126 : static void doErrorScopeDefinition (M2MetaError_errorBlock *eb, unsigned int sym)
    2230                 :             : {
    2231                 :         126 :   unsigned int scope;
    2232                 :             : 
    2233                 :         126 :   scope = SymbolTable_GetScope (sym);
    2234                 :         126 :   if (SymbolTable_IsModule (scope))
    2235                 :             :     {
    2236                 :             :       /* No definition module for a program module.  */
    2237                 :         126 :       doError (eb, SymbolTable_GetDeclaredMod (sym));
    2238                 :             :     }
    2239                 :             :   else
    2240                 :             :     {
    2241                 :           0 :       M2Debug_Assert (SymbolTable_IsDefImp (scope));
    2242                 :           0 :       if ((SymbolTable_GetDeclaredDefinition (sym)) == M2LexBuf_UnknownTokenNo)
    2243                 :             :         {
    2244                 :             :           /* Fall back to the implementation module if no declaration exists
    2245                 :             :             in the definition module.  */
    2246                 :           0 :           doError (eb, SymbolTable_GetDeclaredMod (sym));
    2247                 :             :         }
    2248                 :             :       else
    2249                 :             :         {
    2250                 :           0 :           doError (eb, SymbolTable_GetDeclaredDef (sym));
    2251                 :             :         }
    2252                 :             :     }
    2253                 :         126 : }
    2254                 :             : 
    2255                 :             : 
    2256                 :             : /*
    2257                 :             :    doErrorScopeDef - potentially create an error referring to the definition
    2258                 :             :                      module, fall back to the implementation or program module if
    2259                 :             :                      there is no declaration in the definition module.
    2260                 :             : */
    2261                 :             : 
    2262                 :         126 : static void doErrorScopeDef (M2MetaError_errorBlock *eb, unsigned int sym)
    2263                 :             : {
    2264                 :         126 :   unsigned int scope;
    2265                 :             : 
    2266                 :         126 :   scope = SymbolTable_GetScope (sym);
    2267                 :         126 :   if (scope == SymbolTable_NulSym)
    2268                 :             :     {
    2269                 :           0 :       M2Error_EnterErrorScope (static_cast<M2Error_ErrorScope> (NULL));
    2270                 :           0 :       doError (eb, SymbolTable_GetDeclaredFor (sym));
    2271                 :             :     }
    2272                 :             :   else
    2273                 :             :     {
    2274                 :         126 :       M2Error_EnterErrorScope (SymbolTable_GetErrorScope (scope));
    2275                 :         126 :       if (SymbolTable_IsProcedure (scope))
    2276                 :             :         {
    2277                 :           0 :           doError (eb, SymbolTable_GetDeclaredDef (sym));
    2278                 :             :         }
    2279                 :             :       else
    2280                 :             :         {
    2281                 :         126 :           doErrorScopeDefinition (eb, sym);
    2282                 :             :         }
    2283                 :             :     }
    2284                 :         126 :   M2Error_LeaveErrorScope ();
    2285                 :         126 : }
    2286                 :             : 
    2287                 :         126 : static void declaredDef (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol)
    2288                 :             : {
    2289                 :         126 :   unsigned int sym[_sym_high+1];
    2290                 :             : 
    2291                 :             :   /* make a local copy of each unbounded array.  */
    2292                 :         126 :   memcpy (sym, sym_, (_sym_high+1) * sizeof (unsigned int));
    2293                 :             : 
    2294                 :             :   /* 
    2295                 :             :    doDeclaredDef - creates an error note where sym[bol] was declared.
    2296                 :             :   */
    2297                 :         126 :   if (bol <= _sym_high)
    2298                 :             :     {
    2299                 :         126 :       doErrorScopeDef (eb, sym[bol]);
    2300                 :             :     }
    2301                 :         126 : }
    2302                 :             : 
    2303                 :           0 : static void declaredFor (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol)
    2304                 :             : {
    2305                 :           0 :   unsigned int sym[_sym_high+1];
    2306                 :             : 
    2307                 :             :   /* make a local copy of each unbounded array.  */
    2308                 :           0 :   memcpy (sym, sym_, (_sym_high+1) * sizeof (unsigned int));
    2309                 :             : 
    2310                 :             :   /* 
    2311                 :             :    doDeclaredFor - creates an error note where sym[bol] was declared.
    2312                 :             :   */
    2313                 :           0 :   if (bol <= _sym_high)
    2314                 :             :     {
    2315                 :           0 :       doErrorScopeFor (eb, sym[bol]);
    2316                 :             :     }
    2317                 :           0 : }
    2318                 :             : 
    2319                 :             : 
    2320                 :             : /*
    2321                 :             :    doErrorScopeProc - determine the location for the error or warning from
    2322                 :             :                       the default declaration.  For example parameters can be
    2323                 :             :                       declared in definition, forward or in modules (proper procedure).
    2324                 :             :                       Use GetVarParamTok to obtain a variable or parameter location.
    2325                 :             : */
    2326                 :             : 
    2327                 :         120 : static void doErrorScopeProc (M2MetaError_errorBlock *eb, unsigned int sym, M2MetaError_GetTokProcedure GetVarParamTok)
    2328                 :             : {
    2329                 :         120 :   unsigned int scope;
    2330                 :             : 
    2331                 :         120 :   scope = SymbolTable_GetScope (sym);
    2332                 :         120 :   if (scope == SymbolTable_NulSym)
    2333                 :             :     {
    2334                 :          60 :       M2Error_EnterErrorScope (static_cast<M2Error_ErrorScope> (NULL));
    2335                 :          60 :       doError (eb, SymbolTable_GetDeclaredDef (sym));
    2336                 :             :     }
    2337                 :             :   else
    2338                 :             :     {
    2339                 :          60 :       M2Error_EnterErrorScope (SymbolTable_GetErrorScope (scope));
    2340                 :          60 :       if (SymbolTable_IsProcedure (scope))
    2341                 :             :         {
    2342                 :          60 :           if ((SymbolTable_IsVar (sym)) || (SymbolTable_IsParameter (sym)))
    2343                 :             :             {
    2344                 :          60 :               doError (eb, (unsigned int ) ((*GetVarParamTok.proc) (sym)));
    2345                 :             :             }
    2346                 :             :           else
    2347                 :             :             {
    2348                 :           0 :               doError (eb, SymbolTable_GetDeclaredDef (sym));
    2349                 :             :             }
    2350                 :             :         }
    2351                 :             :       else
    2352                 :             :         {
    2353                 :           0 :           if (SymbolTable_IsModule (scope))
    2354                 :             :             {
    2355                 :           0 :               if (SymbolTable_IsInnerModule (scope))
    2356                 :             :                 {
    2357                 :           0 :                   doError (eb, SymbolTable_GetDeclaredDef (sym));
    2358                 :             :                 }
    2359                 :             :               else
    2360                 :             :                 {
    2361                 :           0 :                   doError (eb, SymbolTable_GetDeclaredDef (sym));
    2362                 :             :                 }
    2363                 :             :             }
    2364                 :             :           else
    2365                 :             :             {
    2366                 :           0 :               M2Debug_Assert (SymbolTable_IsDefImp (scope));
    2367                 :             :               /* if this fails then we need to skip to the outer scope.
    2368                 :             :             REPEAT
    2369                 :             :              OuterModule := GetScope(OuterModule)
    2370                 :             :             UNTIL GetScope(OuterModule)=NulSym ;  */
    2371                 :           0 :               if ((SymbolTable_GetDeclaredDefinition (sym)) == M2LexBuf_UnknownTokenNo)
    2372                 :             :                 {
    2373                 :           0 :                   doError (eb, SymbolTable_GetDeclaredMod (sym));
    2374                 :             :                 }
    2375                 :             :               else
    2376                 :             :                 {
    2377                 :           0 :                   doError (eb, SymbolTable_GetDeclaredDef (sym));
    2378                 :             :                 }
    2379                 :             :             }
    2380                 :             :         }
    2381                 :             :     }
    2382                 :         120 :   M2Error_LeaveErrorScope ();
    2383                 :         120 : }
    2384                 :             : 
    2385                 :          84 : static void declaredVar (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol)
    2386                 :             : {
    2387                 :          84 :   unsigned int sym[_sym_high+1];
    2388                 :             : 
    2389                 :             :   /* make a local copy of each unbounded array.  */
    2390                 :          84 :   memcpy (sym, sym_, (_sym_high+1) * sizeof (unsigned int));
    2391                 :             : 
    2392                 :             :   /* 
    2393                 :             :    doDeclaredVar - creates an error note where sym[bol] was declared.
    2394                 :             :   */
    2395                 :          84 :   if (bol <= _sym_high)
    2396                 :             :     {
    2397                 :          84 :       doErrorScopeProc (eb, sym[bol], (M2MetaError_GetTokProcedure) {(M2MetaError_GetTokProcedure_t) SymbolTable_GetVarDeclTok});
    2398                 :             :     }
    2399                 :          84 : }
    2400                 :             : 
    2401                 :           0 : static void declaredType (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol)
    2402                 :             : {
    2403                 :           0 :   unsigned int sym[_sym_high+1];
    2404                 :             : 
    2405                 :             :   /* make a local copy of each unbounded array.  */
    2406                 :           0 :   memcpy (sym, sym_, (_sym_high+1) * sizeof (unsigned int));
    2407                 :             : 
    2408                 :             :   /* 
    2409                 :             :    doDeclaredType - creates an error note where sym[bol] was declared.
    2410                 :             :   */
    2411                 :           0 :   if (bol <= _sym_high)
    2412                 :             :     {
    2413                 :           0 :       doErrorScopeProc (eb, sym[bol], (M2MetaError_GetTokProcedure) {(M2MetaError_GetTokProcedure_t) SymbolTable_GetVarDeclTypeTok});
    2414                 :             :     }
    2415                 :           0 : }
    2416                 :             : 
    2417                 :          36 : static void declaredFull (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol)
    2418                 :             : {
    2419                 :          36 :   unsigned int sym[_sym_high+1];
    2420                 :             : 
    2421                 :             :   /* make a local copy of each unbounded array.  */
    2422                 :          36 :   memcpy (sym, sym_, (_sym_high+1) * sizeof (unsigned int));
    2423                 :             : 
    2424                 :             :   /* 
    2425                 :             :    doDeclaredFull - creates an error note where sym[bol] was declared.
    2426                 :             :   */
    2427                 :          36 :   if (bol <= _sym_high)
    2428                 :             :     {
    2429                 :          36 :       doErrorScopeProc (eb, sym[bol], (M2MetaError_GetTokProcedure) {(M2MetaError_GetTokProcedure_t) SymbolTable_GetVarDeclFullTok});
    2430                 :             :     }
    2431                 :          36 : }
    2432                 :             : 
    2433                 :             : 
    2434                 :             : /*
    2435                 :             :    used - creates an error note where sym[bol] was first used.
    2436                 :             : */
    2437                 :             : 
    2438                 :         132 : static void used (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol)
    2439                 :             : {
    2440                 :         132 :   unsigned int sym[_sym_high+1];
    2441                 :             : 
    2442                 :             :   /* make a local copy of each unbounded array.  */
    2443                 :         132 :   memcpy (sym, sym_, (_sym_high+1) * sizeof (unsigned int));
    2444                 :             : 
    2445                 :         132 :   if (bol <= _sym_high)
    2446                 :             :     {
    2447                 :         132 :       doError (eb, SymbolTable_GetFirstUsed (sym[bol]));
    2448                 :             :     }
    2449                 :         132 : }
    2450                 :             : 
    2451                 :             : 
    2452                 :             : /*
    2453                 :             :    symDesc -
    2454                 :             : */
    2455                 :             : 
    2456                 :         858 : static DynamicStrings_String symDesc (unsigned int sym)
    2457                 :             : {
    2458                 :         858 :   if (SymbolTable_IsConstLit (sym))
    2459                 :             :     {
    2460                 :           6 :       return DynamicStrings_InitString ((const char *) "constant literal", 16);
    2461                 :             :     }
    2462                 :         852 :   else if (SymbolTable_IsConstSet (sym))
    2463                 :             :     {
    2464                 :             :       /* avoid dangling else.  */
    2465                 :          30 :       return DynamicStrings_InitString ((const char *) "constant set", 12);
    2466                 :             :     }
    2467                 :         822 :   else if (SymbolTable_IsConstructor (sym))
    2468                 :             :     {
    2469                 :             :       /* avoid dangling else.  */
    2470                 :          12 :       return DynamicStrings_InitString ((const char *) "constructor", 11);
    2471                 :             :     }
    2472                 :         810 :   else if (SymbolTable_IsConst (sym))
    2473                 :             :     {
    2474                 :             :       /* avoid dangling else.  */
    2475                 :           6 :       return DynamicStrings_InitString ((const char *) "constant", 8);
    2476                 :             :     }
    2477                 :         804 :   else if (SymbolTable_IsArray (sym))
    2478                 :             :     {
    2479                 :             :       /* avoid dangling else.  */
    2480                 :          48 :       return DynamicStrings_InitString ((const char *) "array", 5);
    2481                 :             :     }
    2482                 :         756 :   else if (SymbolTable_IsVar (sym))
    2483                 :             :     {
    2484                 :             :       /* avoid dangling else.  */
    2485                 :         534 :       if (SymbolTable_IsTemporary (sym))
    2486                 :             :         {
    2487                 :         384 :           return DynamicStrings_InitString ((const char *) "expression", 10);
    2488                 :             :         }
    2489                 :             :       else
    2490                 :             :         {
    2491                 :         150 :           return DynamicStrings_InitString ((const char *) "variable", 8);
    2492                 :             :         }
    2493                 :             :     }
    2494                 :         222 :   else if (SymbolTable_IsEnumeration (sym))
    2495                 :             :     {
    2496                 :             :       /* avoid dangling else.  */
    2497                 :           6 :       return DynamicStrings_InitString ((const char *) "enumeration type", 16);
    2498                 :             :     }
    2499                 :         216 :   else if (SymbolTable_IsFieldEnumeration (sym))
    2500                 :             :     {
    2501                 :             :       /* avoid dangling else.  */
    2502                 :           0 :       return DynamicStrings_InitString ((const char *) "enumeration field", 17);
    2503                 :             :     }
    2504                 :         216 :   else if (SymbolTable_IsUnbounded (sym))
    2505                 :             :     {
    2506                 :             :       /* avoid dangling else.  */
    2507                 :          24 :       return DynamicStrings_InitString ((const char *) "unbounded parameter", 19);
    2508                 :             :     }
    2509                 :         192 :   else if (SymbolTable_IsProcType (sym))
    2510                 :             :     {
    2511                 :             :       /* avoid dangling else.  */
    2512                 :          12 :       return DynamicStrings_InitString ((const char *) "procedure type", 14);
    2513                 :             :     }
    2514                 :         180 :   else if (M2Base_IsPseudoBaseFunction (sym))
    2515                 :             :     {
    2516                 :             :       /* avoid dangling else.  */
    2517                 :           6 :       return DynamicStrings_InitString ((const char *) "standard function procedure", 27);
    2518                 :             :     }
    2519                 :         174 :   else if (M2Base_IsPseudoBaseProcedure (sym))
    2520                 :             :     {
    2521                 :             :       /* avoid dangling else.  */
    2522                 :           0 :       return DynamicStrings_InitString ((const char *) "standard procedure", 18);
    2523                 :             :     }
    2524                 :         174 :   else if (SymbolTable_IsProcedure (sym))
    2525                 :             :     {
    2526                 :             :       /* avoid dangling else.  */
    2527                 :           6 :       return DynamicStrings_InitString ((const char *) "procedure", 9);
    2528                 :             :     }
    2529                 :         168 :   else if (SymbolTable_IsPointer (sym))
    2530                 :             :     {
    2531                 :             :       /* avoid dangling else.  */
    2532                 :           0 :       return DynamicStrings_InitString ((const char *) "pointer", 7);
    2533                 :             :     }
    2534                 :         168 :   else if (SymbolTable_IsParameter (sym))
    2535                 :             :     {
    2536                 :             :       /* avoid dangling else.  */
    2537                 :          30 :       if (SymbolTable_IsParameterVar (sym))
    2538                 :             :         {
    2539                 :          24 :           return DynamicStrings_InitString ((const char *) "var parameter", 13);
    2540                 :             :         }
    2541                 :             :       else
    2542                 :             :         {
    2543                 :           6 :           return DynamicStrings_InitString ((const char *) "parameter", 9);
    2544                 :             :         }
    2545                 :             :     }
    2546                 :         138 :   else if (SymbolTable_IsType (sym))
    2547                 :             :     {
    2548                 :             :       /* avoid dangling else.  */
    2549                 :           0 :       return DynamicStrings_InitString ((const char *) "type", 4);
    2550                 :             :     }
    2551                 :         138 :   else if (SymbolTable_IsRecord (sym))
    2552                 :             :     {
    2553                 :             :       /* avoid dangling else.  */
    2554                 :           6 :       return DynamicStrings_InitString ((const char *) "record", 6);
    2555                 :             :     }
    2556                 :         132 :   else if (SymbolTable_IsRecordField (sym))
    2557                 :             :     {
    2558                 :             :       /* avoid dangling else.  */
    2559                 :           0 :       return DynamicStrings_InitString ((const char *) "record field", 12);
    2560                 :             :     }
    2561                 :         132 :   else if (SymbolTable_IsVarient (sym))
    2562                 :             :     {
    2563                 :             :       /* avoid dangling else.  */
    2564                 :           0 :       return DynamicStrings_InitString ((const char *) "varient record", 14);
    2565                 :             :     }
    2566                 :         132 :   else if (SymbolTable_IsModule (sym))
    2567                 :             :     {
    2568                 :             :       /* avoid dangling else.  */
    2569                 :           0 :       return DynamicStrings_InitString ((const char *) "module", 6);
    2570                 :             :     }
    2571                 :         132 :   else if (SymbolTable_IsDefImp (sym))
    2572                 :             :     {
    2573                 :             :       /* avoid dangling else.  */
    2574                 :           0 :       return DynamicStrings_InitString ((const char *) "definition or implementation module", 35);
    2575                 :             :     }
    2576                 :         132 :   else if (SymbolTable_IsSet (sym))
    2577                 :             :     {
    2578                 :             :       /* avoid dangling else.  */
    2579                 :          24 :       return DynamicStrings_InitString ((const char *) "set", 3);
    2580                 :             :     }
    2581                 :         108 :   else if (SymbolTable_IsUnknown (sym))
    2582                 :             :     {
    2583                 :             :       /* avoid dangling else.  */
    2584                 :          18 :       return DynamicStrings_InitString ((const char *) "an unknown", 10);
    2585                 :             :     }
    2586                 :          90 :   else if (SymbolTable_IsSubrange (sym))
    2587                 :             :     {
    2588                 :             :       /* avoid dangling else.  */
    2589                 :          90 :       return DynamicStrings_InitString ((const char *) "subrange", 8);
    2590                 :             :     }
    2591                 :             :   else
    2592                 :             :     {
    2593                 :             :       /* avoid dangling else.  */
    2594                 :           0 :       return DynamicStrings_InitString ((const char *) "", 0);
    2595                 :             :     }
    2596                 :             :   /* static analysis guarentees a RETURN statement will be used before here.  */
    2597                 :             :   __builtin_unreachable ();
    2598                 :             : }
    2599                 :             : 
    2600                 :             : 
    2601                 :             : /*
    2602                 :             :    doDesc -
    2603                 :             : */
    2604                 :             : 
    2605                 :        8217 : static void doDesc (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol)
    2606                 :             : {
    2607                 :        8217 :   unsigned int sym[_sym_high+1];
    2608                 :             : 
    2609                 :             :   /* make a local copy of each unbounded array.  */
    2610                 :        8217 :   memcpy (sym, sym_, (_sym_high+1) * sizeof (unsigned int));
    2611                 :             : 
    2612                 :        8217 :   if (empty (eb))
    2613                 :             :     {
    2614                 :         858 :       OutGlyphS (eb, symDesc (sym[bol]));
    2615                 :         858 :       if (! (empty (eb)))
    2616                 :             :         {
    2617                 :         858 :           (*eb).quotes = false;
    2618                 :             :         }
    2619                 :             :     }
    2620                 :        8217 : }
    2621                 :             : 
    2622                 :             : 
    2623                 :             : /*
    2624                 :             :    op := {'!'|'a'|'c'|'d'|'k'|'n'|'p'|'q'|'s'|'t'|'u'|
    2625                 :             :           'A'|'B'|'C'|'D'|'E'|'F'|'G'|'H'|'K'|'M'|'N'|
    2626                 :             :           'O'|'P'|'Q'|'R'|'S'|'T'|'U'|'V'|'W'|'X'|'Y'|'Z'} then =:
    2627                 :             : */
    2628                 :             : 
    2629                 :       38992 : static void op (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high, unsigned int bol)
    2630                 :             : {
    2631                 :       38992 :   unsigned int sym[_sym_high+1];
    2632                 :             : 
    2633                 :             :   /* make a local copy of each unbounded array.  */
    2634                 :       38992 :   memcpy (sym, sym_, (_sym_high+1) * sizeof (unsigned int));
    2635                 :             : 
    2636                 :      118985 :   while (((*eb).ini < (*eb).len) && ((DynamicStrings_char ((*eb).in, (*eb).ini)) != '}'))
    2637                 :             :     {
    2638                 :       79993 :       if (Debugging)
    2639                 :             :         {
    2640                 :             :           M2Printf_printf0 ((const char *) "while loop in op\\n", 18);
    2641                 :             :           dump ((*eb));
    2642                 :             :         }
    2643                 :       79993 :       switch (DynamicStrings_char ((*eb).in, (*eb).ini))
    2644                 :             :         {
    2645                 :           0 :           case '!':
    2646                 :           0 :             (*eb).positive = ! (*eb).positive;
    2647                 :           0 :             break;
    2648                 :             : 
    2649                 :       26230 :           case 'a':
    2650                 :       26230 :             doName (eb, (const unsigned int *) sym, _sym_high, bol);
    2651                 :       26230 :             break;
    2652                 :             : 
    2653                 :           0 :           case 'c':
    2654                 :           0 :             (*eb).currentCol = readColor (eb);
    2655                 :           0 :             (*eb).ini -= 1;
    2656                 :           0 :             break;
    2657                 :             : 
    2658                 :        8217 :           case 'd':
    2659                 :        8217 :             doDesc (eb, (const unsigned int *) sym, _sym_high, bol);
    2660                 :        8217 :             break;
    2661                 :             : 
    2662                 :         588 :           case 'k':
    2663                 :         588 :             unquotedKeyword (eb);
    2664                 :         588 :             (*eb).ini -= 1;
    2665                 :         588 :             break;
    2666                 :             : 
    2667                 :           0 :           case 'n':
    2668                 :           0 :             doNumber (eb, (const unsigned int *) sym, _sym_high, bol);
    2669                 :           0 :             break;
    2670                 :             : 
    2671                 :           0 :           case 'p':
    2672                 :           0 :             popColor (eb);
    2673                 :           0 :             break;
    2674                 :             : 
    2675                 :           0 :           case 'q':
    2676                 :           0 :             doQualified (eb, (const unsigned int *) sym, _sym_high, bol);
    2677                 :           0 :             break;
    2678                 :             : 
    2679                 :        9414 :           case 's':
    2680                 :        9414 :             doSkipType ((*eb), (const unsigned int *) sym, _sym_high, bol);
    2681                 :        9414 :             break;
    2682                 :             : 
    2683                 :       14285 :           case 't':
    2684                 :       14285 :             doType (eb, (const unsigned int *) sym, _sym_high, bol);
    2685                 :       14285 :             break;
    2686                 :             : 
    2687                 :           0 :           case 'u':
    2688                 :           0 :             (*eb).quotes = false;
    2689                 :           0 :             break;
    2690                 :             : 
    2691                 :          82 :           case 'A':
    2692                 :          82 :             (*eb).type = M2MetaError_aborta;
    2693                 :          82 :             seenAbort = true;
    2694                 :          82 :             break;
    2695                 :             : 
    2696                 :           0 :           case 'B':
    2697                 :           0 :             declaredType (eb, (const unsigned int *) sym, _sym_high, bol);
    2698                 :           0 :             break;
    2699                 :             : 
    2700                 :          42 :           case 'C':
    2701                 :          42 :             (*eb).chain = true;
    2702                 :          42 :             break;
    2703                 :             : 
    2704                 :         126 :           case 'D':
    2705                 :         126 :             declaredDef (eb, (const unsigned int *) sym, _sym_high, bol);
    2706                 :         126 :             break;
    2707                 :             : 
    2708                 :        1648 :           case 'E':
    2709                 :        1648 :             (*eb).type = M2MetaError_error;
    2710                 :        1648 :             break;
    2711                 :             : 
    2712                 :           0 :           case 'F':
    2713                 :           0 :             filename (eb);
    2714                 :           0 :             (*eb).ini -= 1;
    2715                 :           0 :             break;
    2716                 :             : 
    2717                 :           0 :           case 'G':
    2718                 :           0 :             declaredFor (eb, (const unsigned int *) sym, _sym_high, bol);
    2719                 :           0 :             break;
    2720                 :             : 
    2721                 :          36 :           case 'H':
    2722                 :          36 :             declaredFull (eb, (const unsigned int *) sym, _sym_high, bol);
    2723                 :          36 :             break;
    2724                 :             : 
    2725                 :         546 :           case 'K':
    2726                 :         546 :             keyword (eb);
    2727                 :         546 :             (*eb).ini -= 1;
    2728                 :         546 :             break;
    2729                 :             : 
    2730                 :          52 :           case 'M':
    2731                 :          52 :             declaredMod (eb, (const unsigned int *) sym, _sym_high, bol);
    2732                 :          52 :             break;
    2733                 :             : 
    2734                 :        2004 :           case 'N':
    2735                 :        2004 :             doCount (eb, (const unsigned int *) sym, _sym_high, bol);
    2736                 :        2004 :             break;
    2737                 :             : 
    2738                 :          15 :           case 'O':
    2739                 :          15 :             (*eb).type = M2MetaError_note;
    2740                 :          15 :             break;
    2741                 :             : 
    2742                 :           0 :           case 'P':
    2743                 :           0 :             pushColor (eb);
    2744                 :           0 :             break;
    2745                 :             : 
    2746                 :           0 :           case 'Q':
    2747                 :           0 :             resetDictionary ();
    2748                 :           0 :             break;
    2749                 :             : 
    2750                 :          42 :           case 'R':
    2751                 :          42 :             (*eb).root = true;
    2752                 :          42 :             break;
    2753                 :             : 
    2754                 :           0 :           case 'S':
    2755                 :           0 :             doGetSkipType (eb, (unsigned int *) sym, _sym_high, bol);
    2756                 :           0 :             break;
    2757                 :             : 
    2758                 :           0 :           case 'T':
    2759                 :           0 :             doGetType (eb, (unsigned int *) sym, _sym_high, bol);
    2760                 :           0 :             break;
    2761                 :             : 
    2762                 :         132 :           case 'U':
    2763                 :         132 :             used (eb, (const unsigned int *) sym, _sym_high, bol);
    2764                 :         132 :             break;
    2765                 :             : 
    2766                 :          84 :           case 'V':
    2767                 :          84 :             declaredVar (eb, (const unsigned int *) sym, _sym_high, bol);
    2768                 :          84 :             break;
    2769                 :             : 
    2770                 :       10144 :           case 'W':
    2771                 :       10144 :             (*eb).type = M2MetaError_warning;
    2772                 :       10144 :             break;
    2773                 :             : 
    2774                 :           0 :           case 'X':
    2775                 :           0 :             pushOutput (eb);
    2776                 :           0 :             break;
    2777                 :             : 
    2778                 :           0 :           case 'Y':
    2779                 :           0 :             processDefine (eb);
    2780                 :           0 :             break;
    2781                 :             : 
    2782                 :           0 :           case 'Z':
    2783                 :           0 :             popOutput (eb);
    2784                 :           0 :             break;
    2785                 :             : 
    2786                 :        6306 :           case ':':
    2787                 :        6306 :             ifNonNulThen (eb, (const unsigned int *) sym, _sym_high);
    2788                 :        6306 :             (*eb).ini -= 1;
    2789                 :        6306 :             break;
    2790                 :             : 
    2791                 :           0 :           case '1':
    2792                 :           0 :             M2Error_InternalError ((const char *) "incorrect format spec, expecting %1 rather than % spec 1", 56);
    2793                 :           0 :             break;
    2794                 :             : 
    2795                 :           0 :           case '2':
    2796                 :           0 :             M2Error_InternalError ((const char *) "incorrect format spec, expecting %2 rather than % spec 2", 56);
    2797                 :           0 :             break;
    2798                 :             : 
    2799                 :           0 :           case '3':
    2800                 :           0 :             M2Error_InternalError ((const char *) "incorrect format spec, expecting %3 rather than % spec 3", 56);
    2801                 :           0 :             break;
    2802                 :             : 
    2803                 :           0 :           case '4':
    2804                 :           0 :             M2Error_InternalError ((const char *) "incorrect format spec, expecting %4 rather than % spec 4", 56);
    2805                 :           0 :             break;
    2806                 :             : 
    2807                 :             : 
    2808                 :           0 :           default:
    2809                 :           0 :             InternalFormat ((*eb), (const char *) "expecting one of [akqtdnpsuCDEFGKNOPQRSTUWXYZ:<>%]", 50, 1750);
    2810                 :             :             break;
    2811                 :             :         }
    2812                 :       79993 :       (*eb).ini += 1;
    2813                 :             :     }
    2814                 :       38992 :   if (Debugging)
    2815                 :             :     {
    2816                 :             :       M2Printf_printf0 ((const char *) "finishing op\\n", 14);
    2817                 :             :       dump ((*eb));
    2818                 :             :     }
    2819                 :       38992 : }
    2820                 :             : 
    2821                 :             : 
    2822                 :             : /*
    2823                 :             :    percenttoken := '%' (
    2824                 :             :                          '1'        % doOperand(1) %
    2825                 :             :                              op
    2826                 :             :                        | '2'        % doOperand(2) %
    2827                 :             :                              op
    2828                 :             :                        | '3'        % doOperand(3) %
    2829                 :             :                              op
    2830                 :             :                        | '4'        % doOperand(4) %
    2831                 :             :                              op
    2832                 :             :                        )
    2833                 :             :                        } =:
    2834                 :             : */
    2835                 :             : 
    2836                 :       38992 : static void percenttoken (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high)
    2837                 :             : {
    2838                 :       38992 :   unsigned int sym[_sym_high+1];
    2839                 :             : 
    2840                 :             :   /* make a local copy of each unbounded array.  */
    2841                 :       38992 :   memcpy (sym, sym_, (_sym_high+1) * sizeof (unsigned int));
    2842                 :             : 
    2843                 :       38992 :   if ((DynamicStrings_char ((*eb).in, (*eb).ini)) == '%')
    2844                 :             :     {
    2845                 :       38992 :       (*eb).ini += 1;
    2846                 :       38992 :       switch (DynamicStrings_char ((*eb).in, (*eb).ini))
    2847                 :             :         {
    2848                 :       23033 :           case '1':
    2849                 :       23033 :             (*eb).ini += 1;
    2850                 :       23033 :             op (eb, (const unsigned int *) sym, _sym_high, 0);
    2851                 :       23033 :             break;
    2852                 :             : 
    2853                 :       12371 :           case '2':
    2854                 :       12371 :             (*eb).ini += 1;
    2855                 :       12371 :             op (eb, (const unsigned int *) sym, _sym_high, 1);
    2856                 :       12371 :             break;
    2857                 :             : 
    2858                 :        1908 :           case '3':
    2859                 :        1908 :             (*eb).ini += 1;
    2860                 :        1908 :             op (eb, (const unsigned int *) sym, _sym_high, 2);
    2861                 :        1908 :             break;
    2862                 :             : 
    2863                 :         204 :           case '4':
    2864                 :         204 :             (*eb).ini += 1;
    2865                 :         204 :             op (eb, (const unsigned int *) sym, _sym_high, 3);
    2866                 :         204 :             break;
    2867                 :             : 
    2868                 :             : 
    2869                 :        1476 :           default:
    2870                 :        1476 :             op (eb, (const unsigned int *) sym, _sym_high, 0);
    2871                 :        1476 :             break;
    2872                 :             :         }
    2873                 :       38992 :       if (((*eb).ini < (*eb).len) && ((DynamicStrings_char ((*eb).in, (*eb).ini)) != '}'))
    2874                 :             :         {
    2875                 :           0 :           InternalFormat ((*eb), (const char *) "expecting to see }", 18, 1797);
    2876                 :             :         }
    2877                 :             :     }
    2878                 :       38992 : }
    2879                 :             : 
    2880                 :             : 
    2881                 :             : /*
    2882                 :             :    changeColor - changes to color, c.
    2883                 :             : */
    2884                 :             : 
    2885                 :        1224 : static void changeColor (M2MetaError_errorBlock *eb, M2MetaError_colorType c)
    2886                 :             : {
    2887                 :        1224 :   (*eb).currentCol = c;
    2888                 :        1134 : }
    2889                 :             : 
    2890                 :             : 
    2891                 :             : /*
    2892                 :             :    shutdownColor - shutdown existing color if it exists.
    2893                 :             : */
    2894                 :             : 
    2895                 :       98116 : static void shutdownColor (M2MetaError_errorBlock *eb)
    2896                 :             : {
    2897                 :       98116 :   if (((*eb).endCol != M2MetaError_unsetColor) && ((*eb).endCol != M2MetaError_noColor))
    2898                 :             :     {
    2899                 :      126374 :       (*eb).out = colorEnd ((*eb).out);
    2900                 :       63187 :       (*eb).endCol = M2MetaError_noColor;
    2901                 :             :     }
    2902                 :       98116 : }
    2903                 :             : 
    2904                 :             : 
    2905                 :             : /*
    2906                 :             :    flushColor - flushes any outstanding color change.
    2907                 :             : */
    2908                 :             : 
    2909                 :     1566988 : static void flushColor (M2MetaError_errorBlock *eb)
    2910                 :             : {
    2911                 :     1566988 :   if ((*eb).endCol != (*eb).currentCol)
    2912                 :             :     {
    2913                 :       70308 :       shutdownColor (eb);
    2914                 :       70308 :       if ((*eb).endCol != (*eb).currentCol)
    2915                 :             :         {
    2916                 :       72438 :           emitColor (eb, (*eb).currentCol);
    2917                 :       36219 :           (*eb).endCol = (*eb).currentCol;
    2918                 :             :         }
    2919                 :       70308 :       if ((*eb).beginCol == M2MetaError_unsetColor)
    2920                 :             :         {
    2921                 :       21563 :           (*eb).beginCol = (*eb).currentCol;
    2922                 :             :         }
    2923                 :             :     }
    2924                 :     1566988 : }
    2925                 :             : 
    2926                 :             : 
    2927                 :             : /*
    2928                 :             :    emitColorGCC -
    2929                 :             : */
    2930                 :             : 
    2931                 :       36219 : static void emitColorGCC (M2MetaError_errorBlock *eb, M2MetaError_colorType c)
    2932                 :             : {
    2933                 :       36219 :   switch (c)
    2934                 :             :     {
    2935                 :             :       case M2MetaError_unsetColor:
    2936                 :             :         break;
    2937                 :             : 
    2938                 :         306 :       case M2MetaError_noColor:
    2939                 :         306 :         (*eb).out = M2ColorString_endColor ((*eb).out);
    2940                 :         306 :         break;
    2941                 :             : 
    2942                 :           0 :       case M2MetaError_quoteColor:
    2943                 :           0 :         (*eb).out = M2ColorString_quoteColor ((*eb).out);
    2944                 :           0 :         break;
    2945                 :             : 
    2946                 :           0 :       case M2MetaError_filenameColor:
    2947                 :           0 :         (*eb).out = M2ColorString_filenameColor ((*eb).out);
    2948                 :           0 :         break;
    2949                 :             : 
    2950                 :       10130 :       case M2MetaError_errorColor:
    2951                 :       10130 :         (*eb).out = M2ColorString_errorColor ((*eb).out);
    2952                 :       10130 :         break;
    2953                 :             : 
    2954                 :       24607 :       case M2MetaError_warningColor:
    2955                 :       24607 :         (*eb).out = M2ColorString_warningColor ((*eb).out);
    2956                 :       24607 :         break;
    2957                 :             : 
    2958                 :          42 :       case M2MetaError_noteColor:
    2959                 :          42 :         (*eb).out = M2ColorString_noteColor ((*eb).out);
    2960                 :          42 :         break;
    2961                 :             : 
    2962                 :        1134 :       case M2MetaError_keywordColor:
    2963                 :        1134 :         (*eb).out = M2ColorString_locusColor ((*eb).out);
    2964                 :        1134 :         break;
    2965                 :             : 
    2966                 :           0 :       case M2MetaError_locusColor:
    2967                 :           0 :         (*eb).out = M2ColorString_locusColor ((*eb).out);
    2968                 :           0 :         break;
    2969                 :             : 
    2970                 :           0 :       case M2MetaError_insertColor:
    2971                 :           0 :         (*eb).out = M2ColorString_insertColor ((*eb).out);
    2972                 :           0 :         break;
    2973                 :             : 
    2974                 :           0 :       case M2MetaError_deleteColor:
    2975                 :           0 :         (*eb).out = M2ColorString_deleteColor ((*eb).out);
    2976                 :           0 :         break;
    2977                 :             : 
    2978                 :           0 :       case M2MetaError_typeColor:
    2979                 :           0 :         (*eb).out = M2ColorString_typeColor ((*eb).out);
    2980                 :           0 :         break;
    2981                 :             : 
    2982                 :           0 :       case M2MetaError_range1Color:
    2983                 :           0 :         (*eb).out = M2ColorString_range1Color ((*eb).out);
    2984                 :           0 :         break;
    2985                 :             : 
    2986                 :           0 :       case M2MetaError_range2Color:
    2987                 :           0 :         (*eb).out = M2ColorString_range2Color ((*eb).out);
    2988                 :           0 :         break;
    2989                 :             : 
    2990                 :             : 
    2991                 :           0 :       default:
    2992                 :           0 :         CaseException ("/home/worker/buildworker/tiber-lcov/build/gcc/m2/gm2-compiler/M2MetaError.def", 20, 1);
    2993                 :           0 :         __builtin_unreachable ();
    2994                 :             :     }
    2995                 :       36219 : }
    2996                 :             : 
    2997                 :             : 
    2998                 :             : /*
    2999                 :             :    emitColorTag -
    3000                 :             : */
    3001                 :             : 
    3002                 :           0 : static void emitColorTag (M2MetaError_errorBlock *eb, M2MetaError_colorType c)
    3003                 :             : {
    3004                 :           0 :   DynamicStrings_String s;
    3005                 :             : 
    3006                 :           0 :   switch (c)
    3007                 :             :     {
    3008                 :           0 :       case M2MetaError_unsetColor:
    3009                 :           0 :         s = DynamicStrings_InitString ((const char *) "<unset>", 7);
    3010                 :           0 :         break;
    3011                 :             : 
    3012                 :           0 :       case M2MetaError_noColor:
    3013                 :           0 :         s = DynamicStrings_InitString ((const char *) "<nocol>", 7);
    3014                 :           0 :         stop ();
    3015                 :           0 :         break;
    3016                 :             : 
    3017                 :           0 :       case M2MetaError_quoteColor:
    3018                 :           0 :         s = DynamicStrings_InitString ((const char *) "<quote>", 7);
    3019                 :           0 :         break;
    3020                 :             : 
    3021                 :           0 :       case M2MetaError_filenameColor:
    3022                 :           0 :         s = DynamicStrings_InitString ((const char *) "<filename>", 10);
    3023                 :           0 :         break;
    3024                 :             : 
    3025                 :           0 :       case M2MetaError_errorColor:
    3026                 :           0 :         s = DynamicStrings_InitString ((const char *) "<error>", 7);
    3027                 :           0 :         break;
    3028                 :             : 
    3029                 :           0 :       case M2MetaError_warningColor:
    3030                 :           0 :         s = DynamicStrings_InitString ((const char *) "<warn>", 6);
    3031                 :           0 :         break;
    3032                 :             : 
    3033                 :           0 :       case M2MetaError_noteColor:
    3034                 :           0 :         s = DynamicStrings_InitString ((const char *) "<note>", 6);
    3035                 :           0 :         break;
    3036                 :             : 
    3037                 :           0 :       case M2MetaError_keywordColor:
    3038                 :           0 :         s = DynamicStrings_InitString ((const char *) "<key>", 5);
    3039                 :           0 :         break;
    3040                 :             : 
    3041                 :           0 :       case M2MetaError_locusColor:
    3042                 :           0 :         s = DynamicStrings_InitString ((const char *) "<locus>", 7);
    3043                 :           0 :         break;
    3044                 :             : 
    3045                 :           0 :       case M2MetaError_insertColor:
    3046                 :           0 :         s = DynamicStrings_InitString ((const char *) "<insert>", 8);
    3047                 :           0 :         break;
    3048                 :             : 
    3049                 :           0 :       case M2MetaError_deleteColor:
    3050                 :           0 :         s = DynamicStrings_InitString ((const char *) "<delete>", 8);
    3051                 :           0 :         break;
    3052                 :             : 
    3053                 :           0 :       case M2MetaError_typeColor:
    3054                 :           0 :         s = DynamicStrings_InitString ((const char *) "<type>", 6);
    3055                 :           0 :         break;
    3056                 :             : 
    3057                 :           0 :       case M2MetaError_range1Color:
    3058                 :           0 :         s = DynamicStrings_InitString ((const char *) "<range1>", 8);
    3059                 :           0 :         break;
    3060                 :             : 
    3061                 :           0 :       case M2MetaError_range2Color:
    3062                 :           0 :         s = DynamicStrings_InitString ((const char *) "<range2>", 8);
    3063                 :           0 :         break;
    3064                 :             : 
    3065                 :             : 
    3066                 :           0 :       default:
    3067                 :           0 :         CaseException ("/home/worker/buildworker/tiber-lcov/build/gcc/m2/gm2-compiler/M2MetaError.def", 20, 1);
    3068                 :           0 :         __builtin_unreachable ();
    3069                 :             :     }
    3070                 :           0 :   (*eb).out = DynamicStrings_ConCat ((*eb).out, DynamicStrings_Mark (s));
    3071                 :           0 : }
    3072                 :             : 
    3073                 :             : 
    3074                 :             : /*
    3075                 :             :    emitColor - adds the appropriate color string to the output string.
    3076                 :             : */
    3077                 :             : 
    3078                 :       36219 : static void emitColor (M2MetaError_errorBlock *eb, M2MetaError_colorType c)
    3079                 :             : {
    3080                 :       36219 :   if (ColorDebug)
    3081                 :             :     {
    3082                 :             :       emitColorTag (eb, c);
    3083                 :             :     }
    3084                 :             :   else
    3085                 :             :     {
    3086                 :       36219 :       emitColorGCC (eb, c);
    3087                 :             :     }
    3088                 :           0 : }
    3089                 :             : 
    3090                 :             : 
    3091                 :             : /*
    3092                 :             :    openQuote -
    3093                 :             : */
    3094                 :             : 
    3095                 :       27898 : static DynamicStrings_String openQuote (DynamicStrings_String s)
    3096                 :             : {
    3097                 :       27898 :   if (ColorDebug)
    3098                 :             :     {
    3099                 :             :       return DynamicStrings_ConCat (s, DynamicStrings_Mark (DynamicStrings_InitString ((const char *) "<openquote>", 11)));
    3100                 :             :     }
    3101                 :             :   else
    3102                 :             :     {
    3103                 :       27808 :       return M2ColorString_quoteOpen (s);
    3104                 :             :     }
    3105                 :             :   /* static analysis guarentees a RETURN statement will be used before here.  */
    3106                 :             :   __builtin_unreachable ();
    3107                 :             : }
    3108                 :             : 
    3109                 :             : 
    3110                 :             : /*
    3111                 :             :    closeQuote -
    3112                 :             : */
    3113                 :             : 
    3114                 :       27898 : static DynamicStrings_String closeQuote (DynamicStrings_String s)
    3115                 :             : {
    3116                 :       27898 :   if (ColorDebug)
    3117                 :             :     {
    3118                 :             :       return DynamicStrings_ConCat (s, DynamicStrings_Mark (DynamicStrings_InitString ((const char *) "<closequote>", 12)));
    3119                 :             :     }
    3120                 :             :   else
    3121                 :             :     {
    3122                 :       27808 :       return M2ColorString_quoteClose (s);
    3123                 :             :     }
    3124                 :             :   /* static analysis guarentees a RETURN statement will be used before here.  */
    3125                 :             :   __builtin_unreachable ();
    3126                 :             : }
    3127                 :             : 
    3128                 :             : 
    3129                 :             : /*
    3130                 :             :    colorEnd -
    3131                 :             : */
    3132                 :             : 
    3133                 :       63187 : static DynamicStrings_String colorEnd (DynamicStrings_String s)
    3134                 :             : {
    3135                 :       63187 :   stop ();
    3136                 :       63187 :   if (ColorDebug)
    3137                 :             :     {
    3138                 :             :       return DynamicStrings_ConCat (s, DynamicStrings_Mark (DynamicStrings_InitString ((const char *) "<nocol>", 7)));
    3139                 :             :     }
    3140                 :             :   else
    3141                 :             :     {
    3142                 :       63187 :       return M2ColorString_endColor (s);
    3143                 :             :     }
    3144                 :             :   /* static analysis guarentees a RETURN statement will be used before here.  */
    3145                 :             :   __builtin_unreachable ();
    3146                 :             : }
    3147                 :             : 
    3148                 :             : 
    3149                 :             : /*
    3150                 :             :    copyChar - copies a character from in string to out string.
    3151                 :             : */
    3152                 :             : 
    3153                 :     1429482 : static void copyChar (M2MetaError_errorBlock *eb)
    3154                 :             : {
    3155                 :     1429482 :   if ((*eb).ini < (*eb).len)
    3156                 :             :     {
    3157                 :     1429482 :       flushColor (eb);
    3158                 :     1429482 :       checkMe ();
    3159                 :     1429482 :       (*eb).glyph = true;
    3160                 :     1429482 :       (*eb).out = x ((*eb).out, DynamicStrings_ConCatChar ((*eb).out, DynamicStrings_char ((*eb).in, (*eb).ini)));
    3161                 :             :     }
    3162                 :     1429482 : }
    3163                 :             : 
    3164                 :             : 
    3165                 :             : /*
    3166                 :             :    copyKeywordChar - copies a character from in string to out string
    3167                 :             :                      it will convert the character to lower case if the
    3168                 :             :                      -fm2-lower-case option was specified.
    3169                 :             : */
    3170                 :             : 
    3171                 :        4920 : static void copyKeywordChar (M2MetaError_errorBlock *eb)
    3172                 :             : {
    3173                 :        4920 :   char ch;
    3174                 :             : 
    3175                 :        4920 :   if ((*eb).ini < (*eb).len)
    3176                 :             :     {
    3177                 :        4920 :       flushColor (eb);
    3178                 :        4920 :       ch = DynamicStrings_char ((*eb).in, (*eb).ini);
    3179                 :        4920 :       if (M2Options_LowerCaseKeywords)
    3180                 :             :         {
    3181                 :           0 :           ch = StrCase_Lower (ch);
    3182                 :             :         }
    3183                 :        4920 :       (*eb).glyph = true;
    3184                 :        4920 :       (*eb).out = x ((*eb).out, DynamicStrings_ConCatChar ((*eb).out, ch));
    3185                 :             :     }
    3186                 :        4920 : }
    3187                 :             : 
    3188                 :             : 
    3189                 :             : /*
    3190                 :             :    percent := '%' anych           % copy anych %
    3191                 :             :             =:
    3192                 :             : */
    3193                 :             : 
    3194                 :         186 : static void percent (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high)
    3195                 :             : {
    3196                 :         186 :   unsigned int sym[_sym_high+1];
    3197                 :             : 
    3198                 :             :   /* make a local copy of each unbounded array.  */
    3199                 :         186 :   memcpy (sym, sym_, (_sym_high+1) * sizeof (unsigned int));
    3200                 :             : 
    3201                 :         186 :   if ((DynamicStrings_char ((*eb).in, (*eb).ini)) == '%')
    3202                 :             :     {
    3203                 :         186 :       (*eb).ini += 1;
    3204                 :         186 :       if ((*eb).ini < (*eb).len)
    3205                 :             :         {
    3206                 :             :           /* avoid gcc warning by using compound statement even if not strictly necessary.  */
    3207                 :         186 :           if ((DynamicStrings_char ((*eb).in, (*eb).ini)) == '<')
    3208                 :             :             {
    3209                 :             :               /* %< is a quotation symbol.  */
    3210                 :          90 :               pushColor (eb);
    3211                 :          90 :               (*eb).currentCol = M2MetaError_noColor;
    3212                 :          90 :               flushColor (eb);
    3213                 :          90 :               changeColor (eb, M2MetaError_quoteColor);
    3214                 :          90 :               (*eb).endCol = M2MetaError_quoteColor;  /* the openQuote will change the color.  */
    3215                 :             :               /* OutGlyphS performs a flush and we are emitting the open quote glyph.  */
    3216                 :          90 :               OutGlyphS (eb, openQuote (DynamicStrings_InitString ((const char *) "", 0)));
    3217                 :             :             }
    3218                 :          96 :           else if ((DynamicStrings_char ((*eb).in, (*eb).ini)) == '>')
    3219                 :             :             {
    3220                 :             :               /* avoid dangling else.  */
    3221                 :          90 :               OutGlyphS (eb, closeQuote (DynamicStrings_InitString ((const char *) "", 0)));
    3222                 :          90 :               (*eb).endCol = M2MetaError_noColor;  /* closeQuote also turns off color.  */
    3223                 :          90 :               popColor (eb);  /* closeQuote also turns off color.  */
    3224                 :             :             }
    3225                 :             :           else
    3226                 :             :             {
    3227                 :             :               /* avoid dangling else.  */
    3228                 :           6 :               copyChar (eb);
    3229                 :             :             }
    3230                 :             :         }
    3231                 :             :     }
    3232                 :         186 : }
    3233                 :             : 
    3234                 :             : 
    3235                 :             : /*
    3236                 :             :    lbra := '{' [ '!' ] percenttoken '}' =:
    3237                 :             : */
    3238                 :             : 
    3239                 :       38992 : static void lbra (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high)
    3240                 :             : {
    3241                 :       38992 :   unsigned int sym[_sym_high+1];
    3242                 :             : 
    3243                 :             :   /* make a local copy of each unbounded array.  */
    3244                 :       38992 :   memcpy (sym, sym_, (_sym_high+1) * sizeof (unsigned int));
    3245                 :             : 
    3246                 :       38992 :   if ((DynamicStrings_char ((*eb).in, (*eb).ini)) == '{')
    3247                 :             :     {
    3248                 :       38992 :       (*eb).positive = true;
    3249                 :       38992 :       (*eb).ini += 1;
    3250                 :       38992 :       if ((DynamicStrings_char ((*eb).in, (*eb).ini)) == '!')
    3251                 :             :         {
    3252                 :           0 :           (*eb).positive = false;
    3253                 :           0 :           (*eb).ini += 1;
    3254                 :             :         }
    3255                 :       38992 :       if ((DynamicStrings_char ((*eb).in, (*eb).ini)) != '%')
    3256                 :             :         {
    3257                 :           0 :           InternalFormat ((*eb), (const char *) "expecting to see %", 18, 2059);
    3258                 :             :         }
    3259                 :       38992 :       percenttoken (eb, (const unsigned int *) sym, _sym_high);
    3260                 :       38992 :       if (((*eb).ini < (*eb).len) && ((DynamicStrings_char ((*eb).in, (*eb).ini)) != '}'))
    3261                 :             :         {
    3262                 :           0 :           InternalFormat ((*eb), (const char *) "expecting to see }", 18, 2064);
    3263                 :             :         }
    3264                 :             :     }
    3265                 :       38992 : }
    3266                 :             : 
    3267                 :             : 
    3268                 :             : /*
    3269                 :             :    lbra := '{' [ '!' ] percenttoken '}' =:
    3270                 :             : */
    3271                 :             : 
    3272                 :           0 : static void stop (void)
    3273                 :             : {
    3274                 :           0 : }
    3275                 :             : 
    3276                 :             : 
    3277                 :             : /*
    3278                 :             :    lbra := '{' [ '!' ] percenttoken '}' =:
    3279                 :             : */
    3280                 :             : 
    3281                 :           0 : static void checkMe (void)
    3282                 :             : {
    3283                 :           0 : }
    3284                 :             : 
    3285                 :             : 
    3286                 :             : /*
    3287                 :             :    dumpErrorType -
    3288                 :             : */
    3289                 :             : 
    3290                 :           0 : static void dumpErrorType (M2MetaError_errorType e)
    3291                 :             : {
    3292                 :           0 :   switch (e)
    3293                 :             :     {
    3294                 :           0 :       case M2MetaError_none:
    3295                 :           0 :         M2Printf_printf0 ((const char *) "none", 4);
    3296                 :           0 :         break;
    3297                 :             : 
    3298                 :           0 :       case M2MetaError_error:
    3299                 :           0 :         M2Printf_printf0 ((const char *) "error", 5);
    3300                 :           0 :         break;
    3301                 :             : 
    3302                 :           0 :       case M2MetaError_warning:
    3303                 :           0 :         M2Printf_printf0 ((const char *) "warning", 7);
    3304                 :           0 :         break;
    3305                 :             : 
    3306                 :           0 :       case M2MetaError_note:
    3307                 :           0 :         M2Printf_printf0 ((const char *) "note", 4);
    3308                 :           0 :         break;
    3309                 :             : 
    3310                 :           0 :       case M2MetaError_chained:
    3311                 :           0 :         M2Printf_printf0 ((const char *) "chained", 7);
    3312                 :           0 :         break;
    3313                 :             : 
    3314                 :           0 :       case M2MetaError_aborta:
    3315                 :           0 :         M2Printf_printf0 ((const char *) "abort", 5);
    3316                 :           0 :         break;
    3317                 :             : 
    3318                 :             : 
    3319                 :           0 :       default:
    3320                 :           0 :         CaseException ("/home/worker/buildworker/tiber-lcov/build/gcc/m2/gm2-compiler/M2MetaError.def", 20, 1);
    3321                 :           0 :         __builtin_unreachable ();
    3322                 :             :     }
    3323                 :           0 : }
    3324                 :             : 
    3325                 :             : 
    3326                 :             : /*
    3327                 :             :    dumpColorType -
    3328                 :             : */
    3329                 :             : 
    3330                 :           0 : static void dumpColorType (M2MetaError_colorType c)
    3331                 :             : {
    3332                 :           0 :   switch (c)
    3333                 :             :     {
    3334                 :           0 :       case M2MetaError_unsetColor:
    3335                 :           0 :         M2Printf_printf0 ((const char *) "unsetColor", 10);
    3336                 :           0 :         break;
    3337                 :             : 
    3338                 :           0 :       case M2MetaError_noColor:
    3339                 :           0 :         M2Printf_printf0 ((const char *) "noColor", 7);
    3340                 :           0 :         break;
    3341                 :             : 
    3342                 :           0 :       case M2MetaError_quoteColor:
    3343                 :           0 :         M2Printf_printf0 ((const char *) "quoteColor", 10);
    3344                 :           0 :         break;
    3345                 :             : 
    3346                 :           0 :       case M2MetaError_filenameColor:
    3347                 :           0 :         M2Printf_printf0 ((const char *) "filenameColor", 13);
    3348                 :           0 :         break;
    3349                 :             : 
    3350                 :           0 :       case M2MetaError_errorColor:
    3351                 :           0 :         M2Printf_printf0 ((const char *) "errorColor", 10);
    3352                 :           0 :         break;
    3353                 :             : 
    3354                 :           0 :       case M2MetaError_warningColor:
    3355                 :           0 :         M2Printf_printf0 ((const char *) "warningColor", 12);
    3356                 :           0 :         break;
    3357                 :             : 
    3358                 :           0 :       case M2MetaError_noteColor:
    3359                 :           0 :         M2Printf_printf0 ((const char *) "noteColor", 9);
    3360                 :           0 :         break;
    3361                 :             : 
    3362                 :           0 :       case M2MetaError_keywordColor:
    3363                 :           0 :         M2Printf_printf0 ((const char *) "keywordColor", 12);
    3364                 :           0 :         break;
    3365                 :             : 
    3366                 :           0 :       case M2MetaError_locusColor:
    3367                 :           0 :         M2Printf_printf0 ((const char *) "locusColor", 10);
    3368                 :           0 :         break;
    3369                 :             : 
    3370                 :           0 :       case M2MetaError_insertColor:
    3371                 :           0 :         M2Printf_printf0 ((const char *) "insertColor", 11);
    3372                 :           0 :         break;
    3373                 :             : 
    3374                 :           0 :       case M2MetaError_deleteColor:
    3375                 :           0 :         M2Printf_printf0 ((const char *) "deleteColor", 11);
    3376                 :           0 :         break;
    3377                 :             : 
    3378                 :           0 :       case M2MetaError_typeColor:
    3379                 :           0 :         M2Printf_printf0 ((const char *) "typeColor", 9);
    3380                 :           0 :         break;
    3381                 :             : 
    3382                 :           0 :       case M2MetaError_range1Color:
    3383                 :           0 :         M2Printf_printf0 ((const char *) "range1Color", 11);
    3384                 :           0 :         break;
    3385                 :             : 
    3386                 :           0 :       case M2MetaError_range2Color:
    3387                 :           0 :         M2Printf_printf0 ((const char *) "range2Color", 11);
    3388                 :           0 :         break;
    3389                 :             : 
    3390                 :             : 
    3391                 :           0 :       default:
    3392                 :           0 :         CaseException ("/home/worker/buildworker/tiber-lcov/build/gcc/m2/gm2-compiler/M2MetaError.def", 20, 1);
    3393                 :           0 :         __builtin_unreachable ();
    3394                 :             :     }
    3395                 :           0 : }
    3396                 :             : 
    3397                 :             : 
    3398                 :             : /*
    3399                 :             :    dump -
    3400                 :             : 
    3401                 :             : */
    3402                 :             : 
    3403                 :           0 : static void dump (M2MetaError_errorBlock eb)
    3404                 :             : {
    3405                 :           0 :   char ch;
    3406                 :           0 :   unsigned int l;
    3407                 :           0 :   int i;
    3408                 :             : 
    3409                 :           0 :   l = DynamicStrings_Length (eb.out);
    3410                 :           0 :   M2Printf_printf0 ((const char *) "\\n\\nerrorBlock\\n", 16);
    3411                 :           0 :   M2Printf_printf0 ((const char *) "\\ntype      = ", 14);
    3412                 :           0 :   dumpErrorType (eb.type);
    3413                 :           0 :   M2Printf_printf1 ((const char *) "\\nout       = |%s|", 18, (const unsigned char *) &eb.out, (sizeof (eb.out)-1));
    3414                 :           0 :   M2Printf_printf1 ((const char *) "\\nin        = |%s|", 18, (const unsigned char *) &eb.in, (sizeof (eb.in)-1));
    3415                 :           0 :   M2Printf_printf1 ((const char *) "\\nLength (out) = %d", 19, (const unsigned char *) &l, (sizeof (l)-1));
    3416                 :           0 :   M2Printf_printf1 ((const char *) "\\nlen       = %d", 16, (const unsigned char *) &eb.len, (sizeof (eb.len)-1));
    3417                 :           0 :   M2Printf_printf1 ((const char *) "\\nhighplus1 = %d", 16, (const unsigned char *) &eb.highplus1, (sizeof (eb.highplus1)-1));
    3418                 :           0 :   M2Printf_printf1 ((const char *) "\\nglyph     = %d", 16, (const unsigned char *) &eb.glyph, (sizeof (eb.glyph)-1));
    3419                 :           0 :   M2Printf_printf1 ((const char *) "\\nquotes    = %d", 16, (const unsigned char *) &eb.quotes, (sizeof (eb.quotes)-1));
    3420                 :           0 :   M2Printf_printf1 ((const char *) "\\npositive  = %d", 16, (const unsigned char *) &eb.positive, (sizeof (eb.positive)-1));
    3421                 :           0 :   M2Printf_printf0 ((const char *) "\\nbeginCol  = ", 14);
    3422                 :           0 :   dumpColorType (eb.beginCol);
    3423                 :           0 :   M2Printf_printf0 ((const char *) "\\nendCol    = ", 14);
    3424                 :           0 :   dumpColorType (eb.endCol);
    3425                 :           0 :   M2Printf_printf0 ((const char *) "\\ncurrentCol = ", 15);
    3426                 :           0 :   dumpColorType (eb.currentCol);
    3427                 :           0 :   M2Printf_printf1 ((const char *) "\\nini        = %d", 17, (const unsigned char *) &eb.ini, (sizeof (eb.ini)-1));
    3428                 :           0 :   if (eb.ini < eb.len)
    3429                 :             :     {
    3430                 :           0 :       ch = DynamicStrings_char (eb.in, eb.ini);
    3431                 :           0 :       M2Printf_printf1 ((const char *) "\\ncurrent char = %c", 19, (const unsigned char *) &ch, (sizeof (ch)-1));
    3432                 :           0 :       M2Printf_printf1 ((const char *) "\\n%s\\n", 6, (const unsigned char *) &eb.in, (sizeof (eb.in)-1));
    3433                 :           0 :       i = 0;
    3434                 :           0 :       while (i < eb.ini)
    3435                 :             :         {
    3436                 :           0 :           M2Printf_printf0 ((const char *) " ", 1);
    3437                 :           0 :           i += 1;
    3438                 :             :         }
    3439                 :           0 :       M2Printf_printf0 ((const char *) "^\\n", 3);
    3440                 :             :     }
    3441                 :           0 :   M2Printf_printf0 ((const char *) "\\n", 2);
    3442                 :           0 : }
    3443                 :             : 
    3444                 :             : 
    3445                 :             : /*
    3446                 :             :    ebnf := { percent
    3447                 :             :              | lbra
    3448                 :             :              | any                    % copy ch %
    3449                 :             :            }
    3450                 :             :          =:
    3451                 :             : */
    3452                 :             : 
    3453                 :       20603 : static void ebnf (M2MetaError_errorBlock *eb, const unsigned int *sym_, unsigned int _sym_high)
    3454                 :             : {
    3455                 :       20603 :   M2MetaError_errorBlock nb;
    3456                 :       20603 :   unsigned int sym[_sym_high+1];
    3457                 :             : 
    3458                 :             :   /* make a local copy of each unbounded array.  */
    3459                 :       20603 :   memcpy (sym, sym_, (_sym_high+1) * sizeof (unsigned int));
    3460                 :             : 
    3461                 :       20603 :   if (Debugging)
    3462                 :             :     {
    3463                 :             :       M2Printf_printf0 ((const char *) "top of ebnf\\n", 13);
    3464                 :             :       dump ((*eb));
    3465                 :             :     }
    3466                 :     1491315 :   while ((*eb).ini < (*eb).len)
    3467                 :             :     {
    3468                 :     1476016 :       if (Debugging)
    3469                 :             :         {
    3470                 :             :           M2Printf_printf0 ((const char *) "while loop ebnf\\n", 17);
    3471                 :             :           dump ((*eb));
    3472                 :             :         }
    3473                 :     1476016 :       switch (DynamicStrings_char ((*eb).in, (*eb).ini))
    3474                 :             :         {
    3475                 :           0 :           case '!':
    3476                 :           0 :             (*eb).positive = ! (*eb).positive;
    3477                 :           0 :             break;
    3478                 :             : 
    3479                 :         186 :           case '%':
    3480                 :         186 :             percent (eb, (const unsigned int *) sym, _sym_high);
    3481                 :         186 :             break;
    3482                 :             : 
    3483                 :       38992 :           case '{':
    3484                 :       38992 :             push (&nb, (*eb));
    3485                 :       38992 :             lbra (&nb, (const unsigned int *) sym, _sym_high);
    3486                 :       38992 :             pop (eb, &nb);
    3487                 :       38992 :             if (((*eb).ini < (*eb).len) && ((DynamicStrings_char ((*eb).in, (*eb).ini)) != '}'))
    3488                 :             :               {
    3489                 :           0 :                 InternalFormat ((*eb), (const char *) "expecting to see }", 18, 2195);
    3490                 :             :               }
    3491                 :             :             break;
    3492                 :             : 
    3493                 :        5304 :           case '}':
    3494                 :        5304 :             return;
    3495                 :     1431534 :             break;
    3496                 :             : 
    3497                 :             : 
    3498                 :     1431534 :           default:
    3499                 :     1431534 :             if (((((IsWhite (DynamicStrings_char ((*eb).in, (*eb).ini))) && ((DynamicStrings_Length ((*eb).out)) > 0)) && (! (IsWhite (DynamicStrings_char ((*eb).out, -1))))) || (! (IsWhite (DynamicStrings_char ((*eb).in, (*eb).ini))))) && ((*eb).highplus1 > 0))
    3500                 :             :               {
    3501                 :     1429476 :                 (*eb).quotes = false;  /* copying a normal character, don't quote the result.  */
    3502                 :     1429476 :                 copyChar (eb);  /* copying a normal character, don't quote the result.  */
    3503                 :             :               }
    3504                 :             :             break;
    3505                 :             :         }
    3506                 :     1470712 :       (*eb).ini += 1;
    3507                 :             :     }
    3508                 :       15299 :   (*eb).currentCol = M2MetaError_noColor;
    3509                 :       15299 :   flushColor (eb);
    3510                 :       15299 :   if (Debugging)
    3511                 :             :     {
    3512                 :             :       M2Printf_printf0 ((const char *) "finishing ebnf\\n", 16);
    3513                 :             :       dump ((*eb));
    3514                 :             :     }
    3515                 :       20603 : }
    3516                 :             : 
    3517                 :             : 
    3518                 :             : /*
    3519                 :             :    wrapErrors -
    3520                 :             : */
    3521                 :             : 
    3522                 :         114 : static void wrapErrors (unsigned int tok, const char *m1_, unsigned int _m1_high, const char *m2_, unsigned int _m2_high, const unsigned int *sym_, unsigned int _sym_high)
    3523                 :             : {
    3524                 :         114 :   M2MetaError_errorBlock eb;
    3525                 :         114 :   char m1[_m1_high+1];
    3526                 :         114 :   char m2[_m2_high+1];
    3527                 :         114 :   unsigned int sym[_sym_high+1];
    3528                 :             : 
    3529                 :             :   /* make a local copy of each unbounded array.  */
    3530                 :         114 :   memcpy (m1, m1_, _m1_high+1);
    3531                 :         114 :   memcpy (m2, m2_, _m2_high+1);
    3532                 :         114 :   memcpy (sym, sym_, (_sym_high+1) * sizeof (unsigned int));
    3533                 :             : 
    3534                 :         114 :   initErrorBlock (&eb, DynamicStrings_InitString ((const char *) m1, _m1_high), (const unsigned int *) sym, _sym_high);
    3535                 :         114 :   ebnf (&eb, (const unsigned int *) sym, _sym_high);
    3536                 :         114 :   flushColor (&eb);
    3537                 :         114 :   defaultError (&eb, tok);
    3538                 :         114 :   lastRoot = eb.e;
    3539                 :         114 :   M2Error_ErrorString (eb.e, DynamicStrings_Dup (eb.out));
    3540                 :         114 :   killErrorBlock (&eb);
    3541                 :         114 :   initErrorBlock (&eb, DynamicStrings_InitString ((const char *) m2, _m2_high), (const unsigned int *) sym, _sym_high);
    3542                 :         114 :   eb.type = M2MetaError_chained;
    3543                 :         114 :   ebnf (&eb, (const unsigned int *) sym, _sym_high);
    3544                 :         114 :   flushColor (&eb);
    3545                 :         114 :   defaultError (&eb, tok);
    3546                 :         114 :   M2Error_ErrorString (eb.e, DynamicStrings_Dup (eb.out));
    3547                 :         114 :   killErrorBlock (&eb);
    3548                 :         114 : }
    3549                 :             : 
    3550                 :             : 
    3551                 :             : /*
    3552                 :             :    checkAbort - checks to see if the boolean flag seenAbort has been set,
    3553                 :             :                 if so it flushes all existing errors and terminates.
    3554                 :             : */
    3555                 :             : 
    3556                 :        2779 : static void checkAbort (void)
    3557                 :             : {
    3558                 :        2779 :   if (seenAbort)
    3559                 :             :     {
    3560                 :          82 :       M2Error_FlushWarnings ();
    3561                 :          82 :       M2Error_FlushErrors ();
    3562                 :             :     }
    3563                 :        2697 : }
    3564                 :             : 
    3565                 :             : 
    3566                 :             : /*
    3567                 :             :    translate -
    3568                 :             : */
    3569                 :             : 
    3570                 :           0 : static DynamicStrings_String translate (DynamicStrings_String m, DynamicStrings_String s, int *i, NameKey_Name name)
    3571                 :             : {
    3572                 :           0 :   int l;
    3573                 :           0 :   char ch;
    3574                 :             : 
    3575                 :           0 :   l = DynamicStrings_Length (m);
    3576                 :           0 :   while (((*i) >= 0) && ((*i) < l))
    3577                 :             :     {
    3578                 :           0 :       ch = DynamicStrings_char (m, (*i));
    3579                 :           0 :       if ((ch == '%') && ((*i) < l))
    3580                 :             :         {
    3581                 :           0 :           (*i) += 1;
    3582                 :           0 :           ch = DynamicStrings_char (m, (*i));
    3583                 :           0 :           (*i) += 1;
    3584                 :           0 :           if (ch == 'a')
    3585                 :             :             {
    3586                 :           0 :               s = DynamicStrings_ConCat (s, DynamicStrings_Mark (DynamicStrings_InitString ((const char *) "%<", 2)));
    3587                 :           0 :               s = DynamicStrings_ConCat (s, DynamicStrings_Mark (DynamicStrings_InitStringCharStar (NameKey_KeyToCharStar (name))));
    3588                 :           0 :               s = DynamicStrings_ConCat (s, DynamicStrings_Mark (DynamicStrings_InitString ((const char *) "%>", 2)));
    3589                 :           0 :               return s;
    3590                 :             :             }
    3591                 :           0 :           s = DynamicStrings_ConCatChar (s, '%');
    3592                 :             :         }
    3593                 :           0 :       s = DynamicStrings_ConCatChar (s, ch);
    3594                 :           0 :       (*i) += 1;
    3595                 :             :     }
    3596                 :             :   return s;
    3597                 :             :   /* static analysis guarentees a RETURN statement will be used before here.  */
    3598                 :             :   __builtin_unreachable ();
    3599                 :             : }
    3600                 :             : 
    3601                 :             : 
    3602                 :             : /*
    3603                 :             :    wrapString - return a string which has been formatted with the specifier codes.
    3604                 :             :                 Color is disabled.  The result string is returned.
    3605                 :             : */
    3606                 :             : 
    3607                 :       12298 : static DynamicStrings_String wrapString (DynamicStrings_String m, const unsigned int *sym_, unsigned int _sym_high)
    3608                 :             : {
    3609                 :       12298 :   M2MetaError_errorBlock eb;
    3610                 :       12298 :   DynamicStrings_String s;
    3611                 :       12298 :   bool old;
    3612                 :       12298 :   unsigned int sym[_sym_high+1];
    3613                 :             : 
    3614                 :             :   /* make a local copy of each unbounded array.  */
    3615                 :       12298 :   memcpy (sym, sym_, (_sym_high+1) * sizeof (unsigned int));
    3616                 :             : 
    3617                 :       24596 :   old = M2ColorString_SetEnableColor (false);
    3618                 :       12298 :   initErrorBlock (&eb, DynamicStrings_Dup (m), (const unsigned int *) sym, _sym_high);
    3619                 :       12298 :   eb.useError = false;
    3620                 :       12298 :   ebnf (&eb, (const unsigned int *) sym, _sym_high);
    3621                 :       12298 :   flushColor (&eb);
    3622                 :       12298 :   s = DynamicStrings_Dup (eb.out);
    3623                 :       12298 :   killErrorBlock (&eb);
    3624                 :       12298 :   old = M2ColorString_SetEnableColor (old);
    3625                 :       12298 :   return s;
    3626                 :             :   /* static analysis guarentees a RETURN statement will be used before here.  */
    3627                 :             :   __builtin_unreachable ();
    3628                 :       12298 : }
    3629                 :             : 
    3630                 :           0 : extern "C" void M2MetaError_MetaError0 (const char *m_, unsigned int _m_high)
    3631                 :             : {
    3632                 :           0 :   char m[_m_high+1];
    3633                 :             : 
    3634                 :             :   /* make a local copy of each unbounded array.  */
    3635                 :           0 :   memcpy (m, m_, _m_high+1);
    3636                 :             : 
    3637                 :           0 :   M2MetaError_MetaErrorT0 (M2LexBuf_GetTokenNo (), (const char *) m, _m_high);
    3638                 :           0 : }
    3639                 :             : 
    3640                 :          64 : extern "C" void M2MetaError_MetaError1 (const char *m_, unsigned int _m_high, unsigned int s)
    3641                 :             : {
    3642                 :          64 :   char m[_m_high+1];
    3643                 :             : 
    3644                 :             :   /* make a local copy of each unbounded array.  */
    3645                 :          64 :   memcpy (m, m_, _m_high+1);
    3646                 :             : 
    3647                 :          64 :   M2MetaError_MetaErrorT1 (M2LexBuf_GetTokenNo (), (const char *) m, _m_high, s);
    3648                 :          64 : }
    3649                 :             : 
    3650                 :          18 : extern "C" void M2MetaError_MetaError2 (const char *m_, unsigned int _m_high, unsigned int s1, unsigned int s2)
    3651                 :             : {
    3652                 :          18 :   char m[_m_high+1];
    3653                 :             : 
    3654                 :             :   /* make a local copy of each unbounded array.  */
    3655                 :          18 :   memcpy (m, m_, _m_high+1);
    3656                 :             : 
    3657                 :          18 :   M2MetaError_MetaErrorT2 (M2LexBuf_GetTokenNo (), (const char *) m, _m_high, s1, s2);
    3658                 :          18 : }
    3659                 :             : 
    3660                 :           0 : extern "C" void M2MetaError_MetaError3 (const char *m_, unsigned int _m_high, unsigned int s1, unsigned int s2, unsigned int s3)
    3661                 :             : {
    3662                 :           0 :   char m[_m_high+1];
    3663                 :             : 
    3664                 :             :   /* make a local copy of each unbounded array.  */
    3665                 :           0 :   memcpy (m, m_, _m_high+1);
    3666                 :             : 
    3667                 :           0 :   M2MetaError_MetaErrorT3 (M2LexBuf_GetTokenNo (), (const char *) m, _m_high, s1, s2, s3);
    3668                 :           0 : }
    3669                 :             : 
    3670                 :           0 : extern "C" void M2MetaError_MetaError4 (const char *m_, unsigned int _m_high, unsigned int s1, unsigned int s2, unsigned int s3, unsigned int s4)
    3671                 :             : {
    3672                 :           0 :   char m[_m_high+1];
    3673                 :             : 
    3674                 :             :   /* make a local copy of each unbounded array.  */
    3675                 :           0 :   memcpy (m, m_, _m_high+1);
    3676                 :             : 
    3677                 :           0 :   M2MetaError_MetaErrorT4 (M2LexBuf_GetTokenNo (), (const char *) m, _m_high, s1, s2, s3, s4);
    3678                 :           0 : }
    3679                 :             : 
    3680                 :             : 
    3681                 :             : /*
    3682                 :             :    wrapErrors -
    3683                 :             : */
    3684                 :             : 
    3685                 :          18 : extern "C" void M2MetaError_MetaErrors1 (const char *m1_, unsigned int _m1_high, const char *m2_, unsigned int _m2_high, unsigned int s)
    3686                 :             : {
    3687                 :          18 :   char m1[_m1_high+1];
    3688                 :          18 :   char m2[_m2_high+1];
    3689                 :             : 
    3690                 :             :   /* make a local copy of each unbounded array.  */
    3691                 :          18 :   memcpy (m1, m1_, _m1_high+1);
    3692                 :          18 :   memcpy (m2, m2_, _m2_high+1);
    3693                 :             : 
    3694                 :          18 :   M2MetaError_MetaErrorsT1 (M2LexBuf_GetTokenNo (), (const char *) m1, _m1_high, (const char *) m2, _m2_high, s);
    3695                 :          18 : }
    3696                 :             : 
    3697                 :             : 
    3698                 :             : /*
    3699                 :             :    wrapErrors -
    3700                 :             : */
    3701                 :             : 
    3702                 :           6 : extern "C" void M2MetaError_MetaErrors2 (const char *m1_, unsigned int _m1_high, const char *m2_, unsigned int _m2_high, unsigned int s1, unsigned int s2)
    3703                 :             : {
    3704                 :           6 :   char m1[_m1_high+1];
    3705                 :           6 :   char m2[_m2_high+1];
    3706                 :             : 
    3707                 :             :   /* make a local copy of each unbounded array.  */
    3708                 :           6 :   memcpy (m1, m1_, _m1_high+1);
    3709                 :           6 :   memcpy (m2, m2_, _m2_high+1);
    3710                 :             : 
    3711                 :           6 :   M2MetaError_MetaErrorsT2 (M2LexBuf_GetTokenNo (), (const char *) m1, _m1_high, (const char *) m2, _m2_high, s1, s2);
    3712                 :           6 : }
    3713                 :             : 
    3714                 :             : 
    3715                 :             : /*
    3716                 :             :    wrapErrors -
    3717                 :             : */
    3718                 :             : 
    3719                 :           0 : extern "C" void M2MetaError_MetaErrors3 (const char *m1_, unsigned int _m1_high, const char *m2_, unsigned int _m2_high, unsigned int s1, unsigned int s2, unsigned int s3)
    3720                 :             : {
    3721                 :           0 :   char m1[_m1_high+1];
    3722                 :           0 :   char m2[_m2_high+1];
    3723                 :             : 
    3724                 :             :   /* make a local copy of each unbounded array.  */
    3725                 :           0 :   memcpy (m1, m1_, _m1_high+1);
    3726                 :           0 :   memcpy (m2, m2_, _m2_high+1);
    3727                 :             : 
    3728                 :           0 :   M2MetaError_MetaErrorsT3 (M2LexBuf_GetTokenNo (), (const char *) m1, _m1_high, (const char *) m2, _m2_high, s1, s2, s3);
    3729                 :           0 : }
    3730                 :             : 
    3731                 :             : 
    3732                 :             : /*
    3733                 :             :    wrapErrors -
    3734                 :             : */
    3735                 :             : 
    3736                 :           0 : extern "C" void M2MetaError_MetaErrors4 (const char *m1_, unsigned int _m1_high, const char *m2_, unsigned int _m2_high, unsigned int s1, unsigned int s2, unsigned int s3, unsigned int s4)
    3737                 :             : {
    3738                 :           0 :   char m1[_m1_high+1];
    3739                 :           0 :   char m2[_m2_high+1];
    3740                 :             : 
    3741                 :             :   /* make a local copy of each unbounded array.  */
    3742                 :           0 :   memcpy (m1, m1_, _m1_high+1);
    3743                 :           0 :   memcpy (m2, m2_, _m2_high+1);
    3744                 :             : 
    3745                 :           0 :   M2MetaError_MetaErrorsT4 (M2LexBuf_GetTokenNo (), (const char *) m1, _m1_high, (const char *) m2, _m2_high, s1, s2, s3, s4);
    3746                 :           0 : }
    3747                 :             : 
    3748                 :          48 : extern "C" void M2MetaError_MetaErrorT0 (unsigned int tok, const char *m_, unsigned int _m_high)
    3749                 :             : {
    3750                 :          48 :   char m[_m_high+1];
    3751                 :             : 
    3752                 :             :   /* make a local copy of each unbounded array.  */
    3753                 :          48 :   memcpy (m, m_, _m_high+1);
    3754                 :             : 
    3755                 :          48 :   M2MetaError_MetaErrorStringT0 (tok, DynamicStrings_InitString ((const char *) m, _m_high));
    3756                 :          48 : }
    3757                 :             : 
    3758                 :         940 : extern "C" void M2MetaError_MetaErrorT1 (unsigned int tok, const char *m_, unsigned int _m_high, unsigned int s)
    3759                 :             : {
    3760                 :         940 :   char m[_m_high+1];
    3761                 :             : 
    3762                 :             :   /* make a local copy of each unbounded array.  */
    3763                 :         940 :   memcpy (m, m_, _m_high+1);
    3764                 :             : 
    3765                 :         940 :   M2MetaError_MetaErrorStringT1 (tok, DynamicStrings_InitString ((const char *) m, _m_high), s);
    3766                 :         940 : }
    3767                 :             : 
    3768                 :         654 : extern "C" void M2MetaError_MetaErrorT2 (unsigned int tok, const char *m_, unsigned int _m_high, unsigned int s1, unsigned int s2)
    3769                 :             : {
    3770                 :         654 :   char m[_m_high+1];
    3771                 :             : 
    3772                 :             :   /* make a local copy of each unbounded array.  */
    3773                 :         654 :   memcpy (m, m_, _m_high+1);
    3774                 :             : 
    3775                 :         654 :   M2MetaError_MetaErrorStringT2 (tok, DynamicStrings_InitString ((const char *) m, _m_high), s1, s2);
    3776                 :         654 : }
    3777                 :             : 
    3778                 :          36 : extern "C" void M2MetaError_MetaErrorT3 (unsigned int tok, const char *m_, unsigned int _m_high, unsigned int s1, unsigned int s2, unsigned int s3)
    3779                 :             : {
    3780                 :          36 :   char m[_m_high+1];
    3781                 :             : 
    3782                 :             :   /* make a local copy of each unbounded array.  */
    3783                 :          36 :   memcpy (m, m_, _m_high+1);
    3784                 :             : 
    3785                 :          36 :   M2MetaError_MetaErrorStringT3 (tok, DynamicStrings_InitString ((const char *) m, _m_high), s1, s2, s3);
    3786                 :          36 : }
    3787                 :             : 
    3788                 :          12 : extern "C" void M2MetaError_MetaErrorT4 (unsigned int tok, const char *m_, unsigned int _m_high, unsigned int s1, unsigned int s2, unsigned int s3, unsigned int s4)
    3789                 :             : {
    3790                 :          12 :   char m[_m_high+1];
    3791                 :             : 
    3792                 :             :   /* make a local copy of each unbounded array.  */
    3793                 :          12 :   memcpy (m, m_, _m_high+1);
    3794                 :             : 
    3795                 :          12 :   M2MetaError_MetaErrorStringT4 (tok, DynamicStrings_InitString ((const char *) m, _m_high), s1, s2, s3, s4);
    3796                 :          12 : }
    3797                 :             : 
    3798                 :             : 
    3799                 :             : /*
    3800                 :             :    wrapErrors -
    3801                 :             : */
    3802                 :             : 
    3803                 :          18 : extern "C" void M2MetaError_MetaErrorsT1 (unsigned int tok, const char *m1_, unsigned int _m1_high, const char *m2_, unsigned int _m2_high, unsigned int s)
    3804                 :             : {
    3805                 :          18 :   typedef struct MetaErrorsT1__T4_a MetaErrorsT1__T4;
    3806                 :             : 
    3807                 :          18 :   struct MetaErrorsT1__T4_a { unsigned int array[0+1]; };
    3808                 :          18 :   MetaErrorsT1__T4 sym;
    3809                 :          18 :   char m1[_m1_high+1];
    3810                 :          18 :   char m2[_m2_high+1];
    3811                 :             : 
    3812                 :             :   /* make a local copy of each unbounded array.  */
    3813                 :          18 :   memcpy (m1, m1_, _m1_high+1);
    3814                 :          18 :   memcpy (m2, m2_, _m2_high+1);
    3815                 :             : 
    3816                 :          18 :   sym.array[0] = s;
    3817                 :          18 :   wrapErrors (tok, (const char *) m1, _m1_high, (const char *) m2, _m2_high, (const unsigned int *) &sym.array[0], 0);
    3818                 :          18 : }
    3819                 :             : 
    3820                 :             : 
    3821                 :             : /*
    3822                 :             :    wrapErrors -
    3823                 :             : */
    3824                 :             : 
    3825                 :          96 : extern "C" void M2MetaError_MetaErrorsT2 (unsigned int tok, const char *m1_, unsigned int _m1_high, const char *m2_, unsigned int _m2_high, unsigned int s1, unsigned int s2)
    3826                 :             : {
    3827                 :          96 :   typedef struct MetaErrorsT2__T5_a MetaErrorsT2__T5;
    3828                 :             : 
    3829                 :          96 :   struct MetaErrorsT2__T5_a { unsigned int array[1+1]; };
    3830                 :          96 :   MetaErrorsT2__T5 sym;
    3831                 :          96 :   char m1[_m1_high+1];
    3832                 :          96 :   char m2[_m2_high+1];
    3833                 :             : 
    3834                 :             :   /* make a local copy of each unbounded array.  */
    3835                 :          96 :   memcpy (m1, m1_, _m1_high+1);
    3836                 :          96 :   memcpy (m2, m2_, _m2_high+1);
    3837                 :             : 
    3838                 :          96 :   sym.array[0] = s1;
    3839                 :          96 :   sym.array[1] = s2;
    3840                 :          96 :   wrapErrors (tok, (const char *) m1, _m1_high, (const char *) m2, _m2_high, (const unsigned int *) &sym.array[0], 1);
    3841                 :          96 : }
    3842                 :             : 
    3843                 :             : 
    3844                 :             : /*
    3845                 :             :    wrapErrors -
    3846                 :             : */
    3847                 :             : 
    3848                 :           0 : extern "C" void M2MetaError_MetaErrorsT3 (unsigned int tok, const char *m1_, unsigned int _m1_high, const char *m2_, unsigned int _m2_high, unsigned int s1, unsigned int s2, unsigned int s3)
    3849                 :             : {
    3850                 :           0 :   typedef struct MetaErrorsT3__T6_a MetaErrorsT3__T6;
    3851                 :             : 
    3852                 :           0 :   struct MetaErrorsT3__T6_a { unsigned int array[2+1]; };
    3853                 :           0 :   MetaErrorsT3__T6 sym;
    3854                 :           0 :   char m1[_m1_high+1];
    3855                 :           0 :   char m2[_m2_high+1];
    3856                 :             : 
    3857                 :             :   /* make a local copy of each unbounded array.  */
    3858                 :           0 :   memcpy (m1, m1_, _m1_high+1);
    3859                 :           0 :   memcpy (m2, m2_, _m2_high+1);
    3860                 :             : 
    3861                 :           0 :   sym.array[0] = s1;
    3862                 :           0 :   sym.array[1] = s2;
    3863                 :           0 :   sym.array[2] = s3;
    3864                 :           0 :   wrapErrors (tok, (const char *) m1, _m1_high, (const char *) m2, _m2_high, (const unsigned int *) &sym.array[0], 2);
    3865                 :           0 : }
    3866                 :             : 
    3867                 :             : 
    3868                 :             : /*
    3869                 :             :    wrapErrors -
    3870                 :             : */
    3871                 :             : 
    3872                 :           0 : extern "C" void M2MetaError_MetaErrorsT4 (unsigned int tok, const char *m1_, unsigned int _m1_high, const char *m2_, unsigned int _m2_high, unsigned int s1, unsigned int s2, unsigned int s3, unsigned int s4)
    3873                 :             : {
    3874                 :           0 :   typedef struct MetaErrorsT4__T7_a MetaErrorsT4__T7;
    3875                 :             : 
    3876                 :           0 :   struct MetaErrorsT4__T7_a { unsigned int array[3+1]; };
    3877                 :           0 :   MetaErrorsT4__T7 sym;
    3878                 :           0 :   char m1[_m1_high+1];
    3879                 :           0 :   char m2[_m2_high+1];
    3880                 :             : 
    3881                 :             :   /* make a local copy of each unbounded array.  */
    3882                 :           0 :   memcpy (m1, m1_, _m1_high+1);
    3883                 :           0 :   memcpy (m2, m2_, _m2_high+1);
    3884                 :             : 
    3885                 :           0 :   sym.array[0] = s1;
    3886                 :           0 :   sym.array[1] = s2;
    3887                 :           0 :   sym.array[2] = s3;
    3888                 :           0 :   sym.array[3] = s4;
    3889                 :           0 :   wrapErrors (tok, (const char *) m1, _m1_high, (const char *) m2, _m2_high, (const unsigned int *) &sym.array[0], 3);
    3890                 :           0 : }
    3891                 :             : 
    3892                 :             : 
    3893                 :             : /*
    3894                 :             :    wrapErrors -
    3895                 :             : */
    3896                 :             : 
    3897                 :           0 : extern "C" void M2MetaError_MetaErrorString0 (DynamicStrings_String m)
    3898                 :             : {
    3899                 :           0 :   M2MetaError_MetaErrorStringT0 (M2LexBuf_GetTokenNo (), m);
    3900                 :           0 : }
    3901                 :             : 
    3902                 :             : 
    3903                 :             : /*
    3904                 :             :    wrapErrors -
    3905                 :             : */
    3906                 :             : 
    3907                 :           0 : extern "C" void M2MetaError_MetaErrorString1 (DynamicStrings_String m, unsigned int s)
    3908                 :             : {
    3909                 :           0 :   M2MetaError_MetaErrorStringT1 (M2LexBuf_GetTokenNo (), m, s);
    3910                 :           0 : }
    3911                 :             : 
    3912                 :             : 
    3913                 :             : /*
    3914                 :             :    wrapErrors -
    3915                 :             : */
    3916                 :             : 
    3917                 :           0 : extern "C" void M2MetaError_MetaErrorString2 (DynamicStrings_String m, unsigned int s1, unsigned int s2)
    3918                 :             : {
    3919                 :           0 :   M2MetaError_MetaErrorStringT2 (M2LexBuf_GetTokenNo (), m, s1, s2);
    3920                 :           0 : }
    3921                 :             : 
    3922                 :             : 
    3923                 :             : /*
    3924                 :             :    wrapErrors -
    3925                 :             : */
    3926                 :             : 
    3927                 :         120 : extern "C" void M2MetaError_MetaErrorString3 (DynamicStrings_String m, unsigned int s1, unsigned int s2, unsigned int s3)
    3928                 :             : {
    3929                 :         120 :   M2MetaError_MetaErrorStringT3 (M2LexBuf_GetTokenNo (), m, s1, s2, s3);
    3930                 :         120 : }
    3931                 :             : 
    3932                 :             : 
    3933                 :             : /*
    3934                 :             :    wrapErrors -
    3935                 :             : */
    3936                 :             : 
    3937                 :           0 : extern "C" void M2MetaError_MetaErrorString4 (DynamicStrings_String m, unsigned int s1, unsigned int s2, unsigned int s3, unsigned int s4)
    3938                 :             : {
    3939                 :           0 :   M2MetaError_MetaErrorStringT4 (M2LexBuf_GetTokenNo (), m, s1, s2, s3, s4);
    3940                 :           0 : }
    3941                 :             : 
    3942                 :         504 : extern "C" void M2MetaError_MetaErrorStringT0 (unsigned int tok, DynamicStrings_String m)
    3943                 :             : {
    3944                 :         504 :   typedef struct MetaErrorStringT0__T8_a MetaErrorStringT0__T8;
    3945                 :             : 
    3946                 :         504 :   struct MetaErrorStringT0__T8_a { unsigned int array[0+1]; };
    3947                 :         504 :   M2MetaError_errorBlock eb;
    3948                 :         504 :   MetaErrorStringT0__T8 sym;
    3949                 :             : 
    3950                 :         504 :   sym.array[0] = SymbolTable_NulSym;
    3951                 :         504 :   initErrorBlock (&eb, m, (const unsigned int *) &sym.array[0], 0);
    3952                 :         504 :   ebnf (&eb, (const unsigned int *) &sym.array[0], 0);
    3953                 :         504 :   flushColor (&eb);
    3954                 :         504 :   defaultError (&eb, tok);
    3955                 :         504 :   M2Error_ErrorString (eb.e, DynamicStrings_Dup (eb.out));
    3956                 :         504 :   killErrorBlock (&eb);
    3957                 :         504 :   checkAbort ();
    3958                 :         492 : }
    3959                 :             : 
    3960                 :        1374 : extern "C" void M2MetaError_MetaErrorStringT1 (unsigned int tok, DynamicStrings_String m, unsigned int s)
    3961                 :             : {
    3962                 :        1374 :   typedef struct MetaErrorStringT1__T9_a MetaErrorStringT1__T9;
    3963                 :             : 
    3964                 :        1374 :   struct MetaErrorStringT1__T9_a { unsigned int array[0+1]; };
    3965                 :        1374 :   M2MetaError_errorBlock eb;
    3966                 :        1374 :   MetaErrorStringT1__T9 sym;
    3967                 :             : 
    3968                 :        1374 :   sym.array[0] = s;
    3969                 :        1374 :   initErrorBlock (&eb, m, (const unsigned int *) &sym.array[0], 0);
    3970                 :        1374 :   ebnf (&eb, (const unsigned int *) &sym.array[0], 0);
    3971                 :        1374 :   flushColor (&eb);
    3972                 :        1374 :   defaultError (&eb, tok);
    3973                 :        1374 :   M2Error_ErrorString (eb.e, DynamicStrings_Dup (eb.out));
    3974                 :        1374 :   killErrorBlock (&eb);
    3975                 :        1374 :   checkAbort ();
    3976                 :        1304 : }
    3977                 :             : 
    3978                 :         733 : extern "C" void M2MetaError_MetaErrorStringT2 (unsigned int tok, DynamicStrings_String m, unsigned int s1, unsigned int s2)
    3979                 :             : {
    3980                 :         733 :   typedef struct MetaErrorStringT2__T10_a MetaErrorStringT2__T10;
    3981                 :             : 
    3982                 :         733 :   struct MetaErrorStringT2__T10_a { unsigned int array[1+1]; };
    3983                 :         733 :   M2MetaError_errorBlock eb;
    3984                 :         733 :   MetaErrorStringT2__T10 sym;
    3985                 :             : 
    3986                 :         733 :   sym.array[0] = s1;
    3987                 :         733 :   sym.array[1] = s2;
    3988                 :         733 :   initErrorBlock (&eb, m, (const unsigned int *) &sym.array[0], 1);
    3989                 :         733 :   ebnf (&eb, (const unsigned int *) &sym.array[0], 1);
    3990                 :         733 :   flushColor (&eb);
    3991                 :         733 :   defaultError (&eb, tok);
    3992                 :         733 :   M2Error_ErrorString (eb.e, DynamicStrings_Dup (eb.out));
    3993                 :         733 :   killErrorBlock (&eb);
    3994                 :         733 :   checkAbort ();
    3995                 :         733 : }
    3996                 :             : 
    3997                 :         156 : extern "C" void M2MetaError_MetaErrorStringT3 (unsigned int tok, DynamicStrings_String m, unsigned int s1, unsigned int s2, unsigned int s3)
    3998                 :             : {
    3999                 :         156 :   typedef struct MetaErrorStringT3__T11_a MetaErrorStringT3__T11;
    4000                 :             : 
    4001                 :         156 :   struct MetaErrorStringT3__T11_a { unsigned int array[2+1]; };
    4002                 :         156 :   M2MetaError_errorBlock eb;
    4003                 :         156 :   MetaErrorStringT3__T11 sym;
    4004                 :             : 
    4005                 :         156 :   sym.array[0] = s1;
    4006                 :         156 :   sym.array[1] = s2;
    4007                 :         156 :   sym.array[2] = s3;
    4008                 :         156 :   initErrorBlock (&eb, m, (const unsigned int *) &sym.array[0], 2);
    4009                 :         156 :   eb.highplus1 = 2+1;
    4010                 :         156 :   ebnf (&eb, (const unsigned int *) &sym.array[0], 2);
    4011                 :         156 :   flushColor (&eb);
    4012                 :         156 :   defaultError (&eb, tok);
    4013                 :         156 :   M2Error_ErrorString (eb.e, DynamicStrings_Dup (eb.out));
    4014                 :         156 :   killErrorBlock (&eb);
    4015                 :         156 :   checkAbort ();
    4016                 :         156 : }
    4017                 :             : 
    4018                 :          12 : extern "C" void M2MetaError_MetaErrorStringT4 (unsigned int tok, DynamicStrings_String m, unsigned int s1, unsigned int s2, unsigned int s3, unsigned int s4)
    4019                 :             : {
    4020                 :          12 :   typedef struct MetaErrorStringT4__T12_a MetaErrorStringT4__T12;
    4021                 :             : 
    4022                 :          12 :   struct MetaErrorStringT4__T12_a { unsigned int array[3+1]; };
    4023                 :          12 :   M2MetaError_errorBlock eb;
    4024                 :          12 :   MetaErrorStringT4__T12 sym;
    4025                 :             : 
    4026                 :          12 :   sym.array[0] = s1;
    4027                 :          12 :   sym.array[1] = s2;
    4028                 :          12 :   sym.array[2] = s3;
    4029                 :          12 :   sym.array[3] = s4;
    4030                 :          12 :   initErrorBlock (&eb, m, (const unsigned int *) &sym.array[0], 3);
    4031                 :          12 :   ebnf (&eb, (const unsigned int *) &sym.array[0], 3);
    4032                 :          12 :   flushColor (&eb);
    4033                 :          12 :   defaultError (&eb, tok);
    4034                 :          12 :   M2Error_ErrorString (eb.e, DynamicStrings_Dup (eb.out));
    4035                 :          12 :   killErrorBlock (&eb);
    4036                 :          12 :   checkAbort ();
    4037                 :          12 : }
    4038                 :             : 
    4039                 :             : 
    4040                 :             : /*
    4041                 :             :    MetaErrorN1 -
    4042                 :             : */
    4043                 :             : 
    4044                 :           0 : extern "C" void M2MetaError_MetaErrorN1 (const char *m_, unsigned int _m_high, NameKey_Name n)
    4045                 :             : {
    4046                 :           0 :   char m[_m_high+1];
    4047                 :             : 
    4048                 :             :   /* make a local copy of each unbounded array.  */
    4049                 :           0 :   memcpy (m, m_, _m_high+1);
    4050                 :             : 
    4051                 :           0 :   M2MetaError_MetaErrorNT1 (M2LexBuf_GetTokenNo (), (const char *) m, _m_high, n);
    4052                 :           0 : }
    4053                 :             : 
    4054                 :             : 
    4055                 :             : /*
    4056                 :             :    MetaErrorN2 -
    4057                 :             : */
    4058                 :             : 
    4059                 :           0 : extern "C" void M2MetaError_MetaErrorN2 (const char *m_, unsigned int _m_high, NameKey_Name n1, NameKey_Name n2)
    4060                 :             : {
    4061                 :           0 :   char m[_m_high+1];
    4062                 :             : 
    4063                 :             :   /* make a local copy of each unbounded array.  */
    4064                 :           0 :   memcpy (m, m_, _m_high+1);
    4065                 :             : 
    4066                 :           0 :   M2MetaError_MetaErrorNT2 (M2LexBuf_GetTokenNo (), (const char *) m, _m_high, n1, n2);
    4067                 :           0 : }
    4068                 :             : 
    4069                 :             : 
    4070                 :             : /*
    4071                 :             :    MetaErrorNT0 - generate an error message at tok using format.
    4072                 :             : */
    4073                 :             : 
    4074                 :           0 : extern "C" void M2MetaError_MetaErrorNT0 (unsigned int tok, const char *format_, unsigned int _format_high)
    4075                 :             : {
    4076                 :           0 :   char format[_format_high+1];
    4077                 :             : 
    4078                 :             :   /* make a local copy of each unbounded array.  */
    4079                 :           0 :   memcpy (format, format_, _format_high+1);
    4080                 :             : 
    4081                 :           0 :   M2MetaError_MetaErrorStringT0 (tok, DynamicStrings_InitString ((const char *) format, _format_high));
    4082                 :           0 : }
    4083                 :             : 
    4084                 :             : 
    4085                 :             : /*
    4086                 :             :    MetaErrorNT1 - generate an error message at tok using format and name.
    4087                 :             :                   The format should contain %a for name substitution.
    4088                 :             : */
    4089                 :             : 
    4090                 :           0 : extern "C" void M2MetaError_MetaErrorNT1 (unsigned int tok, const char *format_, unsigned int _format_high, NameKey_Name name)
    4091                 :             : {
    4092                 :           0 :   int i;
    4093                 :           0 :   DynamicStrings_String s;
    4094                 :           0 :   DynamicStrings_String fmt;
    4095                 :           0 :   char format[_format_high+1];
    4096                 :             : 
    4097                 :             :   /* make a local copy of each unbounded array.  */
    4098                 :           0 :   memcpy (format, format_, _format_high+1);
    4099                 :             : 
    4100                 :           0 :   i = 0;
    4101                 :           0 :   fmt = DynamicStrings_InitString ((const char *) format, _format_high);
    4102                 :           0 :   s = DynamicStrings_InitString ((const char *) "", 0);
    4103                 :           0 :   s = translate (fmt, s, &i, name);
    4104                 :           0 :   M2MetaError_MetaErrorStringT0 (tok, s);
    4105                 :           0 :   fmt = DynamicStrings_KillString (fmt);
    4106                 :           0 : }
    4107                 :             : 
    4108                 :           0 : extern "C" void M2MetaError_MetaErrorNT2 (unsigned int tok, const char *format_, unsigned int _format_high, NameKey_Name name1, NameKey_Name name2)
    4109                 :             : {
    4110                 :           0 :   int i;
    4111                 :           0 :   DynamicStrings_String s;
    4112                 :           0 :   DynamicStrings_String fmt;
    4113                 :           0 :   char format[_format_high+1];
    4114                 :             : 
    4115                 :             :   /* make a local copy of each unbounded array.  */
    4116                 :           0 :   memcpy (format, format_, _format_high+1);
    4117                 :             : 
    4118                 :             :   /* 
    4119                 :             :    MetaErrorNT1 - generate an error message at tok using format, name1
    4120                 :             :                   and name2.  The format should contain two occurances of %a
    4121                 :             :                   for name substitution.
    4122                 :             :   */
    4123                 :           0 :   i = 0;
    4124                 :           0 :   fmt = DynamicStrings_InitString ((const char *) format, _format_high);
    4125                 :           0 :   s = DynamicStrings_InitString ((const char *) "", 0);
    4126                 :           0 :   s = translate (fmt, s, &i, name1);
    4127                 :           0 :   s = translate (fmt, s, &i, name2);
    4128                 :           0 :   M2MetaError_MetaErrorStringT0 (tok, s);
    4129                 :           0 :   fmt = DynamicStrings_KillString (fmt);
    4130                 :           0 : }
    4131                 :             : 
    4132                 :             : 
    4133                 :             : /*
    4134                 :             :    wrapString - return a string which has been formatted with the specifier codes.
    4135                 :             :                 Color is disabled.  The result string is returned.
    4136                 :             : */
    4137                 :             : 
    4138                 :           6 : extern "C" DynamicStrings_String M2MetaError_MetaString0 (DynamicStrings_String m)
    4139                 :             : {
    4140                 :           6 :   typedef struct MetaString0__T13_a MetaString0__T13;
    4141                 :             : 
    4142                 :           6 :   struct MetaString0__T13_a { unsigned int array[0+1]; };
    4143                 :           6 :   MetaString0__T13 sym;
    4144                 :             : 
    4145                 :           6 :   sym.array[0] = SymbolTable_NulSym;
    4146                 :           6 :   return wrapString (m, (const unsigned int *) &sym.array[0], 0);
    4147                 :             :   /* static analysis guarentees a RETURN statement will be used before here.  */
    4148                 :             :   __builtin_unreachable ();
    4149                 :             : }
    4150                 :             : 
    4151                 :             : 
    4152                 :             : /*
    4153                 :             :    wrapString - return a string which has been formatted with the specifier codes.
    4154                 :             :                 Color is disabled.  The result string is returned.
    4155                 :             : */
    4156                 :             : 
    4157                 :           0 : extern "C" DynamicStrings_String M2MetaError_MetaString1 (DynamicStrings_String m, unsigned int s)
    4158                 :             : {
    4159                 :           0 :   typedef struct MetaString1__T14_a MetaString1__T14;
    4160                 :             : 
    4161                 :           0 :   struct MetaString1__T14_a { unsigned int array[0+1]; };
    4162                 :           0 :   MetaString1__T14 sym;
    4163                 :             : 
    4164                 :           0 :   sym.array[0] = s;
    4165                 :           0 :   return wrapString (m, (const unsigned int *) &sym.array[0], 0);
    4166                 :             :   /* static analysis guarentees a RETURN statement will be used before here.  */
    4167                 :             :   __builtin_unreachable ();
    4168                 :             : }
    4169                 :             : 
    4170                 :             : 
    4171                 :             : /*
    4172                 :             :    wrapString - return a string which has been formatted with the specifier codes.
    4173                 :             :                 Color is disabled.  The result string is returned.
    4174                 :             : */
    4175                 :             : 
    4176                 :         372 : extern "C" DynamicStrings_String M2MetaError_MetaString2 (DynamicStrings_String m, unsigned int s1, unsigned int s2)
    4177                 :             : {
    4178                 :         372 :   typedef struct MetaString2__T15_a MetaString2__T15;
    4179                 :             : 
    4180                 :         372 :   struct MetaString2__T15_a { unsigned int array[1+1]; };
    4181                 :         372 :   MetaString2__T15 sym;
    4182                 :             : 
    4183                 :         372 :   sym.array[0] = s1;
    4184                 :         372 :   sym.array[1] = s2;
    4185                 :         372 :   return wrapString (m, (const unsigned int *) &sym.array[0], 1);
    4186                 :             :   /* static analysis guarentees a RETURN statement will be used before here.  */
    4187                 :             :   __builtin_unreachable ();
    4188                 :             : }
    4189                 :             : 
    4190                 :             : 
    4191                 :             : /*
    4192                 :             :    wrapString - return a string which has been formatted with the specifier codes.
    4193                 :             :                 Color is disabled.  The result string is returned.
    4194                 :             : */
    4195                 :             : 
    4196                 :       11824 : extern "C" DynamicStrings_String M2MetaError_MetaString3 (DynamicStrings_String m, unsigned int s1, unsigned int s2, unsigned int s3)
    4197                 :             : {
    4198                 :       11824 :   typedef struct MetaString3__T16_a MetaString3__T16;
    4199                 :             : 
    4200                 :       11824 :   struct MetaString3__T16_a { unsigned int array[2+1]; };
    4201                 :       11824 :   MetaString3__T16 sym;
    4202                 :             : 
    4203                 :       11824 :   sym.array[0] = s1;
    4204                 :       11824 :   sym.array[1] = s2;
    4205                 :       11824 :   sym.array[2] = s3;
    4206                 :       11824 :   return wrapString (m, (const unsigned int *) &sym.array[0], 2);
    4207                 :             :   /* static analysis guarentees a RETURN statement will be used before here.  */
    4208                 :             :   __builtin_unreachable ();
    4209                 :             : }
    4210                 :             : 
    4211                 :             : 
    4212                 :             : /*
    4213                 :             :    wrapString - return a string which has been formatted with the specifier codes.
    4214                 :             :                 Color is disabled.  The result string is returned.
    4215                 :             : */
    4216                 :             : 
    4217                 :          96 : extern "C" DynamicStrings_String M2MetaError_MetaString4 (DynamicStrings_String m, unsigned int s1, unsigned int s2, unsigned int s3, unsigned int s4)
    4218                 :             : {
    4219                 :          96 :   typedef struct MetaString4__T17_a MetaString4__T17;
    4220                 :             : 
    4221                 :          96 :   struct MetaString4__T17_a { unsigned int array[3+1]; };
    4222                 :          96 :   MetaString4__T17 sym;
    4223                 :             : 
    4224                 :          96 :   sym.array[0] = s1;
    4225                 :          96 :   sym.array[1] = s2;
    4226                 :          96 :   sym.array[2] = s3;
    4227                 :          96 :   sym.array[3] = s4;
    4228                 :          96 :   return wrapString (m, (const unsigned int *) &sym.array[0], 3);
    4229                 :             :   /* static analysis guarentees a RETURN statement will be used before here.  */
    4230                 :             :   __builtin_unreachable ();
    4231                 :             : }
    4232                 :             : 
    4233                 :             : 
    4234                 :             : /*
    4235                 :             :    MetaErrorDecl - if sym is a variable or parameter then generate a
    4236                 :             :                    declaration error or warning message.  If error is
    4237                 :             :                    FALSE then a warning is issued.
    4238                 :             : */
    4239                 :             : 
    4240                 :         528 : extern "C" void M2MetaError_MetaErrorDecl (unsigned int sym, bool error)
    4241                 :             : {
    4242                 :         528 :   if ((sym != SymbolTable_NulSym) && (SymbolTable_IsVar (sym)))
    4243                 :             :     {
    4244                 :             :       /* avoid gcc warning by using compound statement even if not strictly necessary.  */
    4245                 :         408 :       if (error)
    4246                 :             :         {
    4247                 :         408 :           if (SymbolTable_IsVarAParam (sym))
    4248                 :             :             {
    4249                 :           0 :               M2MetaError_MetaErrorT1 (SymbolTable_GetVarDeclFullTok (sym), (const char *) "parameter declaration for {%1ad}", 32, sym);
    4250                 :             :             }
    4251                 :             :           else
    4252                 :             :             {
    4253                 :         408 :               M2MetaError_MetaErrorT1 (SymbolTable_GetVarDeclFullTok (sym), (const char *) "variable declaration for {%1ad}", 31, sym);
    4254                 :             :             }
    4255                 :             :         }
    4256                 :             :       else
    4257                 :             :         {
    4258                 :           0 :           if (SymbolTable_IsVarAParam (sym))
    4259                 :             :             {
    4260                 :           0 :               M2MetaError_MetaErrorT1 (SymbolTable_GetVarDeclFullTok (sym), (const char *) "parameter declaration for {%1Wad}", 33, sym);
    4261                 :             :             }
    4262                 :             :           else
    4263                 :             :             {
    4264                 :           0 :               M2MetaError_MetaErrorT1 (SymbolTable_GetVarDeclFullTok (sym), (const char *) "variable declaration for {%1Wad}", 32, sym);
    4265                 :             :             }
    4266                 :             :         }
    4267                 :             :     }
    4268                 :         528 : }
    4269                 :             : 
    4270                 :       15942 : extern "C" void _M2_M2MetaError_init (__attribute__((unused)) int argc, __attribute__((unused)) char *argv[], __attribute__((unused)) char *envp[])
    4271                 :             : {
    4272                 :       15942 :   lastRoot = static_cast<M2Error_Error> (NULL);
    4273                 :       15942 :   lastColor = M2MetaError_noColor;
    4274                 :       15942 :   seenAbort = false;
    4275                 :       15942 :   outputStack = Indexing_InitIndex (1);
    4276                 :       15942 :   dictionary = Indexing_InitIndex (1);
    4277                 :       15942 :   freeEntry = NULL;
    4278                 :       15942 : }
    4279                 :             : 
    4280                 :           0 : extern "C" void _M2_M2MetaError_fini (__attribute__((unused)) int argc, __attribute__((unused)) char *argv[], __attribute__((unused)) char *envp[])
    4281                 :             : {
    4282                 :           0 : }
        

Generated by: LCOV version 2.1-beta

LCOV profile is generated on x86_64 machine using following configure options: configure --disable-bootstrap --enable-coverage=opt --enable-languages=c,c++,fortran,go,jit,lto,rust,m2 --enable-host-shared. GCC test suite is run with the built compiler.