[m-rev.] for review: call contexts in ssdebug

[Julien Fischer]

On Wed, 2 Jun 2010, Peter Wang wrote:

> Branches: main, 10.04
>
> Modify the ssdebug transformation so that the context of procedure calls is
> available.  Before each call, store the caller's file name and line number in
> globals by calling a predicate `ssdb.set_context'.  Then in the following call
> to `ssdb.handle_event_call' we know where the call came from.
>
> compiler/ssdebug.m:
>        Add the calls to `ssdb.set_context' in the same initial pass that
>        creates proxies for standard library predicates.
>
>        Update the documentation on the transformation.
>
> ssdb/ssdb.m:
>        Add the `set_context' predicate and globals.
>
>        Use the information from the globals to retain the call context in
>        shadow stack frames.
>
>        Print out the context where appropriate.

That looks fine.

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