PR# 19024 Feature call on void target in {E2B_HELPER}.feature_for_call_access in EVE.

Problem Report Summary
Submitter: manus_eiffel
Category: EiffelStudio
Priority: Medium
Date: 2015/01/29
Class: Bug
Severity: Serious
Number: 19024
Release: 14.11.9.6486
Confidential: No
Status: Open
Responsible:
Environment: EVE 14.11.9.6486 GPL Edition - win64
Synopsis: Feature call on void target in {E2B_HELPER}.feature_for_call_access in EVE.

Description

Project loaded: True
Project compiled: True
Is compiling: False
Last status message: AutoProof running

******************************** Thread exception *****************************
In thread           Root thread            0x0 (thread id)
*******************************************************************************
-------------------------------------------------------------------------------
Class / Object      Routine                Nature of exception           Effect
-------------------------------------------------------------------------------
E2B_HELPER          feature_for_call_access @2
<000000F74A2F5678>                         Feature call on void target.  Fail
-------------------------------------------------------------------------------
E2B_HELPER          feature_for_call_access @2
<000000F74A2F5678>                         Routine failure.              Fail
-------------------------------------------------------------------------------
E2B_CONTRACT_EXPRESSION_TRANSLATOR
                    process_feature_b @1   
<000000F7437D10E8>  (From E2B_EXPRESSION_TRANSLATOR)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
FEATURE_B           process @10                                         
<000000F74375BA48>                         Routine failure.              Fail
-------------------------------------------------------------------------------
E2B_CONTRACT_EXPRESSION_TRANSLATOR
                    safe_process @2        
<000000F7437D10E8>  (From BYTE_NODE_VISITOR)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
E2B_CONTRACT_EXPRESSION_TRANSLATOR
                    process_un_plus_b @1   
<000000F7437D10E8>  (From E2B_VISITOR)     Routine failure.              Fail
-------------------------------------------------------------------------------
UN_PLUS_B           process @1                                          
<000000F74375BA98>                         Routine failure.              Fail
-------------------------------------------------------------------------------
E2B_INSTRUCTION_TRANSLATOR
                    process_contract_expression @10
<000000F743774218>                         Routine failure.              Fail
-------------------------------------------------------------------------------
E2B_INSTRUCTION_TRANSLATOR
                    process_loop_variants @3
<000000F743774218>                         Routine failure.              Fail
-------------------------------------------------------------------------------
E2B_INSTRUCTION_TRANSLATOR
                    process_from_loop_normal @47
<000000F743774218>                         Routine failure.              Fail
-------------------------------------------------------------------------------
E2B_INSTRUCTION_TRANSLATOR
                    process_loop_normal @2 
<000000F743774218>                         Routine failure.              Fail
-------------------------------------------------------------------------------
E2B_INSTRUCTION_TRANSLATOR
                    process_loop_b @3      
<000000F743774218>                         Routine failure.              Fail
-------------------------------------------------------------------------------
LOOP_B              process @1                                          
<000000F74375CB18>                         Routine failure.              Fail
-------------------------------------------------------------------------------
E2B_INSTRUCTION_TRANSLATOR
                    safe_process @2        
<000000F743774218>  (From BYTE_NODE_VISITOR)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
E2B_INSTRUCTION_TRANSLATOR
                    process_byte_list @4   
<000000F743774218>  (From E2B_VISITOR)     Routine failure.              Fail
-------------------------------------------------------------------------------
BYTE_LIST           process @1                                          
<000000F74375CBB8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
E2B_INSTRUCTION_TRANSLATOR
                    safe_process @2        
<000000F743774218>  (From BYTE_NODE_VISITOR)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
E2B_INSTRUCTION_TRANSLATOR
                    process_compound @1    
<000000F743774218>                         Routine failure.              Fail
-------------------------------------------------------------------------------
E2B_ROUTINE_TRANSLATOR
                    translate_implementation @47
<000000F743773978>                         Routine failure.              Fail
-------------------------------------------------------------------------------
E2B_ROUTINE_TRANSLATOR
                    translate_routine_implementation @1
<000000F743773978>                         Routine failure.              Fail
-------------------------------------------------------------------------------
E2B_TU_ROUTINE_IMPLEMENTATION
                    translate @2           
<000000F7436C1178>                         Routine failure.              Fail
-------------------------------------------------------------------------------
E2B_TRANSLATOR      step @2                                             
<000000F743682068>                         Routine failure.              Fail
-------------------------------------------------------------------------------
E2B_TRANSLATE_CHUNK_TASK
                    step @3                
<000000F743682048>                         Routine failure.              Fail
-------------------------------------------------------------------------------
E2B_BULK_VERIFICATION_TASK
                    step @2                
<000000F743681C48>  (From ROTA_SERIAL_TASK_I)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EV_ROTA             perform_step @1                                     
<000000F748E74E58>  (From ROTA_TASK_COLLECTION_I)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EV_ROTA             perform_step @5                                     
<000000F748E74E58>  (From ROTA)            Routine failure.              Fail
-------------------------------------------------------------------------------
EV_ROTA             proceed_current_task @5
<000000F748E74E58>  (From ROTA_TASK_COLLECTION_I)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EV_ROTA             proceed_all_tasks @3                                
<000000F748E74E58>  (From ROTA_TASK_COLLECTION_I)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EV_ROTA             loop_to_next_pause @7                               
<000000F748E74E58>                         Routine failure.              Fail
-------------------------------------------------------------------------------
PROCEDURE           call @4                                             
<000000F7436C1C68>                         Routine failure.              Fail
-------------------------------------------------------------------------------
PROCEDURE           apply @1                                            
<000000F7436C1C68>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP  call_separate_action @1
<000000F744233518>  (From EV_APPLICATION_I)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP  process_event_queue @48
<000000F744233518>  (From EV_APPLICATION_I)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EV_APPLICATION_HANDLER
                    process_application_event_queue @1
<000000F7442342F8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EV_APPLICATION_HANDLER
                    launch @4              
<000000F7442342F8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EV_APPLICATION      internal_launch_application @3
<000000F744233878>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EV_APPLICATION      launch @2                                           
<000000F744233878>                         Routine failure.              Fail
-------------------------------------------------------------------------------
ES_GRAPHIC          make @4                                             
<000000F744233858>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_KERNEL           make @4                                             
<000000F7440E4C48>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_KERNEL           root's creation                                     
<000000F7440E4C48>                         Routine failure.              Exit
-------------------------------------------------------------------------------
To Reproduce

										
Problem Report Interactions
From:manus_eiffel    Date:2015/01/29    Download   
attached the file that causes the issue

Attachment: binary_search.e     Size:2109