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