[PPL-devel] Bugs in OCaml interface

[Roberto Bagnara]

Kenneth MacKenzie wrote:
> I've been using the PPL OCaml interface to carry out some program
> analysis within a compiler.  It's been working pretty well, but I've
> come across a number of bugs.
> 
> --------------------------------------------------------------------------------
> 
> 1. The OCaml 'unit' type has only a single value, denoted (); this is
> represented internally by a pointer to a single preallocated value.
> However, many of the functions in the PPL interface return the wrong value.
> 
> [...]
> 
> Every function returning a unit value (it looks like there are 509 of
> them) should look like this.  I don't think this bug is very harmful
> unless one uses unit values in unusual ways.

Kenneth,

can you please let us know how you configured the PPL?
The reason is that we obtain a different number of occurrences.
This depends on the configure command used, as well as
the characteristics of the host machine (i.e., the kind of
available floating point support).  If you can send your config.log
file, this would give us all the information we need.
All the best,

    Roberto

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it