[m-dev.] --no-lazy-code LLDS back-end failure

[Fergus Henderson]

On 11-Nov-2000, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> 
> Actually there are also quite a few tests which are failing on ender.

One of these is that the new LLDS code generator aborts when compiling
extras/trailed_update/var with `-O3', reporting

	fjh$ mmc -CV -O3 var.m
	...
	% Generating low-level (LLDS) code for predicate
		`var:set_last_delayed_goal_prev__ua0/1' mode 0
	Uncaught exception:
	Software Error: var_locn__var_becomes_dead: premature deletion
	Stack dump not available in this grade.

The final HLDS for that predicate looks fine to me, and the old
(`--lazy-code') LLDS code generator and the MLDS back-end both handle
this fine, so I think this is a bug in the new LLDS code generator
Zoltan, could you please investigate this one?

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