Changeset 119889f for src/SymTab/Mangler.cpp

Timestamp:

Apr 9, 2025, 9:07:31 PM (6 months ago)

Author:

Michael Brooks <mlbrooks@…>

Branches:

master

Children:

6174ecc

Parents:

50e8125

Message:

Partially fix #185.

This fix applies to functions, but not types.

The added test fails without the cfacpp changes.

File:

• src/SymTab/Mangler.cpp (modified) (1 diff)

src/SymTab/Mangler.cpp

@@ -290 +290 @@
         if ( typeMode ) return;
         auto funcType = dynamic_cast<const ast::FunctionType *>( type );
-        if ( funcType && !funcType->forall.empty() ) {
+        if ( funcType && (!funcType->forall.empty() || !funcType->assertions.empty()) ) {
                 std::list< std::string > assertionNames;
                 int dcount = 0, fcount = 0, vcount = 0, acount = 0;