PR# 16709 Assertion violated Tag: has_body in {INHERIT_TABLE}.feature_i_from_feature_as in EiffelStudio.
Problem Report Summary
Submitter: manus_eiffel
Category: EiffelStudio
Priority: Medium
Date: 2010/04/21
Class: Bug
Severity: Non-critical
Number: 16709
Release: 6.6.0.0
Confidential: No
Status: Analyzed
Responsible:
Environment: EiffelStudio 6.6.0.0 GPL Edition - linux-x86-64
Synopsis: Assertion violated Tag: has_body in {INHERIT_TABLE}.feature_i_from_feature_as in EiffelStudio.
Description
Compile from scratch on Linux and simply do a white space modification of the ES class, then compile.
Project loaded: True
Project compiled: True
Is compiling: False
Last known class processed: ES
Last status message: Degree 4: Analyzing Inheritance: ES
******************************** Thread exception *****************************
In thread Root thread 0x0 (thread id)
*******************************************************************************
-------------------------------------------------------------------------------
Class / Object Routine Nature of exception Effect
-------------------------------------------------------------------------------
INHERIT_TABLE feature_i_from_feature_as @29
has_body:
<000000001825EF18> Assertion violated. Fail
-------------------------------------------------------------------------------
INHERIT_TABLE feature_i_from_feature_as @29
<000000001825EF18> Routine failure. Fail
-------------------------------------------------------------------------------
INHERIT_TABLE analyze_declarations @17
<000000001825EF18> Routine failure. Fail
-------------------------------------------------------------------------------
INHERIT_TABLE pass2 @31
<000000001825EF18> Routine failure. Fail
-------------------------------------------------------------------------------
DEGREE_4 process_class @12
<00007FFFED941C48> Routine failure. Fail
-------------------------------------------------------------------------------
DEGREE_4 execute @38
<00007FFFED941C48> Routine failure. Fail
-------------------------------------------------------------------------------
SYSTEM_I process_degree_4 @1
<00007FFFEE9277C8> Routine failure. Fail
-------------------------------------------------------------------------------
SYSTEM_I do_recompilation @53
<00007FFFEE9277C8> Routine failure. Fail
-------------------------------------------------------------------------------
SYSTEM_I recompile @8
<00007FFFEE9277C8> Routine failure. Fail
-------------------------------------------------------------------------------
WORKBENCH_I recompile @23
<00007FFFF0677048> Routine failure. Fail
-------------------------------------------------------------------------------
E_PROJECT melt @8
<00007FFFF05C5A18> Routine failure. Fail
-------------------------------------------------------------------------------
E_PROJECT quick_melt @4
<00007FFFF05C5A18> Routine failure. Fail
-------------------------------------------------------------------------------
EB_MELT_PROJECT_COMMAND
perform_compilation @1
<00007FFFF05133E8> Routine failure. Fail
-------------------------------------------------------------------------------
EB_MELT_PROJECT_COMMAND
compile @5
<00007FFFF05133E8> Routine failure. Fail
-------------------------------------------------------------------------------
EB_MELT_PROJECT_COMMAND
compile_and_run @1
<00007FFFF05133E8> Routine failure. Fail
-------------------------------------------------------------------------------
EB_MELT_PROJECT_COMMAND
confirm_execution_halt @2
<00007FFFF05133E8> Routine failure. Fail
-------------------------------------------------------------------------------
EB_MELT_PROJECT_COMMAND
confirm_and_compile @1
<00007FFFF05133E8> Routine failure. Fail
-------------------------------------------------------------------------------
EB_MELT_PROJECT_COMMAND
compile_no_save @4
<00007FFFF05133E8> Routine failure. Fail
-------------------------------------------------------------------------------
EB_MELT_PROJECT_COMMAND
save_and_compile @2
<00007FFFF05133E8> Routine failure. Fail
-------------------------------------------------------------------------------
PROCEDURE fast_call
<00007FFFF0D613A8> Routine failure. Fail
-------------------------------------------------------------------------------
PROCEDURE call @5
<00007FFFF0D613A8> Routine failure. Fail
-------------------------------------------------------------------------------
ES_DISCARDABLE_COMPILE_SAVE_FILES_PROMPT
on_dialog_button_pressed @13
<00007FFFF0D5FD58> (From ES_DIALOG) Routine failure. Fail
-------------------------------------------------------------------------------
ES_DISCARDABLE_COMPILE_SAVE_FILES_PROMPT
show_on_active_window @4
<00007FFFF0D5FD58> (From ES_DISCARDABLE_PROMPT)
Routine failure. Fail
-------------------------------------------------------------------------------
EB_MELT_PROJECT_COMMAND
execute_with_c_compilation_flag @15
<00007FFFF05133E8> Routine failure. Fail
-------------------------------------------------------------------------------
EB_MELT_PROJECT_COMMAND
go_on_compile @1
<00007FFFF05133E8> Routine failure. Fail
-------------------------------------------------------------------------------
EB_MELT_PROJECT_COMMAND
execute @14
<00007FFFF05133E8> Routine failure. Fail
-------------------------------------------------------------------------------
PROCEDURE fast_call
<00007FFFF0619D98> Routine failure. Fail
-------------------------------------------------------------------------------
PROCEDURE call @5
<00007FFFF0619D98> Routine failure. Fail
-------------------------------------------------------------------------------
EV_NOTIFY_ACTION_SEQUENCE
call @21
<00007FFFF0619CD8> (From ACTION_SEQUENCE) Routine failure. Fail
-------------------------------------------------------------------------------
EV_NOTIFY_ACTION_SEQUENCE
call @3
<00007FFFF0619CD8> (From EV_LITE_ACTION_SEQUENCE)
Routine failure. Fail
-------------------------------------------------------------------------------
PROCEDURE fast_call
<00007FFFF0BE17D8> Routine failure. Fail
-------------------------------------------------------------------------------
PROCEDURE call @5
<00007FFFF0BE17D8> Routine failure. Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP process_event_queue @53
<00007FFFF04022B8> (From EV_APPLICATION_I)
Routine failure. Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP launch @3
<00007FFFF04022B8> (From EV_APPLICATION_I)
Routine failure. Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP launch @2
<00007FFFF04022B8> Routine failure. Fail
-------------------------------------------------------------------------------
EV_APPLICATION launch @4
<00007FFFF0402288> Routine failure. Fail
-------------------------------------------------------------------------------
ES_GRAPHIC make @4
<00007FFFF0402268> Routine failure. Fail
-------------------------------------------------------------------------------
EB_KERNEL make @6
<00007FFFF0402228> Routine failure. Fail
-------------------------------------------------------------------------------
EB_KERNEL root's creation
<00007FFFF0402228> Routine failure. Exit
-------------------------------------------------------------------------------
To Reproduce
Problem Report Interactions
Not that simple to reproduce actually.