PR# 16858 Operating system signal in {POLY_TABLE}.min_used in EiffelStudio.

Problem Report Summary
Submitter: jsostroff
Category: EiffelStudio
Priority: Medium
Date: 2010/06/17
Class: Bug
Severity: Serious
Number: 16858
Release: 6.6.8.3355
Confidential: No
Status: Closed
Responsible:
Environment: EiffelStudio 6.6.8.3355 GPL Edition - win64
Synopsis: Operating system signal in {POLY_TABLE}.min_used in EiffelStudio.

Description

Project loaded: True
Project compiled: True
Is compiling: True
Last compilation degree: -3
Last known class processed: COMM_MANAGER
Last status message: Degree -3: Generating Optimized Code (32/226): COMM_MANAGER

******************************** Thread exception *****************************
In thread           Root thread            0x0 (thread id)
*******************************************************************************
-------------------------------------------------------------------------------
Class / Object      Routine                Nature of exception           Effect
-------------------------------------------------------------------------------
ROUT_TABLE          min_used @4            Segmentation violation:      
<00000000027E8D88>  (From POLY_TABLE)      Operating system signal.      Fail
-------------------------------------------------------------------------------
ROUT_TABLE          min_used @4                                         
<00000000027E8D88>  (From POLY_TABLE)      Routine failure.              Fail
-------------------------------------------------------------------------------
EIFFEL_HISTORY      is_polymorphic @33                                  
<0000000002766C28>                         Routine failure.              Fail
-------------------------------------------------------------------------------
FEATURE_B           inlined_byte_code @4                                
<00000000027DEDB8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
OBJECT_TEST_B       inlined_byte_code @2                                
<00000000027DEE48>                         Routine failure.              Fail
-------------------------------------------------------------------------------
ASSERT_B            inlined_byte_code @2                                
<00000000027DEE78>                         Routine failure.              Fail
-------------------------------------------------------------------------------
BYTE_LIST           inlined_byte_code @5                                
<00000000027DEED8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
GUARD_B             inlined_byte_code @3                                
<00000000027E0938>                         Routine failure.              Fail
-------------------------------------------------------------------------------
BYTE_LIST           inlined_byte_code @5                                
<00000000027E09A8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
LOOP_B              inlined_byte_code @7                                
<00000000027E09F8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
BYTE_LIST           inlined_byte_code @5                                
<00000000027E0A98>                         Routine failure.              Fail
-------------------------------------------------------------------------------
GUARD_B             inlined_byte_code @5                                
<00000000027E0AB8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
BYTE_LIST           inlined_byte_code @5                                
<00000000027E0B38>                         Routine failure.              Fail
-------------------------------------------------------------------------------
IF_B                inlined_byte_code @6                                
<00000000027E0B88>                         Routine failure.              Fail
-------------------------------------------------------------------------------
BYTE_LIST           inlined_byte_code @5                                
<00000000027E0C08>                         Routine failure.              Fail
-------------------------------------------------------------------------------
IF_B                inlined_byte_code @4                                
<00000000027E0C58>                         Routine failure.              Fail
-------------------------------------------------------------------------------
BYTE_LIST           inlined_byte_code @5                                
<00000000027E1038>                         Routine failure.              Fail
-------------------------------------------------------------------------------
STD_BYTE_CODE       inlined_byte_code @2                                
<00000000027E1058>                         Routine failure.              Fail
-------------------------------------------------------------------------------
DYN_PROC_I          generate @10                                        
<00000000027BDA28>  (From FEATURE_I)       Routine failure.              Fail
-------------------------------------------------------------------------------
CLASS_TYPE          generate_feature @1                                 
<000000000878BB88>                         Routine failure.              Fail
-------------------------------------------------------------------------------
CLASS_TYPE          pass4 @75                                           
<000000000878BB88>                         Routine failure.              Fail
-------------------------------------------------------------------------------
TYPE_LIST           pass4 @4                                            
<0000000006AAB0E8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EIFFEL_CLASS_C      pass4 @2                                            
<0000000006AAA978>                         Routine failure.              Fail
-------------------------------------------------------------------------------
SYSTEM_I            process_degree_minus_3 @16
<00000000033BC288>                         Routine failure.              Fail
-------------------------------------------------------------------------------
SYSTEM_I            finalize_system @47                                 
<00000000033BC288>                         Routine failure.              Fail
-------------------------------------------------------------------------------
E_PROJECT           finalize @7                                         
<000000000316AF48>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_FINALIZE_PROJECT_COMMAND
                    perform_compilation @1 
<00000000030C6098>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_FINALIZE_PROJECT_COMMAND
                    compile @5             
<00000000030C6098>  (From EB_MELT_PROJECT_COMMAND)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EB_FINALIZE_PROJECT_COMMAND
                    compile_and_run @1     
