trivial diff: MR_do_trace_redo_fail bug fix

Fergus Henderson fjh at cs.mu.OZ.AU
Wed Nov 4 18:05:24 AEDT 1998


Estimated hours taken: 0.75

runtime/mercury_trace_base.c:
	Fix a bug: it was calling init_label() instead of init_entry()
	for MR_do_trace_redo_fail.  This allowed gcc to optimize
	away that entry point, resulting in link errors for programs
	that used it (i.e. nondet programs compiled with tracing
	enabled).

Index: runtime/mercury_trace_base.c
===================================================================
RCS file: /home/staff/zs/imp/mercury/runtime/mercury_trace_base.c,v
retrieving revision 1.3
diff -u -r1.3 mercury_trace_base.c
--- mercury_trace_base.c	1998/10/16 06:19:05	1.3
+++ mercury_trace_base.c	1998/11/04 06:53:03
@@ -265,7 +265,7 @@
 Define_extern_entry(MR_do_trace_redo_fail);
 
 BEGIN_MODULE(MR_trace_labels_module)
-	init_label(MR_do_trace_redo_fail);
+	init_entry(MR_do_trace_redo_fail);
 BEGIN_CODE
 
 Define_entry(MR_do_trace_redo_fail);

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



More information about the developers mailing list