Changeset 6e47b49 for src/Validate

Timestamp:

Mar 29, 2022, 4:28:06 PM (3 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, ast-experimental, enum, master, pthread-emulation, qualifiedEnum

Children:

d080549, d4da1535

Parents:

262fafd9 (diff), b230091 (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

Location:

src/Validate

Files:

• Autogen.cpp (modified) (2 diffs)
• ForallPointerDecay.cpp (modified) (1 diff)

src/Validate/Autogen.cpp

@@ -248 +248 @@
                 structInst.params.push_back( new ast::TypeExpr(
                         typeDecl->location,
-                        new ast::TypeInstType( typeDecl->name, typeDecl )
+                        new ast::TypeInstType( typeDecl )
                 ) );
         }
@@ -264 +264 @@
                 unionInst.params.push_back( new ast::TypeExpr(
                         unionDecl->location,
-                        new ast::TypeInstType( typeDecl->name, typeDecl )
+                        new ast::TypeInstType( typeDecl )
                 ) );
         }

src/Validate/ForallPointerDecay.cpp

@@ -41 +41 @@
         for ( auto & type_param : decl->type_params ) {
                 type->forall.emplace_back(
-                        new ast::TypeInstType( type_param->name, type_param ) );
+                        new ast::TypeInstType( type_param ) );
         }
         for ( auto & assertion : decl->assertions ) {