Changeset a1fbad0

Timestamp:

Apr 25, 2024, 11:12:12 AM (10 days ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

master

Children:

55c97e4

Parents:

03b1815

Message:

Fix in code generation. forall clauses are now printed before return types on functions. This goes not change any generated C code but will matter for some debugging.

File:

• src/CodeGen/CodeGenerator.cpp (modified) (2 diffs)

src/CodeGen/CodeGenerator.cpp

@@ -167 +167 @@
         ast::Pass<CodeGenerator> subCG( acc, subOptions );
         // Add the forall clause.
-        // TODO: These probably should be removed by now and the assert used.
         if ( !decl->type_params.empty() ) {
                 assertf( !options.genC, "FunctionDecl forall should not reach code generation." );
@@ -174 +173 @@
                 acc << ")" << std::endl;
         }
+        // The forall clause should be printed early as part of the preamble.
+        output << acc.str();
+        acc.str("");
 
         acc << mangleName( decl );