[m-rev.] for review: fix for problem with debugger contexts

[Fergus Henderson]

For review by Zoltan.

Estimated hours taken: 2
Branches: main, release

compiler/handle_options.m:
	Disable --optimize-dups if --procid-stack-layouts is enabled,
	since it causes wrong contexts in the debugger output (e.g. for
	tests/debugger/output_term_dep when compiled with --debug --opt-space).

Workspace: /mnt/mars/home/mars/fjh/ws1/mercury
Index: compiler/handle_options.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/handle_options.m,v
retrieving revision 1.107
diff -u -d -r1.107 handle_options.m
--- compiler/handle_options.m	2001/05/02 11:36:35	1.107
+++ compiler/handle_options.m	2001/05/07 04:03:24
@@ -530,6 +530,13 @@
 	option_implies(procid_stack_layout, basic_stack_layout, bool(yes)),
 	option_implies(agc_stack_layout, basic_stack_layout, bool(yes)),
 
+	% dupelim.m doesn't preserve label layout structures
+	% (e.g. it can change the return address in a call
+	% to a different label whose code is the same but
+	% which has a different label layout structure),
+	% so we need to disable it when tracing.
+	option_implies(procid_stack_layout, optimize_dups, bool(no)),
+
 	% XXX deforestation does not perform folding on polymorphic
 	% predicates correctly with --body-typeinfo-liveness.
 	option_implies(body_typeinfo_liveness, deforestation, bool(no)),

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------