Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005606OCamlOCaml documentationpublic2012-05-03 11:182013-08-31 12:49
Reporteralexey.rodriguez 
Assigned Tomeyer 
PrioritynormalSeveritymajorReproducibilityalways
StatusclosedResolutionfixed 
Platformx86_64OSUbuntuOS Version11.10
Product Version3.12.1 
Target VersionFixed in Version 
Summary0005606: Documentation should warn about using Extract_exception before letting GC run in C code
DescriptionThe documentation does not warn strongly enough about using Extract_exception on exception results before calling a function that can trigger a GC.

For reference see the discussion on the mailing list:

https://sympa-roc.inria.fr/wws/arc/caml-list/2012-05/msg00003.html [^]

The attached patch includes a warning and an example to this purpose.
TagsNo tags attached.
Attached Filespatch file icon warning_exception.patch [^] (1,205 bytes) 2012-05-03 11:18 [Show Content]

- Relationships

-  Notes
(0007414)
meyer (developer)
2012-05-04 20:06

Thanks, patch (with minor modifications) has been applied as r12431.

- Issue History
Date Modified Username Field Change
2012-05-03 11:18 alexey.rodriguez New Issue
2012-05-03 11:18 alexey.rodriguez File Added: warning_exception.patch
2012-05-04 02:20 meyer Assigned To => meyer
2012-05-04 02:20 meyer Status new => assigned
2012-05-04 20:06 meyer Note Added: 0007414
2012-05-04 20:07 meyer Status assigned => resolved
2012-05-04 20:07 meyer Resolution open => fixed
2013-08-31 12:49 xleroy Status resolved => closed


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker