PR# 14525 Routine failure in [E_PROJECT.quick_melt] in EiffelStudio.

Problem Report Summary

Submitter: ericbe

Category: EiffelStudio

Priority: Medium

Date: 2008/06/25

Class: Bug

Severity: Critical

Number: 14525

Release: 6.2.7.3753

Confidential: No

Status: Closed

Responsible: manus_eiffel

Environment: EiffelStudio 6.2.7.3753 GPL Edition - windows

Synopsis: Routine failure in [E_PROJECT.quick_melt] in EiffelStudio.

Description

When adding READABLE_STRING_8 in FreeELKS and recompiling after a series of unsuccessful compilation we got this crash while processing UC_STRING.

******************************** Thread exception *****************************
In thread           Root thread            0x0 (thread id)
*******************************************************************************
-------------------------------------------------------------------------------
Class / Object      Routine                Nature of exception           Effect
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    process_binary_as @56  
<000000001127F2D0>                         Feature call on void target.  Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    process_binary_as @56  
<000000001127F2D0>                         Routine failure.              Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    process_bin_plus_as @1 
<000000001127F2D0>                         Routine failure.              Fail
-------------------------------------------------------------------------------
BIN_PLUS_AS         process @1                                          
<0000000005F34FF8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    process_call @142      
<000000001127F2D0>                         Routine failure.              Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    process_access_feat_as @12
<000000001127F2D0>                         Routine failure.              Fail
-------------------------------------------------------------------------------
ACCESS_FEAT_AS      process @1                                          
<0000000005F35088>                         Routine failure.              Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    process_nested_as @11  
<000000001127F2D0>                         Routine failure.              Fail
-------------------------------------------------------------------------------
NESTED_AS           process @1                                          
<0000000005F350B8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    process_expr_call_as @2
<000000001127F2D0>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EXPR_CALL_AS        process @1                                          
<0000000005F350D0>                         Routine failure.              Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    process_tagged_as @4   
<000000001127F2D0>                         Routine failure.              Fail
-------------------------------------------------------------------------------
TAGGED_AS           process @1                                          
<0000000005F350E8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    process_eiffel_list_with_matcher @15
<000000001127F2D0>                         Routine failure.              Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    process_ensure_as @6   
<000000001127F2D0>                         Routine failure.              Fail
-------------------------------------------------------------------------------
ENSURE_AS           process @1                                          
<0000000005F35148>                         Routine failure.              Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    process_inherited_assertions @24
<000000001127F2D0>                         Routine failure.              Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    type_check_and_code @12
<000000001127F2D0>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EIFFEL_CLASS_C      pass3 @57                                           
<0000000015010270>                         Routine failure.              Fail
-------------------------------------------------------------------------------

To Reproduce

Problem Report Interactions

From:alexk_es Date:2010/03/18 Status: Closed Download

Fixed in rev#82602 of EiffelStudio 6.6 intermediate release.

From:manus_eiffel Date:2008/07/01 Download

I've added eweasel test#incr293 to show the problem.

From:manus_eiffel Date:2008/07/01 Status: Analyzed Download

Added set of classes that reproduce the problem. To reproduce, compile system using FreeELKS, then add an override cluster with the attached class, compile and hopefully it crashes at degree 3 on UC_STRING.

Attachment: crash.zip Size:41979