Changeset b2ecd48 for src/SymTab

Timestamp:

Jul 4, 2023, 2:10:54 PM (10 months ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

master

Children:

7f1be01

Parents:

0ec4eb0

Message:

Changes related to invariant checking scoping, it is not ready by these are unlikely to change.

File:

• src/SymTab/FixFunction.cc (modified) (2 diffs)

src/SymTab/FixFunction.cc

@@ -109 +109 @@
 
                 const ast::DeclWithType * postvisit( const ast::FunctionDecl * func ) {
-                        return new ast::ObjectDecl{ 
-                                func->location, func->name, new ast::PointerType{ func->type }, nullptr, 
+                        // Cannot handle cases with asserions.
+                        assert( func->assertions.empty() );
+                        return new ast::ObjectDecl{
+                                func->location, func->name, new ast::PointerType( func->type ), nullptr,
                                 func->storage, func->linkage, nullptr, copy( func->attributes ) };
                 }
@@ -117 +119 @@
 
                 const ast::Type * postvisit( const ast::ArrayType * array ) {
-                        return new ast::PointerType{ 
-                                array->base, array->dimension, array->isVarLen, array->isStatic, 
+                        return new ast::PointerType{
+                                array->base, array->dimension, array->isVarLen, array->isStatic,
                                 array->qualifiers };
                 }