Changeset ad47ec4 for src/Parser/DeclarationNode.cpp

Timestamp:

Aug 29, 2024, 2:38:39 PM (14 months ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

9bb6c5f

Parents:

960665c (diff), b965774 (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/DeclarationNode.cpp (modified) (4 diffs)

src/Parser/DeclarationNode.cpp

@@ -10 +10 @@
 // Created On       : Sat May 16 12:34:05 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Fri Feb 23 18:25:57 2024
-// Update Count     : 1533
+// Last Modified On : Thu Aug 22 14:11:47 2024
+// Update Count     : 1555
 //
 
@@ -134 +134 @@
                 os << endl << string( indent + 2, ' ' ) << "with initializer ";
                 initializer->printOneLine( os );
-                os << " maybe constructed? " << initializer->get_maybeConstructed();
+                if ( ! initializer->get_maybeConstructed() ) {
+                        os << " constructed with @= ";
+                } // if
         } // if
 
@@ -957 +959 @@
                         isDelete ? nullptr : maybeBuild( initializer ),
                         copy( attributes )
-                )->set_extension( extension );
+                );
+                decl->extension = extension;
                 if ( isDelete ) {
                         auto dwt = strict_dynamic_cast<ast::DeclWithType *>( decl );
@@ -999 +1002 @@
         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 " );
+        // Some types are parsed as declarations and, syntactically, can have initializers, which are not support (possibly
+        // meaningless).
+        if ( initializer && initializer->get_maybeConstructed() ) { // no @=
+                SemanticError( location, "default initialization for parameter %s is unsupport for a function-pointer declaration.",
+                                           (this->name) ? this->name->c_str() : "anonymous" );
         }