[mercury-users] mercury-10.04.1 hard_coded/char_signed test

[Keri Harris]

On Friday 10 September 2010 20:15:37 you wrote:
> 
> If this is still failing for you, could you please let us know further
> details of the environment in which you are running it, grade, gcc
> version, glibc version etc.
> 

Initially I ended up not being able to reproduce this. After some 
investigation I found it's reproducible after the following sequence of 
events:


1) install mercury-10.04 from source tarball
  ( ./configure && make && make install )

2) install mercury-10.04.1 using mercury-10.04 to bootstrap with
  ( ./configure && make && make install )

3) run hard_coded/char_signed test in grade asm_fast.gc:
    Comparing char_signed.out with char_signed.exp*,
            results in char_signed.res
    ** char_signed.out did not match the expected output
    ** (closest match was char_signed.res1)
    *** char_signed.exp     Mon Aug 23 23:04:57 2010
    --- char_signed.out     Fri Sep 10 19:32:15 2010
    ***************
    *** 1,4 ****
    ! unify succeed
      'A' < 0xFF
      0xFF >= 'A'
      'A' < 0xFF
    --- 1,4 ----
    ! unify fail
      'A' < 0xFF
      0xFF >= 'A'
      'A' < 0xFF
    gmake[3]: *** [char_signed.res] Error 1


After reinstalling -10.04.1 (this time using the already installed -10.04.1 to 
bootstrap with) the test proceeds as expected:
    Comparing char_signed.out with char_signed.exp*,
            results in char_signed.res
    Matched char_signed.exp

I've noticed this behaviour on a number of machines (all running Linux), the 
one I have at hand:

System uname: Linux-2.6.34-gentoo-r1-x86_64-Intel-R-_Core-
TM-2_Quad_CPU_Q9450_ at _2.66GHz-with-gentoo-1.12.13

app-shells/bash:     4.0_p37
sys-devel/binutils:  2.20.1
sys-devel/gcc:       4.4.3
sys-devel/glibc:     2.11.2
sys-devel/make:      3.81
virtual/os-headers:  2.6.30

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