Changeset ef1da0e2 for src/ResolvExpr/ConversionCost.cc

Timestamp:

Sep 20, 2022, 6:34:55 PM (2 years ago)

Author:

Fangren Yu <f37yu@…>

Branches:

ADT, ast-experimental, master, pthread-emulation

Children:

79ae13d, a065f1f

Parents:

8f1e035

Message:

try to make parameter qualifier conversion work for assertions

File:

• src/ResolvExpr/ConversionCost.cc (modified) (2 diffs)

src/ResolvExpr/ConversionCost.cc

@@ -22 +22 @@
 #include "ResolvExpr/Cost.h"             // for Cost
 #include "ResolvExpr/TypeEnvironment.h"  // for EqvClass, TypeEnvironment
+#include "ResolvExpr/Unify.h"
 #include "SymTab/Indexer.h"              // for Indexer
 #include "SynTree/Declaration.h"         // for TypeDecl, NamedTypeDecl
 #include "SynTree/Type.h"                // for Type, BasicType, TypeInstType
 #include "typeops.h"                     // for typesCompatibleIgnoreQualifiers
+
 
 namespace ResolvExpr {
@@ -655 +657 @@
                                 cost = Cost::safe;
                         }
-                } else {
+                }
+                /*
+                else if ( const ast::FunctionType * dstFunc = dstAsPtr->base.as<ast::FunctionType>()) {
+                        if (const ast::FunctionType * srcFunc = pointerType->base.as<ast::FunctionType>()) {
+                                if (dstFunc->params.empty() && dstFunc->isVarArgs ) {
+                                        cost = Cost::unsafe; // assign any function to variadic fptr
+                                }
+                        }
+                        else {
+                                ast::AssertionSet need, have; // unused
+                                ast::OpenVarSet open;
+                                env.extractOpenVars(open);
+                                ast::TypeEnvironment tenv = env;
+                                if ( unify(dstAsPtr->base, pointerType->base, tenv, need, have, open, symtab) ) {
+                                        cost = Cost::safe;
+                                }
+                        }
+                        // else infinity
+                }
+                */
+                else {
                         int assignResult = ptrsAssignable( pointerType->base, dstAsPtr->base, env );
                         if ( 0 < assignResult && tq1 <= tq2 ) {