Thread overview
[Issue 4135] New: blockExit assertion failure
May 01, 2010
Ellery Newcomer
May 01, 2010
Ellery Newcomer
[Issue 4135] Regression(1.034): ICE(statement.c): mixin in bad foreach, D1 only
Aug 14, 2010
Don
Dec 19, 2011
Walter Bright
Dec 19, 2011
Walter Bright
May 01, 2010
http://d.puremagic.com/issues/show_bug.cgi?id=4135

           Summary: blockExit assertion failure
           Product: D
           Version: unspecified
          Platform: Other
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: DMD
        AssignedTo: nobody@puremagic.com
        ReportedBy: ellery-newcomer@utulsa.edu


--- Comment #0 from Ellery Newcomer <ellery-newcomer@utulsa.edu> 2010-04-30 17:31:57 PDT ---
On compiling the files in the below zip file (with unittesting), I get

dmd: statement.c:138: virtual int Statement::blockExit(): Assertion `0' failed.

There's a fair deal of code in there, but I believe its coming from TestRecords, for anyone bothering to whittle this one down.

http://personal.utulsa.edu/~ellery-newcomer/dxltest.zip

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
May 01, 2010
http://d.puremagic.com/issues/show_bug.cgi?id=4135


bearophile_hugs@eml.cc changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |bearophile_hugs@eml.cc


--- Comment #1 from bearophile_hugs@eml.cc 2010-04-30 17:51:16 PDT ---
I don't think it's fair for Walter or Don to debug your code. So I suggest you to first of all merge all that code in a single module, then start removing parts and keep that ICE, until you reach to a short enough program to post here again.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
May 01, 2010
http://d.puremagic.com/issues/show_bug.cgi?id=4135



--- Comment #2 from Ellery Newcomer <ellery-newcomer@utulsa.edu> 2010-04-30 20:04:52 PDT ---
I think it's fair for Walter or Don to debug their code.

Anyways, I lied about TestRecords.

This is as small as I care to get it:

public int blitvisit()() {
    foreach(k; s.tupleof){
            mixin(BlitX!());
    }
}

void main(){
    blitvisit!()();
}

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
May 01, 2010
http://d.puremagic.com/issues/show_bug.cgi?id=4135



--- Comment #3 from bearophile_hugs@eml.cc 2010-05-01 03:08:37 PDT ---
If you post several modules here then you are asking people to debug your code.

Your last code doesn't show the ICE, it just shows:
test.d(2): Error: undefined identifier s

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
August 14, 2010
http://d.puremagic.com/issues/show_bug.cgi?id=4135


Don <clugdbug@yahoo.com.au> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|ICE(statement.c): blockExit |Regression(1.034):
                   |assertion failure           |ICE(statement.c): mixin in
                   |                            |bad foreach, D1 only
           Severity|normal                      |regression


--- Comment #4 from Don <clugdbug@yahoo.com.au> 2010-08-14 13:14:47 PDT ---
This is D1-only. Reduced test case:

void bug4125() {
    foreach(k; s){
        mixin("");
    }
}
--------
test0.d(384): Error: undefined identifier s
test0.d(384): Error: cannot infer type for k
Statement::blockExit(00C17914)
mixin("");

Passed in 1.030, ICE in 1.034.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
December 19, 2011
http://d.puremagic.com/issues/show_bug.cgi?id=4135


Walter Bright <bugzilla@digitalmars.com> changed:

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


--- Comment #5 from Walter Bright <bugzilla@digitalmars.com> 2011-12-19 10:00:27 PST ---
https://github.com/D-Programming-Language/dmd/commit/017697af3ff93383dad0ad085994e3f2aab515d8

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
December 19, 2011
http://d.puremagic.com/issues/show_bug.cgi?id=4135



--- Comment #6 from Walter Bright <bugzilla@digitalmars.com> 2011-12-19 10:01:58 PST ---
The fix was:

https://github.com/D-Programming-Language/dmd/pull/570

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