Changes in src/Parser/lex.ll [08061589:c1c1112]

File:

• src/Parser/lex.ll (modified) (5 diffs)

src/Parser/lex.ll

@@ -9 +9 @@
  * Author           : Peter A. Buhr
  * Created On       : Sat Sep 22 08:58:10 2001
- * Last Modified By : 
- * Last Modified On : Sun Jul 31 07:19:36 2016
- * Update Count     : 459
+ * Last Modified By : Peter A. Buhr
+ * Last Modified On : Wed Aug 24 13:27:04 2016
+ * Update Count     : 487
  */
 
@@ -25 +25 @@
 
 #include <string>
+#include <cstdio>                                                                               // FILENAME_MAX
 
 #include "lex.h"
@@ -36 +37 @@
 #define RETURN_LOCN(x)          yylval.tok.loc.file = yyfilename; yylval.tok.loc.line = yylineno; return( x )
 #define RETURN_VAL(x)           yylval.tok.str = new std::string( yytext ); RETURN_LOCN( x )
-#define RETURN_CHAR(x)          yylval.tok.str = NULL; RETURN_LOCN( x )
+#define RETURN_CHAR(x)          yylval.tok.str = nullptr; RETURN_LOCN( x )
 #define RETURN_STR(x)           yylval.tok.str = strtext; RETURN_LOCN( x )
 
-#define WHITE_RETURN(x)                                                                 // do nothing
+#define WHITE_RETURN(x)         // do nothing
 #define NEWLINE_RETURN()        WHITE_RETURN( '\n' )
 #define ASCIIOP_RETURN()        RETURN_CHAR( (int)yytext[0] ) // single character operator
-#define NAMEDOP_RETURN(x)       RETURN_VAL( x )                         // multichar operator, with a name
+#define NAMEDOP_RETURN(x)       RETURN_CHAR( x )                        // multichar operator, with a name
 #define NUMERIC_RETURN(x)       rm_underscore(); RETURN_VAL( x ) // numeric constant
 #define KEYWORD_RETURN(x)       RETURN_CHAR( x )                        // keyword
@@ -140 +141 @@
 ^{h_white}*"#"{h_white}*[0-9]+{h_white}*["][^"\n]+["].*"\n" {
         /* " stop highlighting */
+        static char filename[FILENAME_MAX];                                     // temporarily store current source-file name
         char *end_num;
         char *begin_string, *end_string;
-        char *filename;
         long lineno, length;
         lineno = strtol( yytext + 1, &end_num, 0 );
         begin_string = strchr( end_num, '"' );
-        if ( begin_string ) {
-                end_string = strchr( begin_string + 1, '"' );
-                if ( end_string ) {
-                        length = end_string - begin_string - 1;
-                        filename = new char[ length + 1 ];
-                        memcpy( filename, begin_string + 1, length );
-                        filename[ length ] = '\0';
-                        //std::cout << "file " << filename << " line " << lineno << std::endl;
-                        yylineno = lineno;
-                        yyfilename = filename;
-                } // if
+        if ( begin_string ) {                                                           // file name ?
+                end_string = strchr( begin_string + 1, '"' );   // look for ending delimiter
+                assert( end_string );                                                   // closing quote ?
+                length = end_string - begin_string - 1;                 // file-name length without quotes or sentinel
+                assert( length < FILENAME_MAX );                                // room for sentinel ?
+                memcpy( &filename, begin_string + 1, length );  // copy file name from yytext
+                filename[ length ] = '\0';                                              // terminate string with sentinel
+                //std::cout << "file " << filename << " line " << lineno << std::endl;
+                yylineno = lineno;
+                yyfilename = filename;
         } // if
 }
@@ -288 +288 @@
 
                                 /* character constant, allows empty value */
-({cwide_prefix}[_]?)?['] { BEGIN QUOTE; rm_underscore(); strtext = new std::string; *strtext += std::string( yytext ); }
-<QUOTE>[^'\\\n]* { *strtext += std::string( yytext ); }
-<QUOTE>['\n]    { BEGIN 0; *strtext += std::string( yytext); RETURN_STR(CHARACTERconstant); }
+({cwide_prefix}[_]?)?['] { BEGIN QUOTE; rm_underscore(); strtext = new std::string( yytext, yyleng ); }
+<QUOTE>[^'\\\n]* { strtext->append( yytext, yyleng ); }
+<QUOTE>['\n]    { BEGIN 0; strtext->append( yytext, yyleng ); RETURN_STR(CHARACTERconstant); }
                                 /* ' stop highlighting */
 
                                 /* string constant */
-({swide_prefix}[_]?)?["] { BEGIN STRING; rm_underscore(); strtext = new std::string; *strtext += std::string( yytext ); }
-<STRING>[^"\\\n]* { *strtext += std::string( yytext ); }
-<STRING>["\n]   { BEGIN 0; *strtext += std::string( yytext ); RETURN_STR(STRINGliteral); }
+({swide_prefix}[_]?)?["] { BEGIN STRING; rm_underscore(); strtext = new std::string( yytext, yyleng ); }
+<STRING>[^"\\\n]* { strtext->append( yytext, yyleng ); }
+<STRING>["\n]   { BEGIN 0; strtext->append( yytext, yyleng ); RETURN_STR(STRINGliteral); }
                                 /* " stop highlighting */
 
                                 /* common character/string constant */
-<QUOTE,STRING>{escape_seq} { rm_underscore(); *strtext += std::string( yytext ); }
+<QUOTE,STRING>{escape_seq} { rm_underscore(); strtext->append( yytext, yyleng ); }
 <QUOTE,STRING>"\\"{h_white}*"\n" {}                                             // continuation (ALSO HANDLED BY CPP)
-<QUOTE,STRING>"\\" { *strtext += std::string( yytext ); } // unknown escape character
+<QUOTE,STRING>"\\" { strtext->append( yytext, yyleng ); } // unknown escape character
 
                                 /* punctuation */