PR# 19376 Infinite loop in TUPLE_TYPE_A.formal_instantiated_in
Problem Report Summary
Submitter: gobobe
Category: Compiler
Priority: Low
Date: 2017/07/15
Class: Bug
Severity: Non-critical
Number: 19376
Release: 17.11.10.0607
Confidential: No
Status: Open
Responsible:
Environment: win
Synopsis: Infinite loop in TUPLE_TYPE_A.formal_instantiated_in
Description
I got the following exception trace when compiling this code:
~~~~~~~~~~~~~~~~
class AA
create
make
feature
make
local
s: ANY
do
s := "foo"
if True then
print ("gobo")
elseif True then
print ([1])
else
print (s)
end
print (if True then "gobo" elseif True then [1] else s end)
end
end
~~~~~~~~~~~~~~~~
ec: system execution failed.
Following is the set of recorded exceptions:
******************************** Thread exception *****************************
In thread Root thread 0x0 (thread id)
*******************************************************************************
-------------------------------------------------------------------------------
Class / Object Routine Nature of exception Effect
-------------------------------------------------------------------------------
ARRAYED_LIST count @1 Stack overflow:
<00000000038C95F8> External event. Fail
-------------------------------------------------------------------------------
ARRAYED_LIST count @1
<00000000038C95F8> Routine failure. Fail
-------------------------------------------------------------------------------
TUPLE_TYPE_A formal_instantiated_in @3
<00000000038C95C8> (From GEN_TYPE_A) Routine failure. Fail
-------------------------------------------------------------------------------
TUPLE_TYPE_A formal_instantiated_in @6
<00000000038C95C8> (From GEN_TYPE_A) Routine failure. Fail
-------------------------------------------------------------------------------
.......................
.......................
-------------------------------------------------------------------------------
TUPLE_TYPE_A formal_instantiated_in @6
<00000000038C95C8> (From GEN_TYPE_A) Routine failure. Fail
-------------------------------------------------------------------------------
TUPLE_TYPE_A formal_instantiated_in @6
<00000000038C95C8> (From GEN_TYPE_A) Routine failure. Fail
-------------------------------------------------------------------------------
TUPLE_TYPE_A formal_instantiated_in @6
<00000000038C95C8> (From GEN_TYPE_A) Routine failure. Fail
-------------------------------------------------------------------------------
BYTE_CONTEXT real_type_in @8
<0000000004C9C0F8> Routine failure. Fail
-------------------------------------------------------------------------------
TUPLE_CONST_BL analyze @3
<00000000038C94B8> Routine failure. Fail
-------------------------------------------------------------------------------
ELSIF_EXPRESSION_B analyze @6
<00000000038C9468> Routine failure. Fail
-------------------------------------------------------------------------------
BYTE_LIST analyze @4
<00000000038C9408> Routine failure. Fail
-------------------------------------------------------------------------------
IF_EXPRESSION_B analyze @10
<00000000038C9308> Routine failure. Fail
-------------------------------------------------------------------------------
PARAMETER_BL analyze @2
<00000000038C92C8> Routine failure. Fail
-------------------------------------------------------------------------------
BYTE_LIST analyze @4
<00000000038C9268> Routine failure. Fail
-------------------------------------------------------------------------------
FEATURE_BW analyze_on @22
<00000000038C91F8> (From FEATURE_BL) Routine failure. Fail
-------------------------------------------------------------------------------
FEATURE_BW analyze_on @1
<00000000038C91F8> Routine failure. Fail
-------------------------------------------------------------------------------
FEATURE_BW analyze @1
<00000000038C91F8> (From FEATURE_BL) Routine failure. Fail
-------------------------------------------------------------------------------
INSTR_CALL_B analyze @1
<00000000038C91C8> Routine failure. Fail
-------------------------------------------------------------------------------
BYTE_LIST analyze @4
<00000000038C86F8> Routine failure. Fail
-------------------------------------------------------------------------------
STD_BYTE_CODE analyze @59
<00000000038C8598> Routine failure. Fail
-------------------------------------------------------------------------------
DYN_PROC_I generate @14
<00000000038C8288> (From FEATURE_I) Routine failure. Fail
-------------------------------------------------------------------------------
CLASS_TYPE generate_feature @1
<00000000072F00C8> Routine failure. Fail
-------------------------------------------------------------------------------
CLASS_TYPE pass4 @76
<00000000072F00C8> Routine failure. Fail
-------------------------------------------------------------------------------
TYPE_LIST pass4 @4
<0000000004B29FE8> Routine failure. Fail
-------------------------------------------------------------------------------
EIFFEL_CLASS_C pass4 @2
<0000000004B33168> Routine failure. Fail
-------------------------------------------------------------------------------
EIFFEL_CLASS_C generate_workbench_files @4
<0000000004B33168> Routine failure. Fail
-------------------------------------------------------------------------------
DEGREE_MINUS_1 execute @21
<0000000004C2C018> Routine failure. Fail
-------------------------------------------------------------------------------
SYSTEM_I process_degree_minus_1 @1
<0000000004CCBEE8> Routine failure. Fail
-------------------------------------------------------------------------------
SYSTEM_I freeze_system @13
<0000000004CCBEE8> Routine failure. Fail
-------------------------------------------------------------------------------
SYSTEM_I do_recompilation @84
<0000000004CCBEE8> Routine failure. Fail
-------------------------------------------------------------------------------
SYSTEM_I recompile @7
<0000000004CCBEE8> Routine failure. Rescue
-------------------------------------------------------------------------------
WORKBENCH_I recompile @23
<0000000004B8AA88> Routine failure. Rescue
-------------------------------------------------------------------------------
E_PROJECT melt @7
<0000000004B21808> Routine failure. Rescue
-------------------------------------------------------------------------------
E_PROJECT quick_melt @3
<0000000004B21808> Routine failure. Fail
-------------------------------------------------------------------------------
EWB_QUICK_MELT perform_compilation @1
<0000000004BA15E8> Routine failure. Fail
-------------------------------------------------------------------------------
EWB_QUICK_MELT compile @3
<0000000004BA15E8> (From EWB_COMP) Routine failure. Fail
-------------------------------------------------------------------------------
EWB_QUICK_MELT execute @6
<0000000004BA15E8> (From EWB_COMP) Routine failure. Fail
-------------------------------------------------------------------------------
ES_BATCH execute @47
<0000000004C47CC8> (From ES) Routine failure. Rescue
-------------------------------------------------------------------------------
ES_BATCH make @15
<0000000004C47CC8> (From ES) Routine failure. Fail
-------------------------------------------------------------------------------
EB_KERNEL make @5
<0000000004AF12A8> Routine failure. Fail
-------------------------------------------------------------------------------
EB_KERNEL root's creation
<0000000004AF12A8> Routine failure. Exit
-------------------------------------------------------------------------------
--
Eric Bezault
To Reproduce
Problem Report Interactions