Changeset 14c0f7b for src/Validate/ForallPointerDecay.cpp

Timestamp:

Jul 31, 2023, 11:25:51 AM (12 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/Validate/ForallPointerDecay.cpp (modified) (2 diffs)

src/Validate/ForallPointerDecay.cpp

@@ -214 +214 @@
                 if ( dynamic_cast< const ast::FunctionType * >( type ) ) return;
                 SemanticError( obj->location,
-                        toCString( "operator ", obj->name.c_str(), " is not "
-                        "a function or function pointer." ) );
+                        toCString( "operator ", obj->name.c_str(),
+                        " is not a function or function pointer." ) );
         }
 };
@@ -237 +237 @@
         ast::Pass<AssertionFunctionFixer>::run( transUnit );
         ast::Pass<OperatorChecker>::run( transUnit );
+}
+
+void fixUniqueIds( ast::TranslationUnit & transUnit ) {
         ast::Pass<UniqueFixCore>::run( transUnit );
 }