Changeset afb15cf

Timestamp:

Aug 16, 2024, 12:25:53 PM (14 months ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

master

Children:

3ac5fd8

Parents:

5b643ea

Message:

Added a check to make sure that optional parameters to not appear on function types not attached to function declarations.

Files:

• src/Parser/DeclarationNode.cpp (modified) (1 diff)
• tests/.expect/opt-params.txt (added)
• tests/Makefile.am (modified) (1 diff)
• tests/opt-params.cfa (added)

src/Parser/DeclarationNode.cpp

@@ -999 +999 @@
         assert( type );
 
+        // Some types are parsed as declarations and, syntactically, can have
+        // initializers. However, semantically, this is meaningless.
+        if ( initializer ) {
+                SemanticError( this, "Initializer on type declaration " );
+        }
+
         switch ( type->kind ) {
         case TypeData::Aggregate: {

tests/Makefile.am

@@ -210 +210 @@
 CFACOMPILE_SYNTAX = ${CFACOMPILETEST} -Wno-unused-variable -Wno-unused-label -c -fsyntax-only -o ${abspath ${@}}
 
-SYNTAX_ONLY_CODE = expression typedefRedef variableDeclarator switch numericConstants identFuncDeclarator \
-        init1 limits nested-types cast ctrl-flow/labelledExit array quasiKeyword include/stdincludes include/includes builtins/sync warnings/self-assignment concurrency/waitfor/parse
+SYNTAX_ONLY_CODE = \
+        array cast expression identFuncDeclarator init1 limits nested-types numericConstants opt-params quasiKeyword switch typedefRedef variableDeclarator \
+        builtins/sync concurrency/waitfor/parse ctrl-flow/labelledExit include/stdincludes include/includes warnings/self-assignment
+
 ${SYNTAX_ONLY_CODE} : % : %.cfa ${CFACCBIN}
         ${CFACOMPILE_SYNTAX}