Allow __identifier__keyword to be the identifier "keyword", closes #642

See

Author: hsutter

regression-tests/test-results/version

@@ -1,5 +1,5 @@
 
-cppfront compiler v0.2.1   Build 8912:1051
+cppfront compiler v0.2.1   Build 8913:1037
 Copyright(c) Herb Sutter   All rights reserved
 
 SPDX-License-Identifier: CC-BY-NC-ND-4.0

source/build.info

@@ -1 +1 @@
-"8912:1051"
+"8913:1037"

source/common.h

@@ -359,6 +359,7 @@ auto is_identifier_continue(char c)
 }
 
 //G identifier:
+//G     '__identifier__' keyword    [Note: without whitespace before the keyword]
 //G     identifier-start
 //G     identifier identifier-continue
 //G     'operator' operator

source/lex.h

@@ -306,6 +306,16 @@ class token
         v.start(*this, depth);
     }
 
+    auto remove_prefix_if(std::string_view prefix) {
+        if (
+            sv.size() > prefix.size()
+            && sv.starts_with(prefix)
+            )
+        {
+            sv.remove_prefix(prefix.size());
+        }
+    }
+
 private:
     std::string_view sv;
     source_position  pos;
@@ -1682,6 +1692,9 @@ auto lex_line(
                     else
                     {
                         store(j, lexeme::Identifier);
+
+                        tokens.back().remove_prefix_if("__identifier__");
+
                         if (tokens.back() == "NULL") {
                             errors.emplace_back(
                                 source_position(lineno, i),

source/parse.h

@@ -7106,7 +7106,7 @@ class parser
 
 
     //G declaration:
-    //G     access-specifier? identifier unnamed-declaration
+    //G     access-specifier? identifier '...'? unnamed-declaration
     //G     access-specifier? identifier alias
     //G
     //G access-specifier: