Changeset 00f89a6 for src/ResolvExpr

Timestamp:

Nov 12, 2024, 10:18:13 PM (2 months ago)

Author:

Fangren Yu <f37yu@…>

Branches:

master

Children:

2325b57

Parents:

47174c4

Message:

attempt to fix const reference conversion

File:

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

src/ResolvExpr/ConversionCost.cpp

@@ -250 +250 @@
                         newSrc = new ast::BasicType( ast::BasicKind::UnsignedInt );
                 }
+                if (dstAsRef->base->is_const() ) {
+                        auto cvtCost = conversionCost(newSrc, dstAsRef->base, srcIsLvalue, symtab, env) ;
+                        if (cvtCost == Cost::zero) { // exact match, may use a lvalue src
+                                if ( srcIsLvalue ) {
+                                        if ( src->qualifiers == dstAsRef->base->qualifiers ) {
+                                                return Cost::reference;
+                                        } else if ( src->qualifiers < dstAsRef->base->qualifiers ) {
+                                                return Cost::safe;
+                                        } else {
+                                                return Cost::unsafe;
+                                        }
+                                }
+                                else {
+                                        return Cost::reference;
+                                }
+                        }
+                        else { // not exact match, conversion is needed so lvalueness of src does not matter
+                                return cvtCost + Cost::reference;
+                        }
+                }
                 if ( typesCompatibleIgnoreQualifiers( newSrc, dstAsRef->base, env ) ) {
                         if ( srcIsLvalue ) {
@@ -259 +279 @@
                                         return Cost::unsafe;
                                 }
-                        } else if ( dstAsRef->base->is_const() ) {
-                                return Cost::safe;
-                        } else {
+                        } else { // rvalue-to-NC-ref conversion
                                 return Cost::unsafe;
                         }