[Issue 3353] storage class of a member function is propagated to default arguments

d-bugmail at puremagic.com d-bugmail at puremagic.com
Wed Sep 30 14:00:21 PDT 2009


http://d.puremagic.com/issues/show_bug.cgi?id=3353


Rainer Schuetze <r.sagitario at gmx.de> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |patch


--- Comment #1 from Rainer Schuetze <r.sagitario at gmx.de> 2009-09-30 14:00:21 PDT ---
This happens, because the default argument is evaluated in the same scope as
the function. The following patch opens a new scope for argument semantics,
clearing the storage class (maybe some flags should be kept?):

Index: mtype.c
===================================================================
--- mtype.c    (revision 196)
+++ mtype.c    (working copy)
@@ -4065,11 +4065,14 @@
     if (tf->parameters)
     {    size_t dim = Argument::dim(tf->parameters);

+    Scope* argsc = sc->push(); // arguments must be evaluated in a different
scope
+    argsc->stc = STCundefined; // as we don't want to inherit storage class
from the function
+
     for (size_t i = 0; i < dim; i++)
     {   Argument *arg = Argument::getNth(tf->parameters, i);

         tf->inuse++;
-        arg->type = arg->type->semantic(loc,sc);
+        arg->type = arg->type->semantic(loc,argsc);
         if (tf->inuse == 1) tf->inuse--;

         arg->type = arg->type->addStorageClass(arg->storageClass);
@@ -4094,9 +4097,9 @@

         if (arg->defaultArg)
         {
-        arg->defaultArg = arg->defaultArg->semantic(sc);
-        arg->defaultArg = resolveProperties(sc, arg->defaultArg);
-        arg->defaultArg = arg->defaultArg->implicitCastTo(sc, arg->type);
+        arg->defaultArg = arg->defaultArg->semantic(argsc);
+        arg->defaultArg = resolveProperties(argsc, arg->defaultArg);
+        arg->defaultArg = arg->defaultArg->implicitCastTo(argsc, arg->type);
         }

         /* If arg turns out to be a tuple, the number of parameters may
@@ -4107,6 +4110,7 @@
         i--;
         }
     }
+    argsc->pop();
     }
     if (tf->next)
     tf->deco = tf->merge()->deco;

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------


More information about the Digitalmars-d-bugs mailing list