PR# 17193 EiffelStudio compiler crashes when 'Result' is (incorrectly) referenced in 'ensure' clause

Problem Report Summary
Submitter: jefflclark
Category: EiffelStudio
Priority: Medium
Date: 2010/11/16
Class: Bug
Severity: Serious
Number: 17193
Release: 6 (6.6.8.3873 GPL Edition - linux-x86_64)
Confidential: No
Status: Closed
Responsible:
Environment: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.12) Gecko/20101026 SUSE/3.6.12-0.7.1 Firefox/3.6.12
Synopsis: EiffelStudio compiler crashes when 'Result' is (incorrectly) referenced in 'ensure' clause

Description
Complete description and EiffelStudio compiler trace are in attached file.
To Reproduce
See attached file.
Problem Report Interactions
From:manus_eiffel    Date:2010/12/10    Status: Closed    Download   
Thank you for the report. This will be fixed in the final 6.7 release after rev#85122.

From:jefflclark    Date:2010/11/16    Download   
Attachments for problem report #17193

Attachment: eiffel_studio_trace.txt     Size:15660