PR# 15367 Feature call on void target in {AST_FEATURE_CHECKER_GENERATOR}.type_check_and_code in EiffelStudio.

Problem Report Summary
Submitter: manus_eiffel
Category: EiffelStudio
Priority: Medium
Date: 2009/02/05
Class: Bug
Severity: Serious
Number: 15367
Release: 6.4.7.6946
Confidential: No
Status: Open
Responsible:
Environment: EiffelStudio 6.4.7.6946 GPL Edition - win64
Synopsis: Feature call on void target in {AST_FEATURE_CHECKER_GENERATOR}.type_check_and_code in EiffelStudio.

Description
Compile the Eiffel Matrix Code Generator with `slice_matrix' being !STRING. You should get an error. Fix it by adding a ! to `{ARGUMENT_OPTION}.value. Compile and it works ok. Now remove the ! to {ARGMENT_OPTION}.value and recompile. This is where you get the crash.

Note that because you are editing the argument library, you have to compile with the Find new classes option otherwise it doesn't do anything.

******************************** Thread exception *****************************
In thread           Root thread            0x0 (thread id)
*******************************************************************************
-------------------------------------------------------------------------------
Class / Object      Routine                Nature of exception           Effect
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    type_check_and_code @13
<000000000E171A68>                         Feature call on void target.  Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
                    type_check_and_code @13
<000000000E171A68>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EIFFEL_CLASS_C      pass3 @58                                           
<00000000057C5678>                         Routine failure.              Fail
-------------------------------------------------------------------------------
DEGREE_3            process_class @3                                    
<0000000007E82DD8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
DEGREE_3            execute @20                                         
<0000000007E82DD8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
SYSTEM_I            process_degree_3 @2                                 
<00000000081FE8D8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
SYSTEM_I            do_recompilation @55                                
<00000000081FE8D8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
SYSTEM_I            recompile @6                                        
<00000000081FE8D8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
WORKBENCH_I         recompile @23                                       
<000000000383A568>                         Routine failure.              Fail
-------------------------------------------------------------------------------
E_PROJECT           melt @6                                             
<0000000003825488>                         Routine failure.              Fail
-------------------------------------------------------------------------------
E_PROJECT           discover_melt @3                                    
<0000000003825488>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_DISCOVER_AND_MELT_COMMAND
                    perform_compilation @1 
<000000000375C2B8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_DISCOVER_AND_MELT_COMMAND
                    compile @4             
<000000000375C2B8>  (From EB_MELT_PROJECT_COMMAND)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EB_DISCOVER_AND_MELT_COMMAND
                    compile_and_run @1     
<000000000375C2B8>  (From EB_MELT_PROJECT_COMMAND)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EB_DISCOVER_AND_MELT_COMMAND
                    confirm_execution_halt @2
<000000000375C2B8>  (From EB_MELT_PROJECT_COMMAND)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EB_DISCOVER_AND_MELT_COMMAND
                    confirm_and_compile @1 
<000000000375C2B8>  (From EB_MELT_PROJECT_COMMAND)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EB_DISCOVER_AND_MELT_COMMAND
                    compile_no_save @4     
<000000000375C2B8>  (From EB_MELT_PROJECT_COMMAND)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EB_DISCOVER_AND_MELT_COMMAND
                    execute_with_c_compilation_flag @16
<000000000375C2B8>  (From EB_MELT_PROJECT_COMMAND)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EB_DISCOVER_AND_MELT_COMMAND
                    go_on_compile @2       
<000000000375C2B8>  (From EB_MELT_PROJECT_COMMAND)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EB_DISCOVER_AND_MELT_COMMAND
                    execute @8             
<000000000375C2B8>  (From EB_MELT_PROJECT_COMMAND)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EV_NOTIFY_ACTION_SEQUENCE
                    call @21               
<0000000003890038>  (From ACTION_SEQUENCE) Routine failure.              Fail
-------------------------------------------------------------------------------
EV_NOTIFY_ACTION_SEQUENCE
                    call @3                
<0000000003890038>  (From EV_LITE_ACTION_SEQUENCE)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EV_MENU_ITEM_IMP    on_activate @2                                      
<000000000388FF08>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EV_MENU_BAR_IMP     menu_item_clicked @4                                
<0000000005080668>  (From EV_MENU_ITEM_LIST_IMP)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EV_TITLED_WINDOW_IMP
                    on_menu_command @3     
<0000000003718F48>  (From EV_WINDOW_IMP)   Routine failure.              Fail
-------------------------------------------------------------------------------
EV_TITLED_WINDOW_IMP
                    on_wm_menu_command @1  
<0000000003718F48>  (From WEL_COMPOSITE_WINDOW)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EV_TITLED_WINDOW_IMP
                    on_wm_command @16      
<0000000003718F48>  (From WEL_COMPOSITE_WINDOW)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EV_TITLED_WINDOW_IMP
                    process_message @8     
<0000000003718F48>  (From WEL_COMPOSITE_WINDOW)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
WEL_DISPATCHER      window_procedure @7                                 
<00000000036538B8>  (From WEL_ABSTRACT_DISPATCHER)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
WEL_MSG             dispatch @1                                         
<0000000003653B48>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP  process_message @10                                 
<0000000003652ED8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP  process_underlying_toolkit_event_queue @7
<0000000003652ED8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP  process_event_queue @2                              
<0000000003652ED8>  (From EV_APPLICATION_I)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP  launch @3                                           
<0000000003652ED8>  (From EV_APPLICATION_I)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EV_APPLICATION      launch @2                                           
<0000000003652EA8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
ES_GRAPHIC          make @4                                             
<0000000003652E88>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_KERNEL           make @5                                             
<0000000003652E48>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_KERNEL           root's creation                                     
<0000000003652E48>                         Routine failure.              Exit
-------------------------------------------------------------------------------
To Reproduce

										
Problem Report Interactions