PR# 19375 Class that inherit from {DISPOSABLE} that have a rescue clause in the dispose feature crash at colle

Problem Report Summary
Submitter: titoui
Category: Compiler
Priority: Medium
Date: 2017/07/11
Class: Bug
Severity: Serious
Number: 19375
Release: 17.05
Confidential: No
Status: Open
Responsible:
Environment: linux 64 bits and linux armv6
Synopsis: Class that inherit from {DISPOSABLE} that have a rescue clause in the dispose feature crash at colle

Description
I create a class that have a rescue clause in the one of the routine call by the `dispose' feature. The program execute correctly, but at final collection, I get a "segmentation fault". I remove every unnecessary code line and it seems that an empty class that inherit from {DISPOSABLE}, with an empty `dispose' feature containing an empty 'rescue' clause. Strangely, if the classe that instanciate the object (in my example: {APPLICATION}) declare it as local instead of as attribute, then, it does not crashed.
To Reproduce
Untar the segfault.tar.bz2 file. Open the segfault.ecf with EiffelStudio and compile. Execute.
Problem Report Interactions
From:titoui    Date:2017/07/11    Download   
Attachments for problem report #19375

Attachment: segfault.tar.bz2     Size:1081