digitalmars.D.bugs - [Issue 6929] New: [ICE] typeMerge crashes in presence of ambiguous alias this conversions
- d-bugmail puremagic.com (32/32) Nov 10 2011 http://d.puremagic.com/issues/show_bug.cgi?id=6929
- d-bugmail puremagic.com (13/13) Nov 12 2011 http://d.puremagic.com/issues/show_bug.cgi?id=6929
- d-bugmail puremagic.com (12/12) Nov 12 2011 http://d.puremagic.com/issues/show_bug.cgi?id=6929
- d-bugmail puremagic.com (12/12) Nov 15 2011 http://d.puremagic.com/issues/show_bug.cgi?id=6929
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 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
http://d.puremagic.com/issues/show_bug.cgi?id=6929 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
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 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
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 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