[m-rev.] for review: fix compiler abort in liveness detection

[Zoltan Somogyi]

On 18-Nov-2009, Peter Wang <novalazy at gmail.com> wrote:
> compiler/liveness.m:
>         In detect_deadness_in_goal, when the instmap delta for an if-then-else
>         goal is `unreachable', call `add_branch_pre_deaths' for the condition
>         and else goals with the InstmapReachable argument `no', not `yes'.

That looks ok.

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