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

           Summary: Erroneous closure behavior
           Product: D
           Version: D2
          Platform: Other
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: DMD
        AssignedTo: nobody@puremagic.com
        ReportedBy: dpx.infinity@gmail.com


--- Comment #0 from Vladimir Matveev <dpx.infinity@gmail.com> 2012-01-17 05:14:16 PST ---
Consider this code:

module test;

import std.stdio;

class C {
    public int x;

    this(int x) {
        this.x = x;
    }
}

void delegate() test(int n) {
    C c = new C(n);

    void inner() {
        writeln(c.x);
    }

    return () { inner(); };
}

void main(string[] args) {
    auto d1 = test(12);
    auto d2 = test(13);
    d1();
    d2();
}

It prints 13 two times, though it should print first 12, then 13.

I found this problem while trying to create simple test case for the following similar closure-related error. I'm using gtkd to create UI for my program. This code

    TextBuffer logBuffer = logTextView.getBuffer();

    void logln(string s) {
        TextIter it = new TextIter();
        logBuffer.getEndIter(it);
        logBuffer.insert(it, s ~ "\n");
    }

    auto computeHandler = (Button aux) {
        logln("Compute pressed.");
    };

    auto singlePlotHandler = (Button aux) {
        logln("Single pressed.");
    };

    auto comparePlotHandler = (Button aux) {
        logln("Compare pressed.");
    };

segfaults when any of the *Handler closures are called (from the gtk event handling code). This happens because logBuffer variable used in logln function is null, though it shouldn't. If I use logBuffer in any way in any of the closures, the code works fine.

It seems that there's a problem in closed variables detection in both programs. In simple test case it does not crash the program because of its simplicity, but in the second one stack is overwritten many times after the delegates are created, so no wonder it fails.

I'm using dmd v2.057 on x86_64 linux system.

-- 
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=7303


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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |clugdbug@yahoo.com.au


--- Comment #1 from Don <clugdbug@yahoo.com.au> 2012-01-17 07:54:43 PST ---
Duplicate of bug 1841?

-- 
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=7303



--- Comment #2 from Denis Shelomovskij <verylonglogin.reg@gmail.com> 2012-11-12 13:38:43 MSK ---
(In reply to comment #1)
> Duplicate of bug 1841?

Yes. The closure isn't detected. Writing `&c` from `test.inner` showsw it is on stack but must be in heap.

-- 
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=7303



--- Comment #3 from Denis Shelomovskij <verylonglogin.reg@gmail.com> 2012-11-12 13:39:46 MSK ---
(In reply to comment #1)
> Duplicate of bug 1841?

Yes. The closure isn't detected. Writing `&c` from `test.inner` showsw it is on stack but must be in heap.

-- 
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=7303


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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |DUPLICATE


--- Comment #4 from Denis Shelomovskij <verylonglogin.reg@gmail.com> 2012-11-12 13:42:25 MSK ---
*** This issue has been marked as a duplicate of issue 1841 ***

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