Changeset 5546eee4 for src/Validate/FixQualifiedTypes.cpp

Timestamp:

Dec 16, 2023, 1:01:44 AM (22 months ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

b7898ac

Parents:

0fa0201d (diff), 69ab896 (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/Validate/FixQualifiedTypes.cpp (modified) (5 diffs)

src/Validate/FixQualifiedTypes.cpp

@@ -9 +9 @@
 // Author           : Andrew Beach
 // Created On       : Thr Apr 21 11:13:00 2022
-// Last Modified By : Andrew Beach
-// Last Modified On : Tue Sep 20 16:15:00 2022
-// Update Count     : 1
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Wed Dec 13 09:00:25 2023
+// Update Count     : 6
 //
 
@@ -41 +41 @@
                                 auto td = symtab.globalLookupType( inst->name );
                                 if ( !td ) {
-                                        SemanticError( *location, toString("Use of undefined global type ", inst->name) );
+                                        SemanticError( *location, "Use of undefined global type %s.", inst->name.c_str() );
                                 }
                                 auto base = td->base;
@@ -50 +50 @@
                         } else {
                                 // .T => T is not a type name.
-                                assertf( false, "unhandled global qualified child type: %s", toCString(child) );
+                                assertf( false, "unhandled global qualified child type: %s", toCString( child ) );
                         }
                 } else {
@@ -63 +63 @@
                                 instp = inst;
                         } else {
-                                SemanticError( *location, toString("Qualified type requires an aggregate on the left, but has: ", parent) );
+                                SemanticError( *location, "Qualified type requires an aggregate on the left, but has %s.", toCString( parent ) );
                         }
                         // TODO: Need to handle forward declarations.
@@ -81 +81 @@
                                 } else {
                                         // S.T - S is not an aggregate => error.
-                                        assertf( false, "unhandled qualified child type: %s", toCString(type) );
+                                        assertf( false, "unhandled qualified child type %s.", toCString( type ) );
                                 }
                         }
                         // failed to find a satisfying definition of type
-                        SemanticError( *location, toString("Undefined type in qualified type: ", type) );
+                        SemanticError( *location, "Undefined type in qualified type %s", toCString( type ) );
                 }
         }