PR# 19025 Operating system signal in {E2B_HELPER}.class_type_in_context in EVE.
Problem Report Summary
Submitter: manus_eiffel
Category: EiffelStudio
Priority: Medium
Date: 2015/01/29
Class: Bug
Severity: Serious
Number: 19025
Release: 14.11.9.6486
Confidential: No
Status: Open
Responsible:
Environment: EVE 14.11.9.6486 GPL Edition - win64
Synopsis: Operating system signal in {E2B_HELPER}.class_type_in_context in EVE.
Description
Trying to verify RING_BUFFER:
Project loaded: True
Project compiled: True
Is compiling: False
Last status message: Translating Eiffel to Boogie (69/116 elements remaining)
******************************** Thread exception *****************************
In thread Root thread 0x0 (thread id)
*******************************************************************************
-------------------------------------------------------------------------------
Class / Object Routine Nature of exception Effect
-------------------------------------------------------------------------------
E2B_HELPER class_type_in_context @1
Segmentation violation:
<000000BFF8457278> Operating system signal. Fail
-------------------------------------------------------------------------------
E2B_HELPER class_type_in_context @1
<000000BFF8457278> Routine failure. Fail
-------------------------------------------------------------------------------
E2B_ROUTINE_TRANSLATOR
frame_definition @15
<000000BFF2CD3F98> (From E2B_ROUTINE_TRANSLATOR_BASE)
Routine failure. Fail
-------------------------------------------------------------------------------
E2B_ROUTINE_TRANSLATOR
translate_frame_function @34
<000000BFF2CD3F98> Routine failure. Fail
-------------------------------------------------------------------------------
E2B_TU_WRITE_FRAME translate @2
<000000BFF29A23F8> Routine failure. Fail
-------------------------------------------------------------------------------
E2B_TRANSLATOR step @2
<000000BFFACDCBD8> Routine failure. Fail
-------------------------------------------------------------------------------
E2B_TRANSLATE_CHUNK_TASK
step @3
<000000BFFACDCBB8> Routine failure. Fail
-------------------------------------------------------------------------------
E2B_BULK_VERIFICATION_TASK
step @2
<000000BFFACDCA48> (From ROTA_SERIAL_TASK_I)
Routine failure. Fail
-------------------------------------------------------------------------------
EV_ROTA perform_step @1
<000000BFFB73CBD8> (From ROTA_TASK_COLLECTION_I)
Routine failure. Fail
-------------------------------------------------------------------------------
EV_ROTA perform_step @5
<000000BFFB73CBD8> (From ROTA) Routine failure. Fail
-------------------------------------------------------------------------------
EV_ROTA proceed_current_task @5
<000000BFFB73CBD8> (From ROTA_TASK_COLLECTION_I)
Routine failure. Fail
-------------------------------------------------------------------------------
EV_ROTA proceed_all_tasks @3
<000000BFFB73CBD8> (From ROTA_TASK_COLLECTION_I)
Routine failure. Fail
-------------------------------------------------------------------------------
EV_ROTA loop_to_next_pause @7
<000000BFFB73CBD8> Routine failure. Fail
-------------------------------------------------------------------------------
PROCEDURE call @4
<000000BFFACF1F48> Routine failure. Fail
-------------------------------------------------------------------------------
PROCEDURE apply @1
<000000BFFACF1F48> Routine failure. Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP call_separate_action @1
<000000BFF36B7AE8> (From EV_APPLICATION_I)
Routine failure. Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP process_event_queue @48
<000000BFF36B7AE8> (From EV_APPLICATION_I)
Routine failure. Fail
-------------------------------------------------------------------------------
EV_APPLICATION_HANDLER
process_application_event_queue @1
<000000BFF36B88C8> Routine failure. Fail
-------------------------------------------------------------------------------
EV_APPLICATION_HANDLER
launch @4
<000000BFF36B88C8> Routine failure. Fail
-------------------------------------------------------------------------------
EV_APPLICATION internal_launch_application @3
<000000BFF36B7E48> Routine failure. Fail
-------------------------------------------------------------------------------
EV_APPLICATION launch @2
<000000BFF36B7E48> Routine failure. Fail
-------------------------------------------------------------------------------
ES_GRAPHIC make @4
<000000BFF36B7E28> Routine failure. Fail
-------------------------------------------------------------------------------
EB_KERNEL make @4
<000000BFF3569218> Routine failure. Fail
-------------------------------------------------------------------------------
EB_KERNEL root's creation
<000000BFF3569218> Routine failure. Exit
-------------------------------------------------------------------------------
To Reproduce
Problem Report Interactions