Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0004836OCamlOCaml generalpublic2009-07-15 11:512009-07-15 14:20
ReporterDmitry Grebeniuk 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version3.11.1 
Target VersionFixed in Version3.11.2+dev 
Summary0004836: Unix.single_write raises bogus exceptions under windows
Descriptionfile otherlibs/win32unix/write.c, function unix_single_write: the variable "DWORD err" is not initialized and is not modified in case of successful OS call. So, when the (unspecified) err's initial value is not zero, the "if (err)" condition is met, and exception Unix.Unix_error is raised.
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0005019)
xleroy (administrator)
2009-07-15 14:20

Well spotted. This is now fixed in the 3.11 release branch. Fix will go in 3.11.2.

- Issue History
Date Modified Username Field Change
2009-07-15 11:51 Dmitry Grebeniuk New Issue
2009-07-15 14:20 xleroy Note Added: 0005019
2009-07-15 14:20 xleroy Status new => closed
2009-07-15 14:20 xleroy Resolution open => fixed
2009-07-15 14:20 xleroy Fixed in Version => 3.11.2+dev


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker