PR# 16699 Operating system signal in {FEATURE_B}.process in EiffelStudio.
Problem Report Summary
Submitter: manus_eiffel
Category: EiffelStudio
Priority: Medium
Date: 2010/04/20
Class: Bug
Severity: Non-critical
Number: 16699
Release: 6.6.8.2858
Confidential: No
Status: Analyzed
Responsible:
Environment: EiffelStudio 6.6.8.2858 GPL Edition - win64
Synopsis: Operating system signal in {FEATURE_B}.process in EiffelStudio.
Description
I was changing `off' into after in ITERATION_CURSOR and then it crashed at degree 2. Project loaded: True Project compiled: True Is compiling: False Last known class processed: INDEXABLE_ITERATION_CURSOR Last status message: Degree 2: Generating Byte Code (3/13): INDEXABLE_ITERATION_CURSOR ******************************** Thread exception ***************************** In thread Root thread 0x0 (thread id) ******************************************************************************* ------------------------------------------------------------------------------- Class / Object Routine Nature of exception Effect ------------------------------------------------------------------------------- FEATURE_B process @4 Segmentation violation: <0000000002FB8D48> Operating system signal. Fail ------------------------------------------------------------------------------- FEATURE_B process @4 <0000000002FB8D48> Routine failure. Fail ------------------------------------------------------------------------------- MELTED_GENERATOR make_unary_b @2 <0000000002F66328> Routine failure. Fail ------------------------------------------------------------------------------- MELTED_GENERATOR process_un_not_b @1 <0000000002F66328> Routine failure. Fail ------------------------------------------------------------------------------- UN_NOT_B process @1 <0000000002FB8E08> Routine failure. Fail ------------------------------------------------------------------------------- MELTED_GENERATOR make_precondition_byte_code @18 <0000000002F66328> Routine failure. Fail ------------------------------------------------------------------------------- MELTED_GENERATOR make_assert_b @2 <0000000002F66328> Routine failure. Fail ------------------------------------------------------------------------------- MELTED_GENERATOR process_assert_b @1 <0000000002F66328> Routine failure. Fail ------------------------------------------------------------------------------- ASSERT_B process @1 <0000000002FB8E28> Routine failure. Fail ------------------------------------------------------------------------------- MELTED_GENERATOR process_byte_list @4 <0000000002F66328> Routine failure. Fail ------------------------------------------------------------------------------- ASSERTION_BYTE_CODE process @1 <0000000002FB8E98> (From BYTE_LIST) Routine failure. Fail ------------------------------------------------------------------------------- MELTED_GENERATOR generate @2 <0000000002F66328> Routine failure. Fail ------------------------------------------------------------------------------- INHERITED_ASSERTION make_precondition_byte_code @5 <0000000006DBD1F8> Routine failure. Fail ------------------------------------------------------------------------------- STD_BYTE_CODE make_body_code @9 <0000000002FB8748> Routine failure. Fail ------------------------------------------------------------------------------- STD_BYTE_CODE make_byte_code @48 <0000000002FB8748> (From BYTE_CODE) Routine failure. Fail ------------------------------------------------------------------------------- DYN_FUNC_I melt @6 <0000000006DB66F8> (From FEATURE_I) Routine failure. Fail ------------------------------------------------------------------------------- FEAT_MELTED_INFO melt @1 <00000000069B27F8> (From MELTED_INFO) Routine failure. Fail ------------------------------------------------------------------------------- CLASS_TYPE melt @6 <0000000011BB2E68> Routine failure. Fail ------------------------------------------------------------------------------- TYPE_LIST melt @5 <0000000011BB5628> Routine failure. Fail ------------------------------------------------------------------------------- EIFFEL_CLASS_C melt @2 <0000000011BB65F8> Routine failure. Fail ------------------------------------------------------------------------------- DEGREE_2 execute @25 <0000000006DBC738> Routine failure. Fail ------------------------------------------------------------------------------- SYSTEM_I process_degree_2 @1 <0000000017DBC718> Routine failure. Fail ------------------------------------------------------------------------------- SYSTEM_I melt @3 <0000000017DBC718> Routine failure. Fail ------------------------------------------------------------------------------- SYSTEM_I do_recompilation @64 <0000000017DBC718> Routine failure. Fail ------------------------------------------------------------------------------- SYSTEM_I recompile @7 <0000000017DBC718> Routine failure. Fail ------------------------------------------------------------------------------- WORKBENCH_I recompile @23 <00000000039B1038> Routine failure. Fail ------------------------------------------------------------------------------- E_PROJECT melt @7 <000000000399B898> Routine failure. Fail ------------------------------------------------------------------------------- E_PROJECT quick_melt @3 <000000000399B898> Routine failure. Fail ------------------------------------------------------------------------------- EB_MELT_PROJECT_COMMAND perform_compilation @1 <00000000038C28E8> Routine failure. Fail ------------------------------------------------------------------------------- EB_MELT_PROJECT_COMMAND compile @5 <00000000038C28E8> Routine failure. Fail ------------------------------------------------------------------------------- EB_MELT_PROJECT_COMMAND compile_and_run @1 <00000000038C28E8> Routine failure. Fail ------------------------------------------------------------------------------- EB_MELT_PROJECT_COMMAND confirm_execution_halt @2 <00000000038C28E8> Routine failure. Fail ------------------------------------------------------------------------------- EB_MELT_PROJECT_COMMAND confirm_and_compile @1 <00000000038C28E8> Routine failure. Fail ------------------------------------------------------------------------------- EB_MELT_PROJECT_COMMAND compile_no_save @4 <00000000038C28E8> Routine failure. Fail ------------------------------------------------------------------------------- EB_MELT_PROJECT_COMMAND execute_with_c_compilation_flag @16 <00000000038C28E8> Routine failure. Fail ------------------------------------------------------------------------------- EB_MELT_PROJECT_COMMAND go_on_compile @1 <00000000038C28E8> Routine failure. Fail ------------------------------------------------------------------------------- EB_MELT_PROJECT_COMMAND execute @11 <00000000038C28E8> Routine failure. Fail ------------------------------------------------------------------------------- EV_NOTIFY_ACTION_SEQUENCE call @21 <0000000005B62DD8> (From ACTION_SEQUENCE) Routine failure. Fail ------------------------------------------------------------------------------- EV_NOTIFY_ACTION_SEQUENCE call @3 <0000000005B62DD8> (From EV_LITE_ACTION_SEQUENCE) Routine failure. Fail ------------------------------------------------------------------------------- EB_SD_COMMAND_TOOL_BAR_DUAL_POPUP_BUTTON on_pointer_release @7 <0000000005B629D8> (From SD_TOOL_BAR_DUAL_POPUP_BUTTON) Routine failure. Fail ------------------------------------------------------------------------------- SD_TOOL_BAR on_pointer_release @10 <0000000005FBF988> Routine failure. Fail ------------------------------------------------------------------------------- EV_POINTER_BUTTON_ACTION_SEQUENCE call @21 <0000000005FC0FF8> (From ACTION_SEQUENCE) Routine failure. Fail ------------------------------------------------------------------------------- EV_POINTER_BUTTON_ACTION_SEQUENCE call @3 <0000000005FC0FF8> (From EV_LITE_ACTION_SEQUENCE) Routine failure. Fail ------------------------------------------------------------------------------- SD_DRAWING_AREA_IMP call_pointer_actions @2 <0000000003890BB8> (From EV_WIDGET_IMP) Routine failure. Fail ------------------------------------------------------------------------------- SD_DRAWING_AREA_IMP on_button_up @5 <0000000003890BB8> (From EV_WIDGET_IMP) Routine failure. Fail ------------------------------------------------------------------------------- SD_DRAWING_AREA_IMP on_left_button_up @2 <0000000003890BB8> (From EV_WIDGET_IMP) Routine failure. Fail ------------------------------------------------------------------------------- SD_DRAWING_AREA_IMP window_process_message @11 <0000000003890BB8> (From WEL_WINDOW) Routine failure. Fail ------------------------------------------------------------------------------- SD_DRAWING_AREA_IMP process_message @22 <0000000003890BB8> (From WEL_COMPOSITE_WINDOW) Routine failure. Fail ------------------------------------------------------------------------------- WEL_DISPATCHER window_procedure @7 <0000000003709168> (From WEL_ABSTRACT_DISPATCHER) Routine failure. Fail ------------------------------------------------------------------------------- WEL_MSG dispatch @1 <0000000003653FE8> Routine failure. Fail ------------------------------------------------------------------------------- EV_APPLICATION_IMP process_message @10 <00000000036533F8> Routine failure. Fail ------------------------------------------------------------------------------- EV_APPLICATION_IMP process_underlying_toolkit_event_queue @7 <00000000036533F8> Routine failure. Fail ------------------------------------------------------------------------------- EV_APPLICATION_IMP process_event_queue @2 <00000000036533F8> (From EV_APPLICATION_I) Routine failure. Fail ------------------------------------------------------------------------------- EV_APPLICATION_IMP launch @3 <00000000036533F8> (From EV_APPLICATION_I) Routine failure. Fail ------------------------------------------------------------------------------- EV_APPLICATION launch @2 <00000000036533C8> Routine failure. Fail ------------------------------------------------------------------------------- ES_GRAPHIC make @4 <00000000036533A8> Routine failure. Fail ------------------------------------------------------------------------------- EB_KERNEL make @6 <0000000003653368> Routine failure. Fail ------------------------------------------------------------------------------- EB_KERNEL root's creation <0000000003653368> Routine failure. Exit -------------------------------------------------------------------------------
To Reproduce
Problem Report Interactions
It was because in ITERATION_CURSOR, there were still calls to `off' in preconditions of `item' and `forth' but the compiler did not reported any errors (meaning that it failed to redo the type checking on those routine. After exiting EiffelStudio, fixing those errors and recompiling, everything was fine.