[m-rev.] diff: minor agc debugging improvements

[Zoltan Somogyi]

On 30-Dec-2003, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> @@ -881,7 +881,7 @@
>  		if (internal->i_name != NULL) {
>  			fprintf(fp, "label %s", internal->i_name);
>  		} else {
> -			fprintf(fp, "unnamed label");
> +			fprintf(fp, "unnamed label %p", internal->i_addr);
>  		}
>  	} else {
>  #ifdef	MR_NEED_ENTRY_LABEL_ARRAY
> @@ -892,13 +892,14 @@
>  			if (entry->e_name != NULL) {
>  				fprintf(fp, "entry label %s", entry->e_name);
>  			} else {
> -				fprintf(fp, "unnamed entry label");
> +				fprintf(fp, "unnamed entry label %p",
> +					entry->e_addr);
>  			}
>  		} else {
> -			fprintf(fp, "label UNKNOWN");
> +			fprintf(fp, "label UNKNOWN %p", w);
>  		}
>  #else
> -		fprintf(fp, "label UNKNOWN");
> +		fprintf(fp, "label UNKNOWN %p", w);
>  #endif	/* not MR_NEED_ENTRY_LABEL_ARRAY */
>  	}

These changes caused tests/debugger/nondet_stack to fail. I have committed
a fix to filter out the added pointers.

Zoltan.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------