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
From:manus_eiffel    Date:2015/01/29    Download   
Class causing the crash.

Attachment: ring_buffer.e     Size:3278