Thread overview
[Issue 6111] New: Escaping reference to local variable not detected
Jun 06, 2011
Walter Bright
Jun 06, 2011
Walter Bright
Jun 07, 2011
Walter Bright
June 06, 2011
http://d.puremagic.com/issues/show_bug.cgi?id=6111

           Summary: Escaping reference to local variable not detected
           Product: D
           Version: D2
          Platform: Other
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: DMD
        AssignedTo: nobody@puremagic.com
        ReportedBy: bugzilla@digitalmars.com


--- Comment #0 from Walter Bright <bugzilla@digitalmars.com> 2011-06-05 19:45:21 PDT ---
import std.algorithm, std.stdio;

auto mymap()
{
    int x = 42;
    int fun(int a) { return x + a; }
    return map!fun([1, 2, 3, 4, 5]);
}

void main()
{
    writeln(mymap());
}

This should print [43, 44, 45, 46, 47], but prints garbage because x should be allocated on the heap rather than the stack. The compiler needs to be better at detecting local escapes.

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



--- Comment #1 from Walter Bright <bugzilla@digitalmars.com> 2011-06-06 15:57:49 PDT ---
Reduced test case:

import std.c.stdio;

auto mymap()
{
    int x = 42;
    int fun(int a) { return x + a; }

    auto map()(int r)
    {
        struct Result
        {
            int _input;

            int back()
        {
        return fun(_input);
        }

            this(int input)
            {
                _input = input;
            }
        }

        return Result(r);
    }

    return map(1);
}

void main()
{
    printf("%d\n", mymap().back());
}

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


Walter Bright <bugzilla@digitalmars.com> changed:

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


--- Comment #2 from Walter Bright <bugzilla@digitalmars.com> 2011-06-06 17:23:56 PDT ---
https://github.com/D-Programming-Language/dmd/commit/20510a31133327d768ae5335c5fbfc3e611a1213

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