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

Problem Report Summary
Submitter: rogers
Category: EiffelStudio
Priority: Medium
Date: 2008/09/17
Class: Bug
Severity: Critical
Number: 14797
Release: 6.2.7.3753
Confidential: No
Status: Analyzed
Responsible:
Environment: EiffelStudio 6.2.7.3753 GPL Edition - windows
Synopsis: Routine failure in [E_PROJECT.quick_melt] in EiffelStudio.

Description
No additional information. Just refactoring.

******************************** Thread exception *****************************
In thread           Root thread            0x0 (thread id)
*******************************************************************************
-------------------------------------------------------------------------------
Class / Object      Routine                Nature of exception           Effect
-------------------------------------------------------------------------------
EIFFEL_CLASS_C      constraints @1                                      
<000000000E3FD688>  (From CLASS_C)         Feature call on void target.  Fail
-------------------------------------------------------------------------------
EIFFEL_CLASS_C      constraints @1                                      
<000000000E3FD688>  (From CLASS_C)         Routine failure.              Fail
-------------------------------------------------------------------------------
GEN_TYPE_A          check_constraints @8                                
<0000000007AE3974>                         Routine failure.              Fail
-------------------------------------------------------------------------------
GEN_TYPE_A          check_constraints @33                               
<0000000007AE39C8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    process_abstract_creation @28
<000000003572F6FC>                         Routine failure.              Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    process_creation_as @55
<000000003572F6FC>                         Routine failure.              Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    process_create_creation_as @1
<000000003572F6FC>                         Routine failure.              Fail
-------------------------------------------------------------------------------
CREATE_CREATION_AS  process @1                                          
<000000002BDB969C>                         Routine failure.              Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    process_eiffel_list_with_matcher @8
<000000003572F6FC>                         Routine failure.              Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    process_eiffel_list @1 
<000000003572F6FC>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EIFFEL_LIST         process @1                                          
<000000002BDB918C>                         Routine failure.              Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    process_compound @3    
<000000003572F6FC>                         Routine failure.              Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    process_do_as @4       
<000000003572F6FC>                         Routine failure.              Fail
-------------------------------------------------------------------------------
DO_AS               process @1                                          
<000000002BDB9174>                         Routine failure.              Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    process_routine_as @20 
<000000003572F6FC>                         Routine failure.              Fail
-------------------------------------------------------------------------------
ROUTINE_AS          process @1                                          
<000000002BDB912C>                         Routine failure.              Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    safe_process @2        
<000000003572F6FC>  (From AST_VISITOR)     Routine failure.              Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    process_body_as @1     
<000000003572F6FC>                         Routine failure.              Fail
-------------------------------------------------------------------------------
BODY_AS             process @1                                          
<000000002BDB90FC>                         Routine failure.              Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    process_feature_as @5  
<000000003572F6FC>                         Routine failure.              Fail
-------------------------------------------------------------------------------
FEATURE_AS          process @1                                          
<000000002BDB9054>                         Routine failure.              Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    type_check_and_code @14
<000000003572F6FC>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EIFFEL_CLASS_C      pass3 @57                                           
<000000001DA9E25C>                         Routine failure.              Fail
-------------------------------------------------------------------------------
To Reproduce

										
Problem Report Interactions
From:manus_eiffel    Date:2008/09/18    Download   
Try to send it to me, hopefully our mail server will accept it.

From:rogers    Date:2008/09/18    Download   
I copied the backup but have finished making the code compile again. So, I only have the original backup available to show the problem. I tried to attach it, but realized it was exceeding the 4MB attachment size (15MB). Maybe it's time to increase the allowed attachment size.

What shall I do with it?

From:manus_eiffel    Date:2008/09/18    Download   
Could you just create a backup using a root class which only reference the class on which it crashes and then submit it as attachment to this problem report?

From:rogers    Date:2008/09/18    Download   
Hi,

It looks as if the crash still continues when I recompile from scratch. I have a backup of the compilation. Is this all you need? Where shall I put it?

From:rogers    Date:2008/09/18    Download   
Yes, I was removing a generic parameter from a class.

From:manus_eiffel    Date:2008/09/18    Status: Analyzed    Download   
What did you refactor exactly? Did you add or remove a generic parameter to a class?