www.digitalmars.com         C & C++   DMDScript  

digitalmars.D.bugs - [Issue 6929] New: [ICE] typeMerge crashes in presence of ambiguous alias this conversions

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

           Summary: [ICE] typeMerge crashes in presence of ambiguous alias
                    this conversions
           Product: D
           Version: D2
          Platform: Other
        OS/Version: Linux
            Status: NEW
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P2
         Component: DMD
        AssignedTo: nobody puremagic.com
        ReportedBy: timon.gehr gmx.ch


--- Comment #0 from timon.gehr gmx.ch 2011-11-10 08:29:45 PST ---
T t;
S s;
struct S{
    T get() const {return t;}
    alias get this;
}
struct T{
    S get() const {return s;}
    alias get this;
}
static assert(is(typeof(1? t:s)));

Fails with:

dmd: cast.c:1908: int typeMerge(Scope*, Expression*, Type**, Expression**,
Expression**): Assertion `!(i1 && i2)' failed.

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



--- Comment #1 from Kenji Hara <k.hara.pg gmail.com> 2011-11-12 07:08:04 PST ---
In this case, S and T don't have common type.

With the expression (1? t:s), two expansions of alias this exist.
One of them is
   1? t.get():s,  type == S
Other is 
   1? t:s.get(),  type == T

This ambiguate should cause error.

But, ICE is bad. It should be fixed.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
Nov 12 2011
prev sibling next sibling parent d-bugmail puremagic.com writes:
http://d.puremagic.com/issues/show_bug.cgi?id=6929


Kenji Hara <k.hara.pg gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |patch
           Platform|Other                       |All
         OS/Version|Linux                       |All


--- Comment #2 from Kenji Hara <k.hara.pg gmail.com> 2011-11-12 07:12:19 PST ---
https://github.com/D-Programming-Language/dmd/pull/466

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
Nov 12 2011
prev sibling parent d-bugmail puremagic.com writes:
http://d.puremagic.com/issues/show_bug.cgi?id=6929


Walter Bright <bugzilla digitalmars.com> changed:

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


--- Comment #3 from Walter Bright <bugzilla digitalmars.com> 2011-11-15
21:26:02 PST ---
https://github.com/D-Programming-Language/dmd/commit/57db617ba6eec8ce67bb3f20d33022d534a5dba2

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