PR# 18818 Operating system signal in {TYPE_A_CHECKER}.check_and_solved in EiffelStudio.
Problem Report Summary
Submitter: manus_eiffel
Category: EiffelStudio
Priority: Medium
Date: 2014/02/20
Class: Bug
Severity: Serious
Number: 18818
Release: 14.05.0.0
Confidential: No
Status: Open
Responsible:
Environment: EiffelStudio 14.05.0.0 GPL Edition - win64
Synopsis: Operating system signal in {TYPE_A_CHECKER}.check_and_solved in EiffelStudio.
Description
Got this crash in 2 steps:
- Compile rev#94412
- Update to rev#94414
The 2 changes are:
- One ECF has a UUID change
- One class had its return type modified.
Project loaded: True
Project compiled: False
Is compiling: False
Last known class processed: IL_CODE_GENERATOR
Last status message: Degree 3: Checking Types (759/2406): IL_CODE_GENERATOR
******************************** Thread exception *****************************
In thread Root thread 0x0 (thread id)
*******************************************************************************
-------------------------------------------------------------------------------
Class / Object Routine Nature of exception Effect
-------------------------------------------------------------------------------
TYPE_A_CHECKER check_and_solved @4 Segmentation violation:
<000000000BBE5FB8> Operating system signal. Fail
-------------------------------------------------------------------------------
TYPE_A_CHECKER check_and_solved @4
<000000000BBE5FB8> Routine failure. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
check_type @7
<000000000BBE5E28> Routine failure. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
process_class_type_as @1
<000000000BBE5E28> Routine failure. Fail
-------------------------------------------------------------------------------
CLASS_TYPE_AS process @1
<0000000007986F58> Routine failure. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
process_static_access_as @2
<000000000BBE5E28> Routine failure. Fail
-------------------------------------------------------------------------------
STATIC_ACCESS_AS process @1
<0000000007986ED8> Routine failure. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
process_expr_call_as @2
<000000000BBE5E28> Routine failure. Fail
-------------------------------------------------------------------------------
EXPR_CALL_AS process @1
<0000000007986EB8> Routine failure. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
process_bin_eq_as @6
<000000000BBE5E28> Routine failure. Fail
-------------------------------------------------------------------------------
BIN_EQ_AS process @1
<0000000007986DE8> Routine failure. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
process_binary_as @6
<000000000BBE5E28> Routine failure. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
process_bin_or_else_as @1
<000000000BBE5E28> Routine failure. Fail
-------------------------------------------------------------------------------
BIN_OR_ELSE_AS process @1
<0000000007986DA8> Routine failure. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
process_binary_as @6
<000000000BBE5E28> Routine failure. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
process_bin_or_else_as @1
<000000000BBE5E28> Routine failure. Fail
-------------------------------------------------------------------------------
BIN_OR_ELSE_AS process @1
<0000000007986D68> Routine failure. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
process_binary_as @6
<000000000BBE5E28> Routine failure. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
process_bin_or_else_as @1
<000000000BBE5E28> Routine failure. Fail
-------------------------------------------------------------------------------
BIN_OR_ELSE_AS process @1
<0000000007986D28> Routine failure. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
process_binary_as @6
<000000000BBE5E28> Routine failure. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
process_bin_or_else_as @1
<000000000BBE5E28> Routine failure. Fail
-------------------------------------------------------------------------------
BIN_OR_ELSE_AS process @1
<0000000007986CE8> Routine failure. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
process_binary_as @6
<000000000BBE5E28> Routine failure. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
process_bin_or_else_as @1
<000000000BBE5E28> Routine failure. Fail
-------------------------------------------------------------------------------
BIN_OR_ELSE_AS process @1
<0000000007986CA8> Routine failure. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
process_binary_as @6
<000000000BBE5E28> Routine failure. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
process_bin_or_else_as @1
<000000000BBE5E28> Routine failure. Fail
-------------------------------------------------------------------------------
BIN_OR_ELSE_AS process @1
<0000000007986C68> Routine failure. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
process_binary_as @6
<000000000BBE5E28> Routine failure. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
process_bin_or_else_as @1
<000000000BBE5E28> Routine failure. Fail
-------------------------------------------------------------------------------
BIN_OR_ELSE_AS process @1
<0000000007986C28> Routine failure. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
process_binary_as @6
<000000000BBE5E28> Routine failure. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
process_bin_or_else_as @1
<000000000BBE5E28> Routine failure. Fail
-------------------------------------------------------------------------------
BIN_OR_ELSE_AS process @1
<0000000007986BE8> Routine failure. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
process_binary_as @6
<000000000BBE5E28> Routine failure. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
process_bin_or_else_as @1
<000000000BBE5E28> Routine failure. Fail
-------------------------------------------------------------------------------
BIN_OR_ELSE_AS process @1
<0000000007986BA8> Routine failure. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
process_tagged_as @4
<000000000BBE5E28> Routine failure. Fail
-------------------------------------------------------------------------------
TAGGED_AS process @1
<0000000007986B48> Routine failure. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
process_eiffel_list_with_matcher @9
<000000000BBE5E28> Routine failure. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
process_require_as @12
<000000000BBE5E28> Routine failure. Fail
-------------------------------------------------------------------------------
REQUIRE_AS process @1
<0000000007986AB8> Routine failure. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
process_routine_as @15
<000000000BBE5E28> Routine failure. Fail
-------------------------------------------------------------------------------
ROUTINE_AS process @1
<0000000007986A48> Routine failure. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
safe_process @2
<000000000BBE5E28> (From AST_VISITOR) Routine failure. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
process_body_as @1
<000000000BBE5E28> Routine failure. Fail
-------------------------------------------------------------------------------
BODY_AS process @1
<00000000079869F8> Routine failure. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
process_feature_as @4
<000000000BBE5E28> Routine failure. Fail
-------------------------------------------------------------------------------
FEATURE_AS process @1
<0000000007986908> Routine failure. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
type_check_and_code @16
<000000000BBE5E28> Routine failure. Fail
-------------------------------------------------------------------------------
EIFFEL_CLASS_C pass3 @60
<0000000017653998> Routine failure. Fail
-------------------------------------------------------------------------------
DEGREE_3 process_class @3
<0000000006294368> Routine failure. Fail
-------------------------------------------------------------------------------
DEGREE_3 execute @20
<0000000006294368> Routine failure. Fail
-------------------------------------------------------------------------------
SYSTEM_I process_degree_3 @2
<0000000005AD6C38> Routine failure. Fail
-------------------------------------------------------------------------------
SYSTEM_I do_recompilation @63
<0000000005AD6C38> Routine failure. Fail
-------------------------------------------------------------------------------
SYSTEM_I recompile @7
<0000000005AD6C38> Routine failure. Fail
-------------------------------------------------------------------------------
WORKBENCH_I recompile @23
<0000000003743DF8> Routine failure. Fail
-------------------------------------------------------------------------------
E_PROJECT melt @7
<000000000372E0F8> Routine failure. Fail
-------------------------------------------------------------------------------
E_PROJECT quick_melt @3
<000000000372E0F8> Routine failure. Fail
-------------------------------------------------------------------------------
EB_MELT_PROJECT_COMMAND
perform_compilation @1
<00000000035919D8> Routine failure. Fail
-------------------------------------------------------------------------------
EB_MELT_PROJECT_COMMAND
compile @5
<00000000035919D8> Routine failure. Fail
-------------------------------------------------------------------------------
EB_MELT_PROJECT_COMMAND
compile_and_run @1
<00000000035919D8> Routine failure. Fail
-------------------------------------------------------------------------------
EB_MELT_PROJECT_COMMAND
confirm_execution_halt @2
<00000000035919D8> Routine failure. Fail
-------------------------------------------------------------------------------
EB_MELT_PROJECT_COMMAND
confirm_and_compile @1
<00000000035919D8> Routine failure. Fail
-------------------------------------------------------------------------------
EB_MELT_PROJECT_COMMAND
compile_no_save @4
<00000000035919D8> Routine failure. Fail
-------------------------------------------------------------------------------
EB_MELT_PROJECT_COMMAND
execute_with_c_compilation_flag @16
<00000000035919D8> Routine failure. Fail
-------------------------------------------------------------------------------
EB_MELT_PROJECT_COMMAND
go_on_compile @1
<00000000035919D8> Routine failure. Fail
-------------------------------------------------------------------------------
EB_MELT_PROJECT_COMMAND
execute @11
<00000000035919D8> Routine failure. Fail
-------------------------------------------------------------------------------
EV_NOTIFY_ACTION_SEQUENCE
call @21
<0000000005B308D8> (From ACTION_SEQUENCE) Routine failure. Fail
-------------------------------------------------------------------------------
EV_NOTIFY_ACTION_SEQUENCE
call @3
<0000000005B308D8> (From EV_LITE_ACTION_SEQUENCE)
Routine failure. Fail
-------------------------------------------------------------------------------
EB_SD_COMMAND_TOOL_BAR_DUAL_POPUP_BUTTON
on_pointer_release @7
<0000000005B304A8> (From SD_TOOL_BAR_DUAL_POPUP_BUTTON)
Routine failure. Fail
-------------------------------------------------------------------------------
SD_TOOL_BAR on_pointer_release @10
<0000000005B52D78> Routine failure. Fail
-------------------------------------------------------------------------------
EV_POINTER_BUTTON_ACTION_SEQUENCE
call @21
<0000000005B537C8> (From ACTION_SEQUENCE) Routine failure. Fail
-------------------------------------------------------------------------------
EV_POINTER_BUTTON_ACTION_SEQUENCE
call @3
<0000000005B537C8> (From EV_LITE_ACTION_SEQUENCE)
Routine failure. Fail
-------------------------------------------------------------------------------
SD_DRAWING_AREA_IMP call_pointer_actions @2
<00000000036336F8> (From EV_WIDGET_IMP) Routine failure. Fail
-------------------------------------------------------------------------------
SD_DRAWING_AREA_IMP on_button_up @5
<00000000036336F8> (From EV_WIDGET_IMP) Routine failure. Fail
-------------------------------------------------------------------------------
SD_DRAWING_AREA_IMP on_left_button_up @2
<00000000036336F8> (From EV_WIDGET_IMP) Routine failure. Fail
-------------------------------------------------------------------------------
SD_DRAWING_AREA_IMP window_process_message @11
<00000000036336F8> (From WEL_WINDOW) Routine failure. Fail
-------------------------------------------------------------------------------
SD_DRAWING_AREA_IMP process_message @22
<00000000036336F8> (From WEL_COMPOSITE_WINDOW)
Routine failure. Fail
-------------------------------------------------------------------------------
WEL_DISPATCHER window_procedure @7
<00000000034D0178> (From WEL_ABSTRACT_DISPATCHER)
Routine failure. Fail
-------------------------------------------------------------------------------
WEL_MSG dispatch @1
<00000000034D0118> Routine failure. Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP process_message @10
<00000000034CF378> Routine failure. Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP process_underlying_toolkit_event_queue @6
<00000000034CF378> Routine failure. Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP process_event_queue @2
<00000000034CF378> (From EV_APPLICATION_I)
Routine failure. Fail
-------------------------------------------------------------------------------
EV_APPLICATION_HANDLER
process_application_event_queue @1
<00000000034D0158> Routine failure. Fail
-------------------------------------------------------------------------------
EV_APPLICATION_HANDLER
launch @4
<00000000034D0158> Routine failure. Fail
-------------------------------------------------------------------------------
EV_APPLICATION internal_launch_application @3
<00000000034CF6D8> Routine failure. Fail
-------------------------------------------------------------------------------
EV_APPLICATION launch @2
<00000000034CF6D8> Routine failure. Fail
-------------------------------------------------------------------------------
ES_GRAPHIC make @4
<00000000034CF6B8> Routine failure. Fail
-------------------------------------------------------------------------------
EB_KERNEL make @4
<0000000003381178> Routine failure. Fail
-------------------------------------------------------------------------------
EB_KERNEL root's creation
<0000000003381178> Routine failure. Exit
-------------------------------------------------------------------------------
To Reproduce
Problem Report Interactions