PR# 17219 Feature call on void target in {AST_FEATURE_CHECKER_GENERATOR}.process_inherited_assertions in Eiffe

Problem Report Summary
Submitter: manus_eiffel
Category: EiffelStudio
Priority: Medium
Date: 2010/12/09
Class: Bug
Severity: Serious
Number: 17219
Release: 6.7.8.5049
Confidential: No
Status: Open
Responsible:
Environment: EiffelStudio 6.7.8.5049 GPL Edition - win64
Synopsis: Feature call on void target in {AST_FEATURE_CHECKER_GENERATOR}.process_inherited_assertions in Eiffe

Description
I made an update and it crashed while processing FILE_WINDOW. I crashed when I updated to rev#85106 and here the list of files that were updated:

framework\configuration\parser\load\conf_load_parse_callbacks.e
framework\configuration\parser\interface\conf_constants.e
framework\configuration\parser\interface\conf_interface_names.e
framework\configuration\parser\interface\conf_validity.e
framework\configuration\parser\interface\conf_target.e
framework\configuration\parser\interface\conf_condition.e
framework\configuration\parser\interface\conf_state.e
framework\configuration\parser\interface\conf_version.e
library\base\base-safe.ecf
C\run-time\Makefile.SH
C\run-time\makefile-win.sh
Eiffel\interface\new_graphical\case_tool\helper\eb_diagram_html_generator.e
Eiffel\flat_short\bench\text_filter.e
Eiffel\eiffel\interface\universe_i.e
Eiffel\case\documentation\main\documentation_routines.e
Eiffel\case\documentation\main\documentation.e

Project loaded: True
Project compiled: True
Is compiling: False
Last known class processed: FILE_WINDOW
Last status message: Degree 3: Checking Types (62/464): FILE_WINDOW

******************************** Thread exception *****************************
In thread           Root thread            0x0 (thread id)
*******************************************************************************
-------------------------------------------------------------------------------
Class / Object      Routine                Nature of exception           Effect
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    process_inherited_assertions @21
<0000000007D48D88>                         Feature call on void target.  Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    process_inherited_assertions @21
<0000000007D48D88>                         Routine failure.              Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    type_check_only @14    
<0000000007D48D88>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EIFFEL_CLASS_C      pass3 @123                                          
<000000001123BFC8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
DEGREE_3            process_class @3                                    
<0000000007075BA8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
DEGREE_3            execute @20                                         
<0000000007075BA8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
SYSTEM_I            process_degree_3 @2                                 
<000000001A7E0A08>                         Routine failure.              Fail
-------------------------------------------------------------------------------
SYSTEM_I            do_recompilation @50                                
<000000001A7E0A08>                         Routine failure.              Fail
-------------------------------------------------------------------------------
SYSTEM_I            recompile @7                                        
<000000001A7E0A08>                         Routine failure.              Fail
-------------------------------------------------------------------------------
WORKBENCH_I         recompile @23                                       
<00000000032F1028>                         Routine failure.              Fail
-------------------------------------------------------------------------------
E_PROJECT           melt @7                                             
<0000000003269E78>                         Routine failure.              Fail
-------------------------------------------------------------------------------
E_PROJECT           finalize @2                                         
<0000000003269E78>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_FINALIZE_PROJECT_COMMAND
                    perform_compilation @1 
<0000000002FA0598>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_FINALIZE_PROJECT_COMMAND
                    compile @5             
<0000000002FA0598>  (From EB_MELT_PROJECT_COMMAND)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EB_FINALIZE_PROJECT_COMMAND
                    compile_and_run @1     
<0000000002FA0598>  (From EB_MELT_PROJECT_COMMAND)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EB_FINALIZE_PROJECT_COMMAND
                    confirm_execution_halt @2
<0000000002FA0598>  (From EB_MELT_PROJECT_COMMAND)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EB_FINALIZE_PROJECT_COMMAND
                    set_assertion_flag_and_compile @4
<0000000002FA0598>                         Routine failure.              Fail
-------------------------------------------------------------------------------
ES_DISCARDABLE_QUESTION_PROMPT
                    on_dialog_button_pressed @9
