PR# 19897 {ARRAYED_SET}.move_item does not fulfill {ARRAYED_SET}.go_i_th precondition.
Problem Report Summary
Submitter: rosivaldo
Category: EiffelBase
Priority: Low
Date: 2023/07/23
Class: Bug
Severity: Serious
Number: 19897
Release: 22.12 (22.12.10.6463 - win64)
Confidential: No
Status: Closed
Responsible:
Environment: win64
Synopsis: {ARRAYED_SET}.move_item does not fulfill {ARRAYED_SET}.go_i_th precondition.
Description
{ARRAYED_SET}.move_item does not fulfill {ARRAYED_SET}.go_i_th precondition.
To Reproduce
- Extract files from st.7z (attached). - Open and compile reproduce_another_arrayed_set_move_item_bug target of st_bugs.ecf project. - Run the system (F5). - Eventually the exception below will raise. valid_cursor_index: PRECONDITION_VIOLATION raised (PRECONDITION_VIOLATION) ******************************** Thread exception ***************************** In thread Root thread 0x0 (thread id) ******************************************************************************* ------------------------------------------------------------------------------- Class / Object Routine Nature of exception Effect ------------------------------------------------------------------------------- ARRAYED_SET go_i_th @1 valid_cursor_index: <00000000041DA5E8> (From ARRAYED_LIST) Precondition violated. Fail ------------------------------------------------------------------------------- ARRAYED_SET move_item @13 <00000000041DA5E8> (From LINEAR_SUBSET) Routine failure. Fail ------------------------------------------------------------------------------- APPLICATION reproduce_another_arrayed_set_move_item_bug @5 <00000000041DA5A8> Routine failure. Fail ------------------------------------------------------------------------------- APPLICATION root's creation <00000000041DA5A8> Routine failure. Exit -------------------------------------------------------------------------------