PR# 16715 Feature call on void target in {BYTE_CONTEXT}.constrained_type_in in EiffelStudio.
Problem Report Summary
Submitter: manus_eiffel
Category: EiffelStudio
Priority: Medium
Date: 2010/04/23
Class: Bug
Severity: Critical
Number: 16715
Release: 6.6.8.2736
Confidential: No
Status: Analyzed
Responsible:
Environment: EiffelStudio 6.6.8.2736 GPL Edition - win64
Synopsis: Feature call on void target in {BYTE_CONTEXT}.constrained_type_in in EiffelStudio.
Description
This crash happens when freezing from scratch with the code integrated at rev#82928.
Project loaded: True
Project compiled: True
Is compiling: False
Last known class processed: ES_EDITOR_ANALYZER_FEATURE_STATE_BASE
Last status message: Degree -1: Generating Code (514/665): ES_EDITOR_ANALYZER_FEATURE_STATE_BASE
******************************** Thread exception *****************************
In thread Root thread 0x0 (thread id)
*******************************************************************************
-------------------------------------------------------------------------------
Class / Object Routine Nature of exception Effect
-------------------------------------------------------------------------------
BYTE_CONTEXT constrained_type_in @5
<000000000646EE18> Feature call on void target. Fail
-------------------------------------------------------------------------------
BYTE_CONTEXT constrained_type_in @5
<000000000646EE18> Routine failure. Fail
-------------------------------------------------------------------------------
OBJECT_TEST_LOCAL_BL
real_type @1
<0000000002D63BE8> (From BYTE_NODE) Routine failure. Fail
-------------------------------------------------------------------------------
OBJECT_TEST_LOCAL_BL
c_type @1
<0000000002D63BE8> (From EXPR_B) Routine failure. Fail
-------------------------------------------------------------------------------
BYTE_CONTEXT generate_gc_hooks @17
<000000000646EE18> Routine failure. Fail
-------------------------------------------------------------------------------
STD_BYTE_CODE generate @33
<0000000002D61EB8> Routine failure. Fail
-------------------------------------------------------------------------------
DYN_FUNC_I generate @15
<0000000002D59E38> (From FEATURE_I) Routine failure. Fail
-------------------------------------------------------------------------------
CLASS_TYPE generate_feature @1
<000000000CE23678> Routine failure. Fail
-------------------------------------------------------------------------------
CLASS_TYPE pass4 @75
<000000000CE23678> Routine failure. Fail
-------------------------------------------------------------------------------
TYPE_LIST pass4 @4
<000000000CE23728> Routine failure. Fail
-------------------------------------------------------------------------------
EIFFEL_CLASS_C generate_workbench_files @4
<000000000CE24938> Routine failure. Fail
-------------------------------------------------------------------------------
DEGREE_MINUS_1 execute @36
<0000000015E9B918> Routine failure. Fail
-------------------------------------------------------------------------------
SYSTEM_I process_degree_minus_1 @1
<00000000179B4D18> Routine failure. Fail
-------------------------------------------------------------------------------
SYSTEM_I freeze_system @14
<00000000179B4D18> Routine failure. Fail
-------------------------------------------------------------------------------
SYSTEM_I do_recompilation @75
<00000000179B4D18> Routine failure. Fail
-------------------------------------------------------------------------------
SYSTEM_I recompile @7
<00000000179B4D18> Routine failure. Fail
-------------------------------------------------------------------------------
WORKBENCH_I recompile @23
<00000000039B10C8> Routine failure. Fail
-------------------------------------------------------------------------------
E_PROJECT melt @7
<000000000399B928> Routine failure. Fail
-------------------------------------------------------------------------------
E_PROJECT freeze @2
<000000000399B928> Routine failure. Fail
-------------------------------------------------------------------------------
EB_FREEZE_PROJECT_COMMAND
perform_compilation @1
<00000000038C3E18> Routine failure. Fail
-------------------------------------------------------------------------------
EB_FREEZE_PROJECT_COMMAND
compile @5
<00000000038C3E18> (From EB_MELT_PROJECT_COMMAND)
Routine failure. Fail
-------------------------------------------------------------------------------
EB_FREEZE_PROJECT_COMMAND
compile_and_run @1
<00000000038C3E18> (From EB_MELT_PROJECT_COMMAND)
Routine failure. Fail
-------------------------------------------------------------------------------
EB_FREEZE_PROJECT_COMMAND
confirm_execution_halt @2
<00000000038C3E18> (From EB_MELT_PROJECT_COMMAND)
Routine failure. Fail
-------------------------------------------------------------------------------
EB_FREEZE_PROJECT_COMMAND
set_c_compilation_and_compile @2
<00000000038C3E18> Routine failure. Fail
-------------------------------------------------------------------------------
ES_DISCARDABLE_WARNING_PROMPT
on_dialog_button_pressed @9
<00000000081385E8> (From ES_DIALOG) Routine failure. Fail
-------------------------------------------------------------------------------
ES_DISCARDABLE_WARNING_PROMPT
show_on_active_window @3
<00000000081385E8> (From ES_DISCARDABLE_PROMPT)
Routine failure. Fail
-------------------------------------------------------------------------------
EB_FREEZE_PROJECT_COMMAND
confirm_and_compile @5
<00000000038C3E18> Routine failure. Fail
-------------------------------------------------------------------------------
EB_FREEZE_PROJECT_COMMAND
compile_no_save @4
<00000000038C3E18> (From EB_MELT_PROJECT_COMMAND)
Routine failure. Fail
-------------------------------------------------------------------------------
EB_FREEZE_PROJECT_COMMAND
execute_with_c_compilation_flag @16
<00000000038C3E18> (From EB_MELT_PROJECT_COMMAND)
Routine failure. Fail
-------------------------------------------------------------------------------
EB_FREEZE_PROJECT_COMMAND
go_on_compile @1
<00000000038C3E18> (From EB_MELT_PROJECT_COMMAND)
Routine failure. Fail
-------------------------------------------------------------------------------
EB_FREEZE_PROJECT_COMMAND
execute @11
<00000000038C3E18> (From EB_MELT_PROJECT_COMMAND)
Routine failure. Fail
-------------------------------------------------------------------------------
EV_NOTIFY_ACTION_SEQUENCE
call @21
<000000000380AFB8> (From ACTION_SEQUENCE) Routine failure. Fail
-------------------------------------------------------------------------------
EV_NOTIFY_ACTION_SEQUENCE
call @3
<000000000380AFB8> (From EV_LITE_ACTION_SEQUENCE)
Routine failure. Fail
-------------------------------------------------------------------------------
EV_MENU_ITEM_IMP on_activate @2
<000000000380AE88> Routine failure. Fail
-------------------------------------------------------------------------------
EV_MENU_BAR_IMP menu_item_clicked @4
<0000000003809488> (From EV_MENU_ITEM_LIST_IMP)
Routine failure. Fail
-------------------------------------------------------------------------------
EV_TITLED_WINDOW_IMP
on_menu_command @3
<000000000363B748> (From EV_WINDOW_IMP) Routine failure. Fail
-------------------------------------------------------------------------------
EV_TITLED_WINDOW_IMP
on_wm_menu_command @1
<000000000363B748> (From WEL_COMPOSITE_WINDOW)
Routine failure. Fail
-------------------------------------------------------------------------------
EV_TITLED_WINDOW_IMP
on_wm_command @16
<000000000363B748> (From WEL_COMPOSITE_WINDOW)
Routine failure. Fail
-------------------------------------------------------------------------------
EV_TITLED_WINDOW_IMP
process_message @8
<000000000363B748> (From WEL_COMPOSITE_WINDOW)
Routine failure. Fail
-------------------------------------------------------------------------------
WEL_DISPATCHER window_procedure @7
<0000000003709108> (From WEL_ABSTRACT_DISPATCHER)
Routine failure. Fail
-------------------------------------------------------------------------------
WEL_MSG dispatch @1
<0000000003653FD8> 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
Commenting out the postcondition of {ES_EDITOR_ANALYZER_STATE}.is_valid_state_info is enough to remove the crash:
is_valid_state_info (a_info: ES_EDITOR_ANALYZER_STATE_INFO): BOOLEAN
-- Detemines if a given state info object is valid for Current.
--
-- `a_info': The info object to test for validity.
-- `Result': True if the given object was valid; False otherwise.
require
a_info_attached: a_info /= Void
do
Result := attached {G} a_info
ensure
-- non_generic_cat_call: Result implies attached {G} a_info
end