Diagnose missing parameter after a this-specifier or parameter-direction, closes #397 and #505

Author: hsutter

regression-tests/test-results/version

@@ -1,5 +1,5 @@
 
-cppfront compiler v0.2.1   Build 8730:1258
+cppfront compiler v0.2.1   Build 8809:1505
 Copyright(c) Herb Sutter   All rights reserved
 
 SPDX-License-Identifier: CC-BY-NC-ND-4.0

source/build.info

@@ -1 +1 @@
-"8809:1416"
+"8809:1505"

source/parse.h

@@ -5777,25 +5777,32 @@ class parser
     )
         -> std::unique_ptr<parameter_declaration_node>
     {
+        auto modifier        = std::string();
+        auto modifier_plural = "";
+
         auto n = std::make_unique<parameter_declaration_node>();
         n->pass = is_returns ? passing_style::out : passing_style::in;
         n->pos  = curr().position();
 
         //  Handle optional this-specifier
         //
         if (curr() == "implicit") {
+            modifier = curr().as_string_view();
             n->mod = parameter_declaration_node::modifier::implicit;
             next();
         }
         else if (curr() == "virtual") {
+            modifier = curr().as_string_view();
             n->mod = parameter_declaration_node::modifier::virtual_;
             next();
         }
         else if (curr() == "override") {
+            modifier = curr().as_string_view();
             n->mod = parameter_declaration_node::modifier::override_;
             next();
         }
         else if (curr() == "final") {
+            modifier = curr().as_string_view();
             n->mod = parameter_declaration_node::modifier::final_;
             next();
         }
@@ -5806,6 +5813,12 @@ class parser
             dir != passing_style::invalid
             )
         {
+            if (!modifier.empty()) {
+                modifier += " ";
+                modifier_plural = "s";
+            }
+            modifier += curr().as_string_view();
+
             if (is_returns)
             {
                 if (dir == passing_style::in) {
@@ -5840,6 +5853,9 @@ class parser
         //  Now the main declaration
         //
         if (!(n->declaration = declaration(false, true, is_template))) {
+            if (!modifier.empty()) {
+                error( "'" + modifier + "' modifier" + modifier_plural + " must be followed by a valid parameter declaration", false);
+            }
             return {};
         }