Thread overview
[Issue 6109] New: 'nothrow' does not check slice indices
Jun 05, 2011
kennytm@gmail.com
Jun 05, 2011
kennytm@gmail.com
Jun 05, 2011
kennytm@gmail.com
Jun 06, 2011
Walter Bright
June 05, 2011
http://d.puremagic.com/issues/show_bug.cgi?id=6109

           Summary: 'nothrow' does not check slice indices
           Product: D
           Version: D2
          Platform: Other
        OS/Version: Mac OS X
            Status: NEW
          Keywords: accepts-invalid
          Severity: regression
          Priority: P2
         Component: DMD
        AssignedTo: nobody@puremagic.com
        ReportedBy: kennytm@gmail.com


--- Comment #0 from kennytm@gmail.com 2011-06-05 12:05:58 PDT ---
Test case:
-----------------------------------------
int bug6109throwing() {
    throw new Exception("throws");
}
int bug6109noThrow() nothrow {
    auto g = [4][bug6109throwing() .. 1];
    return 0;
}
-----------------------------------------


This should not compile since 'bug6109throwing' is not 'nothrow', but DMD currently accepts it. It is expected that the compiler to give an error of

x.d(4): Error: function x.bug6109noThrow 'bug6109noThrow' is nothrow yet may
throw

The bug does not exist in 2.048.

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



--- Comment #1 from kennytm@gmail.com 2011-06-05 13:33:47 PDT ---
The regression was introduced in commit 62610eb.

https://github.com/D-Programming-Language/dmd/commit/62610eb

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


kennytm@gmail.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |patch


--- Comment #2 from kennytm@gmail.com 2011-06-05 14:18:02 PDT ---
DMD pull #87.

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

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


Walter Bright <bugzilla@digitalmars.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |bugzilla@digitalmars.com
         Resolution|                            |FIXED
         OS/Version|Mac OS X                    |All


--- Comment #3 from Walter Bright <bugzilla@digitalmars.com> 2011-06-06 00:38:37 PDT ---
https://github.com/D-Programming-Language/dmd/commit/c516c2e0024908b19f7ce9b9b1836aabf4dbfb75

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