PR# 19021 Operating system signal in {TYPE_A_CHECKER}.check_and_solved in EiffelStudio.

Problem Report Summary
Submitter: manus_eiffel
Category: EiffelStudio
Priority: Medium
Date: 2015/01/27
Class: Bug
Severity: Critical
Number: 19021
Release: 15.01.9.6506
Confidential: No
Status: Open
Responsible:
Environment: EiffelStudio 15.01.9.6506 GPL Edition - win64
Synopsis: Operating system signal in {TYPE_A_CHECKER}.check_and_solved in EiffelStudio.

Description
Compiling the iron client tool from rev#96538 and then in the same session updating to rev#96539 and compiling causing a crash at degree 3.

Project loaded: True
Project compiled: True
Is compiling: False
Last known class processed: IRON_UPDATE_PACKAGE_FILE_TASK
Last status message: Degree 3: Checking Types (22/27): IRON_UPDATE_PACKAGE_FILE_TASK

******************************** Thread exception *****************************
In thread           Root thread            0x0 (thread id)
*******************************************************************************
-------------------------------------------------------------------------------
Class / Object      Routine                Nature of exception           Effect
-------------------------------------------------------------------------------
TYPE_A_CHECKER      check_and_solved @4    Segmentation violation:      
<0000000010F32918>                         Operating system signal.      Fail
-------------------------------------------------------------------------------
TYPE_A_CHECKER      check_and_solved @4                                 
<0000000010F32918>                         Routine failure.              Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    check_type @7          
<0000000010F32788>                         Routine failure.              Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    check_locals @15       
<0000000010F32788>                         Routine failure.              Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    process_routine_as @11 
<0000000010F32788>                         Routine failure.              Fail
-------------------------------------------------------------------------------
ROUTINE_AS          process @1                                          
<0000000002885878>                         Routine failure.              Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    safe_process @2        
<0000000010F32788>  (From AST_VISITOR)     Routine failure.              Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    process_body_as @1     
<0000000010F32788>                         Routine failure.              Fail
-------------------------------------------------------------------------------
BODY_AS             process @1                                          
<0000000002885AE8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    process_feature_as @4  
<0000000010F32788>                         Routine failure.              Fail
-------------------------------------------------------------------------------
FEATURE_AS          process @1                                          
<0000000002885B38>                         Routine failure.              Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    type_check_only @21    
<0000000010F32788>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EIFFEL_CLASS_C      pass3 @110                                          
<0000000011314848>                         Routine failure.              Fail
-------------------------------------------------------------------------------
DEGREE_3            process_class @3                                    
<000000000A1303D8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
DEGREE_3            execute @20                                         
<000000000A1303D8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
SYSTEM_I            process_degree_3 @2                                 
<00000000081AF618>                         Routine failure.              Fail
-------------------------------------------------------------------------------
SYSTEM_I            do_recompilation @63                                
<00000000081AF618>                         Routine failure.              Fail
-------------------------------------------------------------------------------
SYSTEM_I            recompile @7                                        
<00000000081AF618>                         Routine failure.              Fail
-------------------------------------------------------------------------------
WORKBENCH_I         recompile @23                                       
<0000000003C79048>                         Routine failure.              Fail
-------------------------------------------------------------------------------
E_PROJECT           melt @7                                             
<0000000003B31038>                         Routine failure.              Fail
-------------------------------------------------------------------------------
E_PROJECT           quick_melt @3                                       
<0000000003B31038>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_MELT_PROJECT_COMMAND
                    perform_compilation @1 
<0000000003BAEF98>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_MELT_PROJECT_COMMAND
                    compile @5             
<0000000003BAEF98>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_MELT_PROJECT_COMMAND
                    compile_and_run @1     
<0000000003BAEF98>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_MELT_PROJECT_COMMAND
                    confirm_execution_halt @2
<0000000003BAEF98>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_MELT_PROJECT_COMMAND
                    confirm_and_compile @1 
<0000000003BAEF98>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_MELT_PROJECT_COMMAND
                    compile_no_save @4     
<0000000003BAEF98>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_MELT_PROJECT_COMMAND
                    execute_with_c_compilation_flag @16
<0000000003BAEF98>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_MELT_PROJECT_COMMAND
                    go_on_compile @1       
<0000000003BAEF98>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_MELT_PROJECT_COMMAND
                    execute @12            
<0000000003BAEF98>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EV_NOTIFY_ACTION_SEQUENCE
                    call @21               
<0000000003BAF068>  (From ACTION_SEQUENCE) Routine failure.              Fail
-------------------------------------------------------------------------------
EV_NOTIFY_ACTION_SEQUENCE
                    call @3                
<0000000003BAF068>  (From EV_LITE_ACTION_SEQUENCE)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
PROCEDURE           call @4                                             
<000000000CB7F188>                         Routine failure.              Fail
-------------------------------------------------------------------------------
PROCEDURE           apply @1                                            
<000000000CB7F188>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP  call_separate_action @1
<0000000003A29828>  (From EV_APPLICATION_I)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP  process_event_queue @48
<0000000003A29828>  (From EV_APPLICATION_I)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EV_APPLICATION_HANDLER
                    process_application_event_queue @1
<0000000003A2A608>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EV_APPLICATION_HANDLER
                    launch @4              
<0000000003A2A608>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EV_APPLICATION      internal_launch_application @3
<0000000003A29B88>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EV_APPLICATION      launch @2                                           
<0000000003A29B88>                         Routine failure.              Fail
-------------------------------------------------------------------------------
ES_GRAPHIC          make @4                                             
<0000000003A29B68>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_KERNEL           make @4                                             
<00000000038DAF58>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_KERNEL           root's creation                                     
<00000000038DAF58>                         Routine failure.              Exit
-------------------------------------------------------------------------------
To Reproduce

										
Problem Report Interactions