[Issue 3407] New: [tdpl] Compiling with -safe -release must keep all bound checks

[d-bugmail at puremagic.com]

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

           Summary: [tdpl] Compiling with -safe -release must keep all
                    bound checks
           Product: D
           Version: unspecified
          Platform: Other
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: DMD
        AssignedTo: nobody at puremagic.com
        ReportedBy: andrei at metalanguage.com


--- Comment #0 from Andrei Alexandrescu <andrei at metalanguage.com> 2009-10-15 17:30:43 PDT ---
The following program completes successfully when compiled with -safe -release:

void main() {
    auto a = new int[2];
    auto b = a[3];
}

When the -safe flag is present, all bound checks must be present.

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