Changeset 8fd52e90 for src/SymTab/Validate.cc

Timestamp:

Jul 12, 2019, 1:51:32 PM (5 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

6f096d2, c6dc7f2

Parents:

fce4e31

Message:

Removed uses of lookupMutableXXX

File:

• src/SymTab/Validate.cc (modified) (5 diffs)

src/SymTab/Validate.cc

@@ -642 +642 @@
 
         void LinkReferenceToTypes_old::postvisit( EnumInstType * enumInst ) {
-                EnumDecl * st = local_indexer->lookupMutableEnum( enumInst->name );
+                const EnumDecl * st = local_indexer->lookupEnum( enumInst->name );
                 // it's not a semantic error if the enum is not found, just an implicit forward declaration
                 if ( st ) {
-                        enumInst->baseEnum = st;
+                        enumInst->baseEnum = const_cast<EnumDecl *>(st); // Just linking in the node
                 } // if
                 if ( ! st || ! st->body ) {
@@ -662 +662 @@
 
         void LinkReferenceToTypes_old::postvisit( StructInstType * structInst ) {
-                StructDecl * st = local_indexer->lookupMutableStruct( structInst->name );
+                const StructDecl * st = local_indexer->lookupStruct( structInst->name );
                 // it's not a semantic error if the struct is not found, just an implicit forward declaration
                 if ( st ) {
-                        structInst->baseStruct = st;
+                        structInst->baseStruct = const_cast<StructDecl *>(st); // Just linking in the node
                 } // if
                 if ( ! st || ! st->body ) {
@@ -675 +675 @@
 
         void LinkReferenceToTypes_old::postvisit( UnionInstType * unionInst ) {
-                UnionDecl * un = local_indexer->lookupMutableUnion( unionInst->name );
+                const UnionDecl * un = local_indexer->lookupUnion( unionInst->name );
                 // it's not a semantic error if the union is not found, just an implicit forward declaration
                 if ( un ) {
-                        unionInst->baseUnion = un;
+                        unionInst->baseUnion = const_cast<UnionDecl *>(un); // Just linking in the node
                 } // if
                 if ( ! un || ! un->body ) {
@@ -762 +762 @@
         void LinkReferenceToTypes_old::postvisit( TraitInstType * traitInst ) {
                 // handle other traits
-                TraitDecl * traitDecl = local_indexer->lookupMutableTrait( traitInst->name );
+                const TraitDecl * traitDecl = local_indexer->lookupTrait( traitInst->name );
                 if ( ! traitDecl ) {
                         SemanticError( traitInst->location, "use of undeclared trait " + traitInst->name );
@@ -769 +769 @@
                         SemanticError( traitInst, "incorrect number of trait parameters: " );
                 } // if
-                traitInst->baseTrait = traitDecl;
+                traitInst->baseTrait = const_cast<TraitDecl *>(traitDecl); // Just linking in the node
 
                 // need to carry over the 'sized' status of each decl in the instance