[m-rev.] diff: upgrade to boehm gc 7.2

[Julien Fischer]

Hi,

On Fri, 20 Jul 2012, Julien Fischer wrote:

>
> On Tue, 17 Jul 2012, Julien Fischer wrote:
>
>>> Julien, can you test on Mac OS X and Windows?
>> 
>> Shall do.
>
> Bootchecking on Cygwin, i.e the i686-pc-cygwin architecture, has the
> following test case failures:

I've had a quick look into what is going on here.

>  feedback/autopar_mandelbrot-nodepend
>  feedback/autopar_mmc-nodepend

Same problem as on every other system, this is not a very portable
or robust way of testing the feedback system.

>  general/string_to_float
>  general/string_format/string_format_e
>  general/string_format/string_format_f
>  general/string_format/string_format_g

Due to library differences (or possibly to the handling of floats --
see below).

>  hard_coded/dir_test
>  hard_coded/pack_args_float
>  hard_coded/reuse_double
>  hard_coded/static_no_tag
>  hard_coded/stream_format
>  hard_coded/sv_record_update
>  hard_coded/uncond_reuse_bad

All of these generate incorrect output.   It appears as though the
various data packing optimizations PeterW implemented a while back
aren't working on this platform and/or with Mercury compiled ths way
I built it (see below).

>  hard_coded/test_tree_bitset

Last few lines of the output are:

    [4, 71402]
    testing divide_by_set
    []
    []
    Uncaught Mercury exception:
    Software Error: tree_bitset: function `tree_bitset.enum_to_index'/1: Unexpected: enums must map to nonnegative integers

>  hard_coded/write_xml

This seg faults.

>  par_conj/pathological_right_recursion

When running this test we use ulimit -m, which doesn't appear to
be supported on Cygwin.

> (I'm not sure that these are necessarily related to the GC upgrade.)

I'm pretty sure of that now!

For the record: the compiler running these tests was stage 2 of a fresh
checkout of the trunk.  (The original bootstrap compiler was
rotd-2012-07-15, installed directly from the source distribution.)
The C compiler was gcc 4.5.3.

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------