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
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
This issue is fixed in rev#83620.
I've reproduced the problem with eweasel test#final090.
Submitted as: [EiffelNet #16859] (Void Safe) Problem with blocking sockets and threads:
Can you provide a backup of your project to reproduce this issue?