Changeset 9bb6c5f for src/Parser/TypeData.cpp

Timestamp:

Sep 5, 2024, 3:57:05 PM (13 months ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

29c8675

Parents:

ad47ec4 (diff), 508cff0 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• src/Parser/TypeData.cpp (modified) (4 diffs)

src/Parser/TypeData.cpp

@@ -1541 +1541 @@
 
 // The argument flag (is/is not var-args) of a computed property.
-static ast::ArgumentFlag argumentFlag( const TypeData * td ) {
+static ast::ArgumentFlag buildArgumentFlag( const TypeData * td ) {
         assert( td->kind == TypeData::Function );
-        bool isVaArgs = !td->function.params || td->function.params->hasEllipsis;
-        return (isVaArgs) ? ast::VariableArgs : ast::FixedArgs;
-} // argumentFlag
+        bool isVarArgs = !td->function.params || td->function.params->hasEllipsis;
+        return (isVarArgs) ? ast::VariableArgs : ast::FixedArgs;
+}
+
+
+// Wrapper to convert the void parameter into the empty explicit list.
+static void buildParamList( DeclarationNode * decl,
+                std::vector<ast::ptr<ast::DeclWithType>> & params ) {
+        buildList( decl, params );
+        if ( 1 == params.size() && params[0]->get_type()->isVoid() ) {
+                params.pop_back();
+        }
+}
 
 
@@ -1562 +1572 @@
         std::vector<ast::ptr<ast::DeclWithType>> params;
         std::vector<ast::ptr<ast::DeclWithType>> returns;
-        buildList( td->function.params, params );
+        buildParamList( td->function.params, params );
         buildForall( td->forall, forall );
         // Functions do not store their assertions there anymore.
@@ -1610 +1620 @@
                 std::move( attributes ),
                 funcSpec,
-                argumentFlag( td )
+                buildArgumentFlag( td )
         );
         buildList( td->function.withExprs, decl->withExprs );
@@ -1662 +1672 @@
         assert( td->kind == TypeData::Function );
         ast::FunctionType * ft = new ast::FunctionType(
-                argumentFlag( td ),
+                buildArgumentFlag( td ),
                 buildQualifiers( td )
         );