Thread overview | ||||||
---|---|---|---|---|---|---|
|
November 10, 2011 [Issue 6929] New: [ICE] typeMerge crashes in presence of ambiguous alias this conversions | ||||
---|---|---|---|---|
| ||||
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: ------- |
November 12, 2011 [Issue 6929] [ICE] typeMerge crashes in presence of ambiguous alias this conversions | ||||
---|---|---|---|---|
| ||||
Posted in reply to timon.gehr@gmx.ch | 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: ------- |
November 12, 2011 [Issue 6929] [ICE] typeMerge crashes in presence of ambiguous alias this conversions | ||||
---|---|---|---|---|
| ||||
Posted in reply to timon.gehr@gmx.ch | 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: ------- |
November 16, 2011 [Issue 6929] [ICE] typeMerge crashes in presence of ambiguous alias this conversions | ||||
---|---|---|---|---|
| ||||
Posted in reply to timon.gehr@gmx.ch | 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: ------- |
Copyright © 1999-2021 by the D Language Foundation