<00000000030C6098>  (From EB_MELT_PROJECT_COMMAND)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EB_FINALIZE_PROJECT_COMMAND
                    confirm_execution_halt @2
<00000000030C6098>  (From EB_MELT_PROJECT_COMMAND)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EB_FINALIZE_PROJECT_COMMAND
                    set_assertion_flag_and_compile @4
<00000000030C6098>                         Routine failure.              Fail
-------------------------------------------------------------------------------
ES_DISCARDABLE_QUESTION_PROMPT
                    on_dialog_button_pressed @9
<0000000006A2E8F8>  (From ES_DIALOG)       Routine failure.              Fail
-------------------------------------------------------------------------------
EV_NOTIFY_ACTION_SEQUENCE
                    call @21               
<0000000006A2EB38>  (From ACTION_SEQUENCE) Routine failure.              Fail
-------------------------------------------------------------------------------
EV_NOTIFY_ACTION_SEQUENCE
                    call @3                
<0000000006A2EB38>  (From EV_LITE_ACTION_SEQUENCE)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EV_BUTTON_IMP       on_bn_clicked @2                                    
<00000000031863A8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EV_BUTTON_IMP       process_notification @2
<00000000031863A8>  (From WEL_BUTTON)      Routine failure.              Fail
-------------------------------------------------------------------------------
EV_HORIZONTAL_BOX_IMP
                    on_wm_command @14      
<0000000003186128>  (From WEL_COMPOSITE_WINDOW)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EV_HORIZONTAL_BOX_IMP
                    process_message @8     
<0000000003186128>  (From WEL_COMPOSITE_WINDOW)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
WEL_DISPATCHER      window_procedure @7                                 
<0000000003099588>  (From WEL_ABSTRACT_DISPATCHER)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
WEL_DISPATCHER      window_procedure @12                                
<0000000003099588>  (From WEL_ABSTRACT_DISPATCHER)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EV_DIALOG_IMP_MODAL internal_dialog_make @3
<0000000003181588>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EV_DIALOG_IMP_MODAL show_modal_to_window @5
<0000000003181588>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EV_DIALOG_IMP       show_modal_to_window @4
<00000000031889B8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EV_DIALOG           show_modal_to_window @1
<0000000006A302B8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
ES_DISCARDABLE_QUESTION_PROMPT
                    show @4                
<0000000006A2E8F8>  (From ES_DIALOG)       Routine failure.              Fail
-------------------------------------------------------------------------------
ES_DISCARDABLE_QUESTION_PROMPT
                    show @2                
<0000000006A2E8F8>  (From ES_DISCARDABLE_PROMPT)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
ES_DISCARDABLE_QUESTION_PROMPT
                    show_on_active_window @7
<0000000006A2E8F8>  (From ES_DIALOG)       Routine failure.              Fail
-------------------------------------------------------------------------------
ES_DISCARDABLE_QUESTION_PROMPT
                    show_on_active_window @2
<0000000006A2E8F8>  (From ES_DISCARDABLE_PROMPT)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EB_FINALIZE_PROJECT_COMMAND
                    ask_for_assertions @6  
<00000000030C6098>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_FINALIZE_PROJECT_COMMAND
                    set_c_compilation_and_compile @2
<00000000030C6098>                         Routine failure.              Fail
-------------------------------------------------------------------------------
ES_DISCARDABLE_WARNING_PROMPT
                    on_dialog_button_pressed @9
<0000000006A1F768>  (From ES_DIALOG)       Routine failure.              Fail
-------------------------------------------------------------------------------
EV_NOTIFY_ACTION_SEQUENCE
                    call @21               
<0000000006A1F9A8>  (From ACTION_SEQUENCE) Routine failure.              Fail
-------------------------------------------------------------------------------
EV_NOTIFY_ACTION_SEQUENCE
                    call @3                
<0000000006A1F9A8>  (From EV_LITE_ACTION_SEQUENCE)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EV_BUTTON_IMP       on_bn_clicked @2                                    
<000000000329CA48>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EV_BUTTON_IMP       process_notification @2
<000000000329CA48>  (From WEL_BUTTON)      Routine failure.              Fail
-------------------------------------------------------------------------------
EV_HORIZONTAL_BOX_IMP
                    on_wm_command @14      
<000000000329B488>  (From WEL_COMPOSITE_WINDOW)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EV_HORIZONTAL_BOX_IMP
                    process_message @8     
<000000000329B488>  (From WEL_COMPOSITE_WINDOW)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
WEL_DISPATCHER      window_procedure @7                                 
<0000000003099588>  (From WEL_ABSTRACT_DISPATCHER)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
WEL_DISPATCHER      window_procedure @12                                
<0000000003099588>  (From WEL_ABSTRACT_DISPATCHER)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EV_DIALOG_IMP_MODAL internal_dialog_make @3
<000000000318B1B8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EV_DIALOG_IMP_MODAL show_modal_to_window @5
<000000000318B1B8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EV_DIALOG_IMP       show_modal_to_window @4
<000000000329DB48>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EV_DIALOG           show_modal_to_window @1
<0000000006A210D8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
ES_DISCARDABLE_WARNING_PROMPT
                    show @4                
<0000000006A1F768>  (From ES_DIALOG)       Routine failure.              Fail
-------------------------------------------------------------------------------
ES_DISCARDABLE_WARNING_PROMPT
                    show @2                
<0000000006A1F768>  (From ES_DISCARDABLE_PROMPT)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
ES_DISCARDABLE_WARNING_PROMPT
                    show_on_active_window @7
<0000000006A1F768>  (From ES_DIALOG)       Routine failure.              Fail
-------------------------------------------------------------------------------
ES_DISCARDABLE_WARNING_PROMPT
                    show_on_active_window @2
<0000000006A1F768>  (From ES_DISCARDABLE_PROMPT)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EB_FINALIZE_PROJECT_COMMAND
                    confirm_and_compile @5 
<00000000030C6098>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_FINALIZE_PROJECT_COMMAND
                    compile_no_save @4     
<00000000030C6098>  (From EB_MELT_PROJECT_COMMAND)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EB_FINALIZE_PROJECT_COMMAND
                    execute_with_c_compilation_flag @16
<00000000030C6098>  (From EB_MELT_PROJECT_COMMAND)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EB_FINALIZE_PROJECT_COMMAND
                    go_on_compile @1       
<00000000030C6098>  (From EB_MELT_PROJECT_COMMAND)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EB_FINALIZE_PROJECT_COMMAND
                    execute @11            
<00000000030C6098>  (From EB_MELT_PROJECT_COMMAND)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EV_NOTIFY_ACTION_SEQUENCE
                    call @21               
<000000000318A678>  (From ACTION_SEQUENCE) Routine failure.              Fail
-------------------------------------------------------------------------------
EV_NOTIFY_ACTION_SEQUENCE
                    call @3                
<000000000318A678>  (From EV_LITE_ACTION_SEQUENCE)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EV_MENU_ITEM_IMP    on_activate @2                                      
<000000000328B218>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EV_MENU_BAR_IMP     menu_item_clicked @4                                
<00000000031840E8>  (From EV_MENU_ITEM_LIST_IMP)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EV_TITLED_WINDOW_IMP
                    on_menu_command @3     
<0000000002FD7C38>  (From EV_WINDOW_IMP)   Routine failure.              Fail
-------------------------------------------------------------------------------
EV_TITLED_WINDOW_IMP
                    on_wm_menu_command @1  
<0000000002FD7C38>  (From WEL_COMPOSITE_WINDOW)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EV_TITLED_WINDOW_IMP
                    on_wm_command @16      
<0000000002FD7C38>  (From WEL_COMPOSITE_WINDOW)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EV_TITLED_WINDOW_IMP
                    process_message @8     
<0000000002FD7C38>  (From WEL_COMPOSITE_WINDOW)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
WEL_DISPATCHER      window_procedure @7                                 
<0000000003099588>  (From WEL_ABSTRACT_DISPATCHER)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
WEL_MSG             dispatch @1                                         
<0000000002FE45E8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP  process_message @10                                 
<0000000002FE39F8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP  process_underlying_toolkit_event_queue @7
<0000000002FE39F8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP  process_event_queue @2                              
<0000000002FE39F8>  (From EV_APPLICATION_I)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP  launch @3                                           
<0000000002FE39F8>  (From EV_APPLICATION_I)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EV_APPLICATION      launch @2                                           
<0000000002FE39C8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
ES_GRAPHIC          make @4                                             
<0000000002FE39A8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_KERNEL           make @6                                             
<0000000002FE3968>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_KERNEL           root's creation                                     
<0000000002FE3968>                         Routine failure.              Exit
-------------------------------------------------------------------------------
To Reproduce

										
Problem Report Interactions
From:manus_eiffel    Date:2010/06/21    Download   
In the meantime, the cause of this bug is the usage of `check f then ... end' where `f' is only used inside a check statement. There are various workarounds:
- do not use `check f then ... end' for the time being
- use `f' outside a `check f then ... end'
- enable assertion checking while finalizing on `check' only clauses
- do not finalize

From:manus_eiffel    Date:2010/06/18    Status: Closed    Download   
This issue is fixed in rev#83620.

From:manus_eiffel    Date:2010/06/18    Download   
I've reproduced the problem with eweasel test#final090.

From:jsostroff    Date:2010/06/17    Download   
Submitted as: [EiffelNet #16859]  (Void Safe) Problem with blocking sockets and threads:

From:manus_eiffel    Date:2010/06/17    Status: Analyzed    Download   
Can you provide a backup of your project to reproduce this issue?