PR# 18024 Degree 3 crash

Problem Report Summary
Submitter: soapy2357
Category: Compiler
Priority: Medium
Date: 2011/11/30
Class: Bug
Severity: Serious
Number: 18024
Release: 6.8.8.6627, 7.0.8.7451
Confidential: No
Status: Open
Responsible:
Environment: Mozilla/5.0 (X11; Linux i686; rv:8.0) Gecko/20100101 Firefox/8.0
Synopsis: Degree 3 crash

Description
$ ec -c_compile -project maze_application.ecf
Eiffel Compilation Manager
Version 6.8.8.6627 GPL Edition - linux-x86

Degree 6: Examining System
Degree 5: Parsing Classes
Degree 4: Analyzing Inheritance
Degree 3: Checking Types
ISE Eiffel: Session aborted
Exception tag: 

ec: system execution failed.
Following is the set of recorded exceptions:

******************************** Thread exception *****************************
In thread           Root thread            0x0 (thread id)
*******************************************************************************
-------------------------------------------------------------------------------
Class / Object      Routine                Nature of exception           Effect
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    check_body @20         
<00000000B634CB78>                         Feature call on void target.  Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    check_body @20         
<00000000B634CB78>                         Routine failure.              Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    process_inline_agent_creation_as @67
<00000000B632B650>                         Routine failure.              Fail
-------------------------------------------------------------------------------
INLINE_AGENT_CREATION_AS
                    process @1             
<00000000B611BED8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    process_expressions_list_for_tuple @31
<00000000B632B650>                         Routine failure.              Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    process_tuple_as @3    
<00000000B632B650>                         Routine failure.              Fail
-------------------------------------------------------------------------------
TUPLE_AS            process @1                                          
<00000000B611BFB0>                         Routine failure.              Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    process_expressions_list @25
<00000000B632B650>                         Routine failure.              Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    process_array_as @11   
<00000000B632B650>                         Routine failure.              Fail
-------------------------------------------------------------------------------
COMPILER_ARRAY_AS   process @1                                          
<00000000B611C094>  (From ARRAY_AS)        Routine failure.              Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    process_iteration_as @3
<00000000B632B650>                         Routine failure.              Fail
-------------------------------------------------------------------------------
ITERATION_AS        process @1                                          
<00000000B611C358>                         Routine failure.              Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    process_loop_as @9     
<00000000B632B650>                         Routine failure.              Fail
-------------------------------------------------------------------------------
LOOP_AS             process @1                                          
<00000000B611CA90>                         Routine failure.              Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    process_eiffel_list_with_matcher @9
<00000000B632B650>                         Routine failure.              Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    process_eiffel_list @1 
<00000000B632B650>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EIFFEL_LIST         process @1                                          
<00000000B611EA64>                         Routine failure.              Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    process_compound @2    
<00000000B632B650>                         Routine failure.              Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    process_case_as @50    
<00000000B632B650>                         Routine failure.              Fail
-------------------------------------------------------------------------------
CASE_AS             process @1                                          
<00000000B611EAD0>                         Routine failure.              Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    process_eiffel_list_with_matcher @9
<00000000B632B650>                         Routine failure.              Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    process_eiffel_list @1 
<00000000B632B650>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EIFFEL_LIST         process @1                                          
<00000000B611F238>                         Routine failure.              Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    process_inspect_as @25 
<00000000B632B650>                         Routine failure.              Fail
-------------------------------------------------------------------------------
INSPECT_AS          process @1                                          
<00000000B611F280>                         Routine failure.              Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    process_eiffel_list_with_matcher @9
<00000000B632B650>                         Routine failure.              Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    process_eiffel_list @1 
<00000000B632B650>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EIFFEL_LIST         process @1                                          
<00000000B611F31C>                         Routine failure.              Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    process_compound @2    
<00000000B632B650>                         Routine failure.              Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    process_do_as @4       
<00000000B632B650>                         Routine failure.              Fail
-------------------------------------------------------------------------------
DO_AS               process @1                                          
<00000000B611F364>                         Routine failure.              Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    process_routine_as @22 
<00000000B632B650>                         Routine failure.              Fail
-------------------------------------------------------------------------------
ROUTINE_AS          process @1                                          
<00000000B611F37C>                         Routine failure.              Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    safe_process @2        
<00000000B632B650>  (From AST_VISITOR)     Routine failure.              Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    process_body_as @1     
<00000000B632B650>                         Routine failure.              Fail
-------------------------------------------------------------------------------
BODY_AS             process @1                                          
<00000000B611F3C4>                         Routine failure.              Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    process_feature_as @4  
<00000000B632B650>                         Routine failure.              Fail
-------------------------------------------------------------------------------
FEATURE_AS          process @1                                          
<00000000B611F460>                         Routine failure.              Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    type_check_and_code @16
<00000000B632B650>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EIFFEL_CLASS_C      pass3 @60                                           
<00000000B6110394>                         Routine failure.              Rescue
-------------------------------------------------------------------------------
DEGREE_3            process_class @3                                    
<00000000B41ABED8>                         Routine failure.              Rescue
-------------------------------------------------------------------------------
DEGREE_3            execute @20                                         
<00000000B41ABED8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
SYSTEM_I            process_degree_3 @2                                 
<00000000B51307E4>                         Routine failure.              Rescue
-------------------------------------------------------------------------------
SYSTEM_I            do_recompilation @50                                
<00000000B51307E4>                         Routine failure.              Fail
-------------------------------------------------------------------------------
SYSTEM_I            recompile @7                                        
<00000000B51307E4>                         Routine failure.              Rescue
-------------------------------------------------------------------------------
WORKBENCH_I         recompile @23                                       
<00000000B4531AF4>                         Routine failure.              Rescue
-------------------------------------------------------------------------------
E_PROJECT           melt @7                                             
<00000000B4531920>                         Routine failure.              Rescue
-------------------------------------------------------------------------------
E_PROJECT           quick_melt @3                                       
<00000000B4531920>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EWB_QUICK_MELT      perform_compilation @1                              
<00000000B4CE098C>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EWB_QUICK_MELT      compile @3                                          
<00000000B4CE098C>  (From EWB_COMP)        Routine failure.              Fail
-------------------------------------------------------------------------------
EWB_QUICK_MELT      execute @6                                          
<00000000B4CE098C>  (From EWB_COMP)        Routine failure.              Fail
-------------------------------------------------------------------------------
ES_BATCH            execute @46                                         
<00000000B4CE0938>  (From ES)              Routine failure.              Rescue
-------------------------------------------------------------------------------
ES_BATCH            make @13                                            
<00000000B4CE0938>  (From ES)              Routine failure.              Fail
-------------------------------------------------------------------------------
EB_KERNEL           make @5                                             
<00000000B5130E74>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_KERNEL           root's creation                                     
<00000000B5130E74>                         Routine failure.              Exit
-------------------------------------------------------------------------------
To Reproduce

										
Problem Report Interactions
From:soapy2357    Date:2011/11/30    Download   
Attachments for problem report #18024

Attachment: maze_bug.zip     Size:6319