[m-dev.] Freeze the compiler

[Fergus Henderson]

Neither of these bugs have been fixed yet.

On 10-Nov-2000, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> 
> One thing we should do for the next release is to make sure that it
> passes its test cases on all of our test systems.
...
> 2. debugger/queens
> 
> The goal path for `stack -d' doesn't match.
> This is probably caused by `-O1 --opt-space',
> and so is really a problem in the test case.
> 
> the differences are:
> *** queens.exp  Sat Oct 14 01:33:22 2000
> --- queens.out  Thu Nov  9 21:48:10 2000
> ***************
> *** 123,131 ****
>      5       pred queens:main/2-0 (cc_multi) (queens.m:15)
>   mdb> stack -d
>      0      20      10    6 pred queens:qperm/2-0 (nondet) (queens.m:45) (empty)
> !    1      15       8    5 pred queens:qperm/2-0 (nondet) (queens.m:49) s1;c2;
> !    2      10       6    4 pred queens:qperm/2-0 (nondet) (queens.m:49) s1;c2;
> !    3       5       4    3 pred queens:qperm/2-0 (nondet) (queens.m:49) s1;c2;
>      4       4       3    2 pred queens:queen/2-0 (nondet) (queens.m:42) c2;
>      5       1       1    1 pred queens:main/2-0 (cc_multi) (queens.m:15) ?;c2;q!;
>   mdb> print *
> --- 123,131 ----
>      5       pred queens:main/2-0 (cc_multi) (queens.m:15)
>   mdb> stack -d
>      0      20      10    6 pred queens:qperm/2-0 (nondet) (queens.m:45) (empty)
> !    1      15       8    5 pred queens:qperm/2-0 (nondet) (queens.m:49) s1;c4;
> !    2      10       6    4 pred queens:qperm/2-0 (nondet) (queens.m:49) s1;c4;
> !    3       5       4    3 pred queens:qperm/2-0 (nondet) (queens.m:49) s1;c4;
>      4       4       3    2 pred queens:queen/2-0 (nondet) (queens.m:42) c2;
>      5       1       1    1 pred queens:main/2-0 (cc_multi) (queens.m:15) ?;c2;q!;
> 
> Someone should verify that both of these outputs are valid.
> If so, the test case should be modified so that it doesn't fail.
> 
> 3. valid/agc*:
> 
> Again this is caused by `-O1 --opt-space'.
> It fails on Linux too.  The symptom is as follows:
> 
> fjh$ mmc -O1 --opt-space -c agc_ho_pred.m --gc accurate
> Uncaught exception:
> Software Error: var_locn__clobber_lval_in_var_state_map: empty state
> Stack dump not available in this grade.
> 
> At a guess this may be because the new code generator is detecting
> some invalid HLDS generated by some earlier phase of the compiler.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------