[Issue 7187] New: Regression(head 12d62ca5): [CTFE] ICE on slicing

Dec 31, 2011

Denis

Dec 31, 2011

Walter Bright

Jan 01, 2012

Jan 05, 2012

Jan 08, 2012

Jan 15, 2012

http://d.puremagic.com/issues/show_bug.cgi?id=7187 Summary: Regression(head 12d62ca5): [CTFE] ICE on slicing Product: D Version: D2 Platform: Other OS/Version: Windows Status: NEW Keywords: ice-on-valid-code Severity: regression Priority: P2 Component: DMD AssignedTo: nobody@puremagic.com ReportedBy: verylonglogin.reg@gmail.com --- Comment #0 from Denis <verylonglogin.reg@gmail.com> 2011-12-31 08:57:23 MSK --- It compiles with dmd 2.057. But with head commit (12d62ca5): Assertion failure: '((ArrayLiteralExp *)se->e1)->ownedByCtfe' on line 6315 in file 'interpret.c' --- int[] f() { return [0]; } int g(int[] r) { auto t = r[0..0]; return 0; } static assert(g(f()) == 0); --- -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------

http://d.puremagic.com/issues/show_bug.cgi?id=7187 Walter Bright <bugzilla@digitalmars.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED CC| |bugzilla@digitalmars.com Resolution| |FIXED --- Comment #1 from Walter Bright <bugzilla@digitalmars.com> 2011-12-31 15:21:25 PST --- https://github.com/D-Programming-Language/dmd/commit/2605252929c5122341d3ecae77df1374e4131059 https://github.com/D-Programming-Language/dmd/commit/75fc400041049ab89f0ac5764a3ee7620db02d88 -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------

http://d.puremagic.com/issues/show_bug.cgi?id=7187 Denis <verylonglogin.reg@gmail.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|RESOLVED |REOPENED Resolution|FIXED | --- Comment #2 from Denis <verylonglogin.reg@gmail.com> 2012-01-01 10:59:25 MSK --- If an argument is added to `f` with head commit (227769c4): Assertion failure: '((ArrayLiteralExp *)se->e1)->ownedByCtfe' on line 6307 in file 'interpret.c' --- int[] f(int) { return [0]; } int g(int[] r) { auto t = r[0..0]; return 0; } static assert(g(f(0)) == 0); --- -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------

http://d.puremagic.com/issues/show_bug.cgi?id=7187 Walter Bright <bugzilla@digitalmars.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|REOPENED |RESOLVED Resolution| |FIXED --- Comment #3 from Walter Bright <bugzilla@digitalmars.com> 2012-01-04 18:24:34 PST --- https://github.com/D-Programming-Language/dmd/commit/51bc588d2e834650e5278247cd06b5da36569feb https://github.com/D-Programming-Language/dmd/pull/602 -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------

January 08, 2012

[Issue 7187] Regression(head 12d62ca5): [CTFE] ICE on slicing

Posted by Denis
in reply to Denis

Permalink

Denis

Posted in reply to Denis

Permalink

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


Denis <verylonglogin.reg@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |REOPENED
         Resolution|FIXED                       |


--- Comment #4 from Denis <verylonglogin.reg@gmail.com> 2012-01-08 16:49:39 MSK ---
If const cast and struct are added, with head commit (d2b8eadf):
Assertion failure: '((ArrayLiteralExp *)se->e1)->ownedByCtfe' on line 6337 in
file 'interpret.c'
---
struct S { const(int)[] field; }

const(int)[] f() {
    int[] arr = [];
    const(int)[] str = arr;
    auto s = S(str);
    return s.field;
}

int g(const(int)[] r)
{
    auto t = r[0..0];
    return 0;
}

static assert(g(f()) == 0);
---

This affects Appender using with CTFE.

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

http://d.puremagic.com/issues/show_bug.cgi?id=7187 Walter Bright <bugzilla@digitalmars.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|REOPENED |RESOLVED Resolution| |FIXED --- Comment #5 from Walter Bright <bugzilla@digitalmars.com> 2012-01-14 17:40:03 PST --- https://github.com/D-Programming-Language/dmd/commit/1cbd1959e41d39c812a8f4c1a17eb8535d44547a https://github.com/D-Programming-Language/dmd/commit/1394b3c55c740106555cd484697019e4a9b77109 -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------

Forums