Changeset 14c0f7b for src/SymTab

Timestamp:

Jul 31, 2023, 11:25:51 AM (9 months ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

master

Children:

f496046

Parents:

e0332dd

Message:

Added invariant to check that referenced declarations are in scope. This one took a while, I don't remember why forall pointer decay is involved.

File:

• src/SymTab/GenImplicitCall.cpp (modified) (3 diffs)

src/SymTab/GenImplicitCall.cpp

@@ -16 +16 @@
 #include "GenImplicitCall.hpp"
 
+#include "AST/Copy.hpp"                  // for deepCopy
 #include "AST/Decl.hpp"                  // for ObjectDecl
 #include "AST/Expr.hpp"                  // for ConstantExpr, UntypedExpr,...
@@ -115 +116 @@
         std::string cmp, update;
 
+        const ast::Expr * dimension = deepCopy( array->dimension );
         if ( forward ) {
                 // generate: for ( int i = 0; i < N; ++i )
                 begin = ast::ConstantExpr::from_int( loc, 0 );
-                end = array->dimension;
+                end = dimension;
                 cmp = "?<?";
                 update = "++?";
@@ -124 +126 @@
                 // generate: for ( int i = N-1; i >= 0; --i )
                 begin = ast::UntypedExpr::createCall( loc, "?-?",
-                        { array->dimension, ast::ConstantExpr::from_int( loc, 1 ) } );
+                        { dimension, ast::ConstantExpr::from_int( loc, 1 ) } );
                 end = ast::ConstantExpr::from_int( loc, 0 );
                 cmp = "?>=?";