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.
- 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