Changeset 8bf784a for src/SymTab

Timestamp:

Dec 21, 2016, 2:54:31 PM (8 years ago)

Author:

Rob Schluntz <rschlunt@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

e33f321

Parents:

6d4d1a6

Message:

name mangling for ttype, fix SynTree? operator<< to work with nullptr, add isTtype check, ttype variables are automatically "sized"

File:

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

src/SymTab/Mangler.cc

@@ -214 +214 @@
                                 mangleName << "f";
                                 break;
+                                case TypeDecl::Ttype:
+                                mangleName << "tVARGS";
+                                break;
+                                default:
+                                assert( false );
                         } // switch
                         mangleName << numStream.str();
@@ -256 +261 @@
                 if ( ! type->get_forall().empty() ) {
                         std::list< std::string > assertionNames;
-                        int tcount = 0, dcount = 0, fcount = 0;
+                        int tcount = 0, dcount = 0, fcount = 0, vcount = 0;
                         mangleName << "A";
                         for ( Type::ForallList::iterator i = type->get_forall().begin(); i != type->get_forall().end(); ++i ) {
@@ -269 +274 @@
                                         fcount++;
                                         break;
+                                  case TypeDecl::Ttype:
+                                        vcount++;
+                                        break;
+                                  default:
+                                        assert( false );
                                 } // switch
                                 varNums[ (*i )->get_name() ] = std::pair< int, int >( nextVarNum++, (int )(*i )->get_kind() );
@@ -280 +290 @@
                                 } // for
                         } // for
-                        mangleName << tcount << "_" << dcount << "_" << fcount << "_";
+                        mangleName << tcount << "_" << dcount << "_" << fcount << "_" << vcount << "_";
                         std::copy( assertionNames.begin(), assertionNames.end(), std::ostream_iterator< std::string >( mangleName, "" ) );
                         mangleName << "_";