Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005742OCamlOCaml standard librarypublic2012-08-28 00:022013-06-12 15:06
Reporterlefessan 
Assigned To 
PriorityhighSeveritycrashReproducibilityalways
StatusresolvedResolutionfixed 
PlatformOSOS Version
Product Version4.00.0 
Target VersionFixed in Version4.00.1+dev 
Summary0005742: no bound checks anymore on some array operations
Description$ ocaml
        OCaml version 4.00.0

# Array.sub [||] 0 10;;
- : '_a array =
[|<poly>; <poly>; <poly>; <poly>; <poly>; <poly>; <poly>; <poly>; <poly>;
  <poly>|]
#

probably since commit 11913:

Module Array: faster implementations of "blit", "copy", "sub",
  "append" and "concat" (PR#2395, PR#2787, PR#4591)
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0007991)
xleroy (administrator)
2012-08-28 17:10

Indeed, the bound check in Array.sub fell through the cracks during commit 11913. Reinstated proper bound checks + a test in the testsuite, commits
r12891 (4.00 bugfix branch) and r12892 (trunk).

- Issue History
Date Modified Username Field Change
2012-08-28 00:02 lefessan New Issue
2012-08-28 17:10 xleroy Note Added: 0007991
2012-08-28 17:10 xleroy Status new => resolved
2012-08-28 17:10 xleroy Fixed in Version => 4.00.1+dev
2013-06-12 15:06 xleroy Resolution open => fixed


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker