PR# 14222 Issue with exceptions and rescue/retry

Problem Report Summary
Submitter: meor100
Category: Compiler
Priority: Medium
Date: 2008/04/16
Class: Bug
Severity: Serious
Number: 14222
Release: 6.2
Confidential: No
Status: Analyzed
Responsible: ted_eiffel
Environment: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.8.1.13) Gecko/20080311 Firefox/2.0.0.13
Synopsis: Issue with exceptions and rescue/retry

Description
I attached a small project, basically it's just a feature creating an exception with a rescue clause to always retry. The program crashed a short period after being executed.

I'm only able to reproduce this when the application is multithreaded.

If I run this as a single thread, the application crashes with a huge stack trace. It looks like the retry clause is calling the function again recursively.

If I run the exception feature in a thread, EiffelStudio often becomes unresponsive, sometimes it returns minutes later with "Unhandled exception" External event within the DEVELOPER_EXCEPTION.raise feature. Sometimes it returns quickly with this error, sometimes it never becomes responsive again.

In the exception_trace.log file many of the exceptions have junk for the exception details:
ISE_EXCEPTION_MANAGER developer_raise ·:
ISE_EXCEPTION_MANAGER developer_raise :
ISE_EXCEPTION_MANAGER developer_raise Z:
To Reproduce
Run the attached system.
Problem Report Interactions
From:ted_eiffel    Date:2008/05/14    Download   
The most critical part and the corrupted trace should be fixed. But there could still be tiny memory leak exhibited in test except019.

From:meor100    Date:2008/04/16    Download   
Attachments for problem report #14222

Attachment: project4.zip     Size:4762
Attachment: exception_trace.zip     Size:3636