[m-rev.] Re: for review: --trace shallow variable liveness problem

[Peter Wang]

2009/6/4 Peter Wang <novalazy at gmail.com>:
> Branches: main
>
> Fix a compiler abort when compiling the given program with --trace shallow.
>
> compiler/live_vars.m:
>        Remove any call forward vars from the post-deaths set of a goal.
>        In the test program, a typeinfo variable added to the forward vars set
>        by maybe_add_typeinfo_liveness was already in the post-death set.
>
> tests/valid/Mercury.options:
> tests/valid/Mmakefile:
> tests/valid/livevars_shallow.m:
>        Add test case.

I've committed this.

Peter

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