Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005947OCamlOCaml otherlibspublic2013-03-12 18:412014-05-25 20:20
Reporterbvaugon 
Assigned Todoligez 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusassignedResolutionopen 
PlatformOSOS Version
Product Version4.00.1 
Target Version4.02.0+devFixed in Version 
Summary0005947: CAMLprim returning void
DescriptionSome C primitives of the OCaml otherlibs runtime returns void instead of ().
Some of them are declared "external" in some .ml files.
Obviously, it could cause a "Segmentation fault" if they are called from OCaml.
Steps To ReproduceTo search these invalid functions, run:

$ grep -RIni 'CAMLprim void' otherlibs
otherlibs/labltk/support/cltkImg.c:78:CAMLprim void
otherlibs/labltk/support/cltkImg.c:112:CAMLprim void camltk_setimgdata_bytecode(argv,argn)
otherlibs/labltk/support/cltkCaml.c:66:CAMLprim void tk_error(char *errmsg)
Additional InformationI think that "tk_error" is *not* an OCaml primitive, so you may just have to remove the CAMLprim attribute.

Functions camltk_setimgdata_bytecode and camltk_setimg_native are exported, so you just have to change signature and to return Val_unit.
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0008990)
garrigue (manager)
2013-03-18 07:19

IIRC, the CAMLprim attribute on tk_error is to overcome restrictions on dependencies between DLLs on windows.
Namely other libraries, such as LablGL, need to access some utility functions from LablTk, and if they are not correctly flagged they are not avilable outside of the DLL.
(The maybe a better name that CAMLprim to do that, but I didn't check; actually CAMLprim is only used to register primitives in the byterun directory)
(0009797)
doligez (administrator)
2013-07-17 13:08

About tk_error, as far as I know you are supposed to use CAMLexport rather than CAMLprim in that case. This will need to be tested.
About the others, we need to decide if they are like tk_error or if they are really primitives, in which case they must return "value" rather than "void".

- Issue History
Date Modified Username Field Change
2013-03-12 18:41 bvaugon New Issue
2013-03-17 17:14 gasche Assigned To => doligez
2013-03-17 17:14 gasche Status new => assigned
2013-03-18 07:19 garrigue Note Added: 0008990
2013-07-12 09:45 doligez Target Version => 4.01.0+dev
2013-07-17 13:08 doligez Note Added: 0009797
2013-08-19 16:07 doligez Target Version 4.01.0+dev => 4.01.1+dev
2014-05-25 20:20 doligez Target Version 4.01.1+dev => 4.02.0+dev


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker