[m-rev.] for review: liveness assertion failure with CTGC

[Julien Fischer]

On Wed, 30 Jan 2008, Peter Wang wrote:

> Branches: main
>
> Avoid assertion failures in the liveness detection pass which is called as
> part of computing in-use information for structure reuse.  The problem occurs
> for procedures containing an if-then-else goal with an `erroneous' condition.
> As written, liveness.m expects such goals to have been simplified beforehand.
> This is not the case when structure reuse is enabled, as the structure reuse
> analysis is run before simplification.

Which simplification pass are you referring to here?  (Obviously not
the one at stage 65, i.e. "frontend_simplify", since that is always
run before structure reuse.)

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