[m-dev.] Re: try_all/2 seg faults

Fergus Henderson fjh at cs.mu.OZ.AU
Sat Jun 17 06:57:32 AEST 2000


On 17-Jun-2000, Mark Anthony BROWN <dougl at cs.mu.OZ.AU> wrote:
> The attached module seg faults in grade asm_fast.gc.tr.debug
> on murlibobo and x86s.  (This module was adapted from 
> tests/hard_coded/exceptions/test_exceptions.m).
> 
> The problem occurs when try_all is passed a multi or nondet closure.

Mark, could you please do me a favour and add that as a test case?
I've got a fix for the problem, which I will go ahead and commit now.

----------

Estimated hours taken: 3

runtime/mercury_stacks.h:
	Fix an off-by-one error in the definition of MR_EXCEPTION_FRAMEVARS.

Workspace: /home/pgrad/fjh/ws/hg
Index: runtime/mercury_stacks.h
===================================================================
RCS file: /home/mercury1/repository/mercury/runtime/mercury_stacks.h,v
retrieving revision 1.20
diff -u -d -r1.20 mercury_stacks.h
--- runtime/mercury_stacks.h	2000/01/03 08:53:07	1.20
+++ runtime/mercury_stacks.h	2000/06/16 20:46:43
@@ -296,7 +296,7 @@
 } MR_Exception_Handler_Frame;
 
 #define MR_EXCEPTION_FRAMEVARS \
-    (((MR_Exception_Handler_Frame *) (MR_curfr - MR_NONDET_FIXED_SIZE)) - 1)
+    (((MR_Exception_Handler_Frame *) (MR_curfr - MR_NONDET_FIXED_SIZE + 1)) - 1)
 
 #define MR_create_exception_handler(name,				      \
 		handler_code_model, handler_closure, redoip)		      \

-- 
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.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------



More information about the developers mailing list