PR# 18386 Feature call on void target in {AST_FEATURE_CHECKER_GENERATOR}.check_infix_feature in EiffelStudio.
Problem Report Summary
Submitter: manus_eiffel
Category: EiffelStudio
Priority: Medium
Date: 2012/10/19
Class: Bug
Severity: Serious
Number: 18386
Release: 7.2.8.9601
Confidential: No
Status: Open
Responsible:
Environment: EiffelStudio 7.2.8.9601 GPL Edition - linux-x86-64
Synopsis: Feature call on void target in {AST_FEATURE_CHECKER_GENERATOR}.check_infix_feature in EiffelStudio.
Description
Removed conversions to READABLE_STRING_8 and STRING_8 in both READABLE_STRING_32 and STRING_32 and got 940 errors.
Then readded conversion to STRING_8 in both cases, got 85 errors.
Then readded conversion to READABLE_STRING_8 in STRING_32 but not in READABLE_STRING_32.
Got this crash
******************************** Thread exception *****************************
In thread Root thread 0x0 (thread id)
*******************************************************************************
-------------------------------------------------------------------------------
Class / Object Routine Nature of exception Effect
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
check_infix_feature @1
<000000002E8DBE98> Feature call on void target. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
check_infix_feature @1
<000000002E8DBE98> Routine failure. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
process_binary_as @74
<000000002E8DBE98> Routine failure. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
process_bin_plus_as @1
<000000002E8DBE98> Routine failure. Fail
-------------------------------------------------------------------------------
BIN_PLUS_AS process @1
<000000001C2DE088> Routine failure. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
process_binary_as @6
<000000002E8DBE98> Routine failure. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
process_bin_plus_as @1
<000000002E8DBE98> Routine failure. Fail
-------------------------------------------------------------------------------
BIN_PLUS_AS process @1
<000000001C2DE048> Routine failure. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
process_binary_as @6
<000000002E8DBE98> Routine failure. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
process_bin_plus_as @1
<000000002E8DBE98> Routine failure. Fail
-------------------------------------------------------------------------------
BIN_PLUS_AS process @1
<000000001C2DE008> Routine failure. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
process_binary_as @6
<000000002E8DBE98> Routine failure. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
process_bin_plus_as @1
<000000002E8DBE98> Routine failure. Fail
-------------------------------------------------------------------------------
BIN_PLUS_AS process @1
<000000001C2DDFC8> Routine failure. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
process_converted_expr_as @2
<000000002E8DBE98> Routine failure. Fail
-------------------------------------------------------------------------------
CONVERTED_EXPR_AS process @1
<0000000025B37E58> Routine failure. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
process_call @136
<000000002E8DBE98> Routine failure. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
process_access_id_as @72
<000000002E8DBE98> Routine failure. Fail
-------------------------------------------------------------------------------
ACCESS_ID_AS process @1
<000000001C2DDED8> Routine failure. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
process_instr_call_as @3
<000000002E8DBE98> Routine failure. Fail
-------------------------------------------------------------------------------
INSTR_CALL_AS process @1
<000000001C2DDEB8> Routine failure. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
process_eiffel_list_with_matcher @9
<000000002E8DBE98> Routine failure. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
process_eiffel_list @1
<000000002E8DBE98> Routine failure. Fail
-------------------------------------------------------------------------------
EIFFEL_LIST process @1
<000000001C2DDD68> Routine failure. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
process_compound @2
<000000002E8DBE98> Routine failure. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
process_if_as @38
<000000002E8DBE98> Routine failure. Fail
-------------------------------------------------------------------------------
IF_AS process @1
<000000001C2DD9F8> Routine failure. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
process_eiffel_list_with_matcher @9
<000000002E8DBE98> Routine failure. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
process_eiffel_list @1
<000000002E8DBE98> Routine failure. Fail
-------------------------------------------------------------------------------
EIFFEL_LIST process @1
<000000001C2DD758> Routine failure. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
process_compound @2
<000000002E8DBE98> Routine failure. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
process_do_as @4
<000000002E8DBE98> Routine failure. Fail
-------------------------------------------------------------------------------
DO_AS process @1
<000000001C2DD738> Routine failure. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
process_routine_as @22
<000000002E8DBE98> Routine failure. Fail
-------------------------------------------------------------------------------
ROUTINE_AS process @1
<000000001C2DCDF8> Routine failure. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
safe_process @2
<000000002E8DBE98> (From AST_VISITOR) Routine failure. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
process_body_as @1
<000000002E8DBE98> Routine failure. Fail
-------------------------------------------------------------------------------
BODY_AS process @1
<000000001C2DCD38> Routine failure. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
process_feature_as @4
<000000002E8DBE98> Routine failure. Fail
-------------------------------------------------------------------------------
FEATURE_AS process @1
<000000001C2DCC48> Routine failure. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
type_check_only @19
<000000002E8DBE98> Routine failure. Fail
-------------------------------------------------------------------------------
EIFFEL_CLASS_C pass3 @125
<00000000107E56E8> Routine failure. Fail
-------------------------------------------------------------------------------
DEGREE_3 process_class @3
<000000000AC71A98> Routine failure. Fail
-------------------------------------------------------------------------------
DEGREE_3 execute @20
<000000000AC71A98> Routine failure. Fail
-------------------------------------------------------------------------------
SYSTEM_I process_degree_3 @2
<00007FBA59BB3C98> Routine failure. Fail
-------------------------------------------------------------------------------
SYSTEM_I do_recompilation @63
<00007FBA59BB3C98> Routine failure. Fail
-------------------------------------------------------------------------------
SYSTEM_I recompile @7
<00007FBA59BB3C98> Routine failure. Fail
-------------------------------------------------------------------------------
WORKBENCH_I recompile @23
<00007FBA5BC48DC8> Routine failure. Fail
-------------------------------------------------------------------------------
E_PROJECT melt @7
<00007FBA5BC331D8> Routine failure. Fail
-------------------------------------------------------------------------------
E_PROJECT quick_melt @3
<00007FBA5BC331D8> Routine failure. Fail
-------------------------------------------------------------------------------
EB_MELT_PROJECT_COMMAND
perform_compilation @1
<00007FBA5BB8AE28> Routine failure. Fail
-------------------------------------------------------------------------------
EB_MELT_PROJECT_COMMAND
compile @5
<00007FBA5BB8AE28> Routine failure. Fail
-------------------------------------------------------------------------------
EB_MELT_PROJECT_COMMAND
compile_and_run @1
<00007FBA5BB8AE28> Routine failure. Fail
-------------------------------------------------------------------------------
EB_MELT_PROJECT_COMMAND
confirm_execution_halt @2
<00007FBA5BB8AE28> Routine failure. Fail
-------------------------------------------------------------------------------
EB_MELT_PROJECT_COMMAND
confirm_and_compile @1
<00007FBA5BB8AE28> Routine failure. Fail
-------------------------------------------------------------------------------
EB_MELT_PROJECT_COMMAND
compile_no_save @4
<00007FBA5BB8AE28> Routine failure. Fail
-------------------------------------------------------------------------------
EB_MELT_PROJECT_COMMAND
execute_with_c_compilation_flag @16
<00007FBA5BB8AE28> Routine failure. Fail
-------------------------------------------------------------------------------
EB_MELT_PROJECT_COMMAND
go_on_compile @1
<00007FBA5BB8AE28> Routine failure. Fail
-------------------------------------------------------------------------------
EB_MELT_PROJECT_COMMAND
execute @11
<00007FBA5BB8AE28> Routine failure. Fail
-------------------------------------------------------------------------------
EV_NOTIFY_ACTION_SEQUENCE
call @21
<00007FBA5BD401A8> (From ACTION_SEQUENCE) Routine failure. Fail
-------------------------------------------------------------------------------
EV_NOTIFY_ACTION_SEQUENCE
call @3
<00007FBA5BD401A8> (From EV_LITE_ACTION_SEQUENCE)
Routine failure. Fail
-------------------------------------------------------------------------------
EB_SD_COMMAND_TOOL_BAR_DUAL_POPUP_BUTTON
on_pointer_release @7
<00007FBA5BD41DE8> (From SD_TOOL_BAR_DUAL_POPUP_BUTTON)
Routine failure. Fail
-------------------------------------------------------------------------------
SD_TOOL_BAR on_pointer_release @10
<00007FBA5BD61B28> Routine failure. Fail
-------------------------------------------------------------------------------
EV_POINTER_BUTTON_ACTION_SEQUENCE
call @21
<00007FBA5BD62ED8> (From ACTION_SEQUENCE) Routine failure. Fail
-------------------------------------------------------------------------------
EV_POINTER_BUTTON_ACTION_SEQUENCE
call @3
<00007FBA5BD62ED8> (From EV_LITE_ACTION_SEQUENCE)
Routine failure. Fail
-------------------------------------------------------------------------------
SD_DRAWING_AREA_IMP call_button_event_actions @34
<00007FBA5BD61B98> (From EV_WIDGET_IMP) Routine failure. Fail
-------------------------------------------------------------------------------
SD_DRAWING_AREA_IMP call_button_event_actions @4
<00007FBA5BD61B98> (From EV_DRAWING_AREA_IMP)
Routine failure. Fail
-------------------------------------------------------------------------------
SD_DRAWING_AREA_IMP on_mouse_button_event @23
<00007FBA5BD61B98> (From EV_PICK_AND_DROPABLE_IMP)
Routine failure. Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP process_button_event @30
<00007FBA5BAA2198> Routine failure. Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP process_underlying_toolkit_event_queue @72
<00007FBA5BAA2198> Routine failure. Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP process_event_queue @2
<00007FBA5BAA2198> (From EV_APPLICATION_I)
Routine failure. Fail
-------------------------------------------------------------------------------
EV_APPLICATION_HANDLER
process_application_event_queue @1
<00007FBA5BAA3058> Routine failure. Fail
-------------------------------------------------------------------------------
EV_APPLICATION_HANDLER
launch @4
<00007FBA5BAA3058> Routine failure. Fail
-------------------------------------------------------------------------------
EV_APPLICATION internal_launch_application @3
<00007FBA5BAA2538> Routine failure. Fail
-------------------------------------------------------------------------------
EV_APPLICATION launch @2
<00007FBA5BAA2538> Routine failure. Fail
-------------------------------------------------------------------------------
ES_GRAPHIC make @4
<00007FBA5BAA2518> Routine failure. Fail
-------------------------------------------------------------------------------
EB_KERNEL make @4
<00007FBA5B99B1E8> Routine failure. Fail
-------------------------------------------------------------------------------
EB_KERNEL root's creation
<00007FBA5B99B1E8> Routine failure. Exit
-------------------------------------------------------------------------------
To Reproduce
Problem Report Interactions