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