<0000000006F547D8>  (From ES_DIALOG)       Routine failure.              Fail
-------------------------------------------------------------------------------
ES_DISCARDABLE_QUESTION_PROMPT
                    show_on_active_window @3
<0000000006F547D8>  (From ES_DISCARDABLE_PROMPT)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EB_FINALIZE_PROJECT_COMMAND
                    ask_for_assertions @6  
<0000000002FA0598>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_FINALIZE_PROJECT_COMMAND
                    set_c_compilation_and_compile @2
<0000000002FA0598>                         Routine failure.              Fail
-------------------------------------------------------------------------------
ES_DISCARDABLE_WARNING_PROMPT
                    on_dialog_button_pressed @9
<0000000007281AB8>  (From ES_DIALOG)       Routine failure.              Fail
-------------------------------------------------------------------------------
ES_DISCARDABLE_WARNING_PROMPT
                    show_on_active_window @3
<0000000007281AB8>  (From ES_DISCARDABLE_PROMPT)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EB_FINALIZE_PROJECT_COMMAND
                    confirm_and_compile @5 
<0000000002FA0598>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_FINALIZE_PROJECT_COMMAND
                    compile_no_save @4     
<0000000002FA0598>  (From EB_MELT_PROJECT_COMMAND)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EB_FINALIZE_PROJECT_COMMAND
                    execute_with_c_compilation_flag @16
<0000000002FA0598>  (From EB_MELT_PROJECT_COMMAND)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EB_FINALIZE_PROJECT_COMMAND
                    go_on_compile @1       
<0000000002FA0598>  (From EB_MELT_PROJECT_COMMAND)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EB_FINALIZE_PROJECT_COMMAND
                    execute @11            
<0000000002FA0598>  (From EB_MELT_PROJECT_COMMAND)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EV_NOTIFY_ACTION_SEQUENCE
                    call @21               
<00000000031F0EE8>  (From ACTION_SEQUENCE) Routine failure.              Fail
-------------------------------------------------------------------------------
EV_NOTIFY_ACTION_SEQUENCE
                    call @3                
<00000000031F0EE8>  (From EV_LITE_ACTION_SEQUENCE)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EV_MENU_ITEM_IMP    on_activate @2                                      
<00000000031F0DB8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EV_MENU_BAR_IMP     menu_item_clicked @4                                
<00000000030CC468>  (From EV_MENU_ITEM_LIST_IMP)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EV_TITLED_WINDOW_IMP
                    on_menu_command @3     
<0000000002FC18E8>  (From EV_WINDOW_IMP)   Routine failure.              Fail
-------------------------------------------------------------------------------
EV_TITLED_WINDOW_IMP
                    on_wm_menu_command @1  
<0000000002FC18E8>  (From WEL_COMPOSITE_WINDOW)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EV_TITLED_WINDOW_IMP
                    on_wm_command @16      
<0000000002FC18E8>  (From WEL_COMPOSITE_WINDOW)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EV_TITLED_WINDOW_IMP
                    process_message @8     
<0000000002FC18E8>  (From WEL_COMPOSITE_WINDOW)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
WEL_DISPATCHER      window_procedure @7                                 
<000000000316FD98>  (From WEL_ABSTRACT_DISPATCHER)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
WEL_MSG             dispatch @1                                         
<00000000030F0D18>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP  process_message @10                                 
<00000000030F0128>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP  process_underlying_toolkit_event_queue @7
<00000000030F0128>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP  process_event_queue @2                              
<00000000030F0128>  (From EV_APPLICATION_I)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP  launch @3                                           
<00000000030F0128>  (From EV_APPLICATION_I)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EV_APPLICATION      launch @2                                           
<00000000030F00F8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
ES_GRAPHIC          make @4                                             
<00000000030F00D8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_KERNEL           make @4                                             
<0000000002FD29D8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_KERNEL           root's creation                                     
<0000000002FD29D8>                         Routine failure.              Exit
-------------------------------------------------------------------------------
To Reproduce

										
Problem Report Interactions