www.digitalmars.com         C & C++   DMDScript  

digitalmars.D.bugs - [Issue 7187] New: Regression(head 12d62ca5): [CTFE] ICE on slicing

reply d-bugmail puremagic.com writes:
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: -------
Dec 30 2011
next sibling parent d-bugmail puremagic.com writes:
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: -------
Dec 31 2011
prev sibling next sibling parent d-bugmail puremagic.com writes:
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: -------
Dec 31 2011
prev sibling next sibling parent d-bugmail puremagic.com writes:
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: -------
Jan 04 2012
prev sibling next sibling parent d-bugmail puremagic.com writes:
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: -------
Jan 08 2012
prev sibling parent d-bugmail puremagic.com writes:
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: -------
Jan 14 2012