www.digitalmars.com         C & C++   DMDScript  

digitalmars.D.bugs - [Issue 7303] New: Erroneous closure behavior

reply d-bugmail puremagic.com writes:
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



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: -------
Jan 17 2012
next sibling parent d-bugmail puremagic.com writes:
http://d.puremagic.com/issues/show_bug.cgi?id=7303


Don <clugdbug yahoo.com.au> changed:

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



Duplicate of bug 1841?

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
Jan 17 2012
prev sibling next sibling parent d-bugmail puremagic.com writes:
http://d.puremagic.com/issues/show_bug.cgi?id=7303




13:38:43 MSK ---


 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: -------
Nov 12 2012
prev sibling next sibling parent d-bugmail puremagic.com writes:
http://d.puremagic.com/issues/show_bug.cgi?id=7303




13:39:46 MSK ---


 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: -------
Nov 12 2012
prev sibling parent d-bugmail puremagic.com writes:
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



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: -------
Nov 12 2012