Re: Trying to trace a fault - suggestions requested.

Emmanuel Stapf [ES] wrote:
> Looks to me like a memory corruption when using
MANAGED_POINTER/POINTER. Looks
> like an overwrite somewhere.

From: Peter Horan [mailto:peterdeakin.edu.au]

>> Hi, Manu and Chris.
>>
>> I am trying to trace a fault.

OK. I have fixed this.

There is some problem with "deep_twin" involving
objects which reference objects 
with MPZ_REF attributes from the gmp library. Switching
"deep_twin" to "twin" 
fixed the crash. I think "deep_twin" is
unnecessary, so I will stay with "twin".

I have attempted to construct a simple example without
success.

Manu, I also had a problem with some failure of
synchronization between the 
run-time and the feature window. By mistake, I had a parent
pre-condition which 
masked the child preconditions, so code was not generated
for them. However, the 
feature window was behaving as if the code did exist. The
effect was that as I 
stepped through I thought I was executing the code in the
window, but was 
actually executing the code 3 lines further on. Needless to
say, it did not make 
much sense. Fixing the precondition fixed the problem, but a
simplified example 
behaves as expected.
-- 
Peter Horan               School of Engineering and
Information Technology
peterdeakin.edu.au       Deakin University
+61-3-5227 1234 (Voice)   Geelong, Victoria 3217, AUSTRALIA
+61-3-5227 2028 (FAX)     http://www.eit.de
akin.edu.au/~peter

-- The Eiffel guarantee: From specification to
implementation
-- (http://www.
cetus-links.org/oo_eiffel.html)


 
Yahoo! Groups Links

<*> To visit your group on the web, go to:
    http:/
/groups.yahoo.com/group/eiffel_software/

<*> Your email settings:
    Individual Email | Traditional

<*> To change settings online go to:
    ht
tp://groups.yahoo.com/group/eiffel_software/join
    (Yahoo! ID required)

<*> To change settings via email:
    mailto:eiffel_software-digest@yahoogroups.com 
    mailto:eiffel_software-fullfeatured@yahoogroups.com

<*> To unsubscribe from this group, send an email to:
    eiffel_software-unsubscribe@yahoogroups.com

<*> Your use of Yahoo! Groups is subject to:
    http://docs.yahoo.c
om/info/terms/