www.digitalmars.com         C & C++   DMDScript  

digitalmars.D.bugs - [Issue 6109] New: 'nothrow' does not check slice indices

reply d-bugmail puremagic.com writes:
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: -------
Jun 05 2011
next sibling parent d-bugmail puremagic.com writes:
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: -------
Jun 05 2011
prev sibling next sibling parent d-bugmail puremagic.com writes:
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: -------
Jun 05 2011
prev sibling parent d-bugmail puremagic.com writes:
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: -------
Jun 06 2011