Changes in src/SymTab/Mangler.cc [3e5dd913:b66d14a]

File:

• src/SymTab/Mangler.cc (modified) (4 diffs)

src/SymTab/Mangler.cc

@@ -10 +10 @@
 // Created On       : Sun May 17 21:40:29 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Wed Nov 18 12:01:38 2020
-// Update Count     : 64
+// Last Modified On : Mon Jan 11 21:56:06 2021
+// Update Count     : 74
 //
 #include "Mangler.h"
@@ -313 +313 @@
                                 // and the case has not yet come up in practice. Alternatively, if not then this code can be removed
                                 // aside from the assert false.
-                                assertf(false, "Mangler_old should not visit typedecl: %s", toCString(decl));
+                                assertf( false, "Mangler_old should not visit typedecl: %s", toCString(decl));
                                 assertf( decl->kind < TypeDecl::NUMBER_OF_KINDS, "Unhandled type variable kind: %d", decl->kind );
                                 mangleName += Encoding::typeVariables[ decl->kind ] + std::to_string( decl->name.length() ) + decl->name;
@@ -343 +343 @@
                                                         break;
                                                   default:
-                                                        assert( false );
+                                                        assertf( false, "unimplemented kind for type variable %s", SymTab::Mangler::Encoding::typeVariables[i->kind].c_str() );
                                                 } // switch
                                                 varNums[ i->name ] = std::make_pair( nextVarNum, (int)i->kind );
@@ -673 +673 @@
                                         for ( auto & decl : ptype->forall ) {
                                                 switch ( decl->kind ) {
-                                                case ast::TypeDecl::Kind::Dtype:
+                                                  case ast::TypeDecl::Kind::Dtype:
                                                         dcount++;
                                                         break;
-                                                case ast::TypeDecl::Kind::Ftype:
+                                                  case ast::TypeDecl::Kind::Ftype:
                                                         fcount++;
                                                         break;
-                                                case ast::TypeDecl::Kind::Ttype:
+                                                  case ast::TypeDecl::Kind::Ttype:
                                                         vcount++;
                                                         break;
-                                                default:
-                                                        assert( false );
+                                                  default:
+                                                        assertf( false, "unimplemented kind for type variable %s", SymTab::Mangler::Encoding::typeVariables[decl->kind].c_str() );
                                                 } // switch
                                                 varNums[ decl->name ] = std::make_pair( nextVarNum, (int)decl->kind );