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

[Julien Fischer]

On Fri, 20 Jul 2012, Julien Fischer wrote:

> On Fri, 20 Jul 2012, Julien Fischer wrote:
>
> 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.

The same set of tests also fail (for the same reason) on x86 Linux (and
I suspect all 32-bit systems.)

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