www.digitalmars.com         C & C++   DMDScript  

digitalmars.D.bugs - [Issue 10055] New: Incorrect attribute merging in destructor building

reply d-bugmail puremagic.com writes:
http://d.puremagic.com/issues/show_bug.cgi?id=10055

           Summary: Incorrect attribute merging in destructor building
           Product: D
           Version: D2
          Platform: All
        OS/Version: All
            Status: NEW
          Keywords: rejects-valid
          Severity: regression
          Priority: P2
         Component: DMD
        AssignedTo: nobody puremagic.com
        ReportedBy: k.hara.pg gmail.com



This is very similar to bug 10053.

This code works with 2.062, but fails with git head.

struct S1
{
    pure ~this() { }
}
struct S2
{
    ~this() { }
}
struct SX
{
    S1 s1;
    S2 s2;
}

Output:
Error: pure function 'test.SX.~this' cannot call impure function
'test.S2.~this'

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
May 10 2013
next sibling parent d-bugmail puremagic.com writes:
http://d.puremagic.com/issues/show_bug.cgi?id=10055


Henning Pohl <henning still-hidden.de> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |pull
                 CC|                            |henning still-hidden.de



PDT ---
https://github.com/D-Programming-Language/dmd/pull/2003

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
May 10 2013
prev sibling next sibling parent d-bugmail puremagic.com writes:
http://d.puremagic.com/issues/show_bug.cgi?id=10055




Although this is not a regression, same issue exists in implicit postblit
generation.

struct S1
{
    pure this(this) { }
}
struct S2
{
    pure this(this) { }
}
struct SX
{
    S1 s1;
    S2 s2;
}
void main() pure
{
    SX sx1;
    SX sx2 = sx1;   // should succeed to compile, but doesn't
}

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
May 10 2013
prev sibling next sibling parent d-bugmail puremagic.com writes:
http://d.puremagic.com/issues/show_bug.cgi?id=10055






 https://github.com/D-Programming-Language/dmd/pull/2003


My fix, for both dtors and postblits.
https://github.com/D-Programming-Language/dmd/pull/2006

I and Henning are discussing about compiler behavior in the pull request 2003.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
May 10 2013
prev sibling next sibling parent d-bugmail puremagic.com writes:
http://d.puremagic.com/issues/show_bug.cgi?id=10055




Commits pushed to master at https://github.com/D-Programming-Language/dmd

https://github.com/D-Programming-Language/dmd/commit/487b38293bee52927dd10ac4c6ab5e6d87428f78
fix Issue 10055 - Incorrect attribute merging in dtor/postblit building

https://github.com/D-Programming-Language/dmd/commit/43650b955f35e0fe0aea92d95e3ae7c707796e23


[REG2.063a] Issue 10055 - Incorrect attribute merging in dtor/postblit building

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
May 10 2013
prev sibling parent d-bugmail puremagic.com writes:
http://d.puremagic.com/issues/show_bug.cgi?id=10055


Walter Bright <bugzilla digitalmars.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |bugzilla digitalmars.com
         Resolution|                            |FIXED


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