PR# 19952 Inconsistent results of {detachable separate CHARACTER_REF}.twin
Problem Report Summary
Submitter: rosivaldo
Category: EiffelBase
Priority: Low
Date: 2025/05/21
Class: Bug
Severity: Serious
Number: 19952
Release: 25.02.9.8732 - win64
Confidential: No
Status: Open
Responsible:
Environment: win64
Synopsis: Inconsistent results of {detachable separate CHARACTER_REF}.twin
Description
Given an entity c: G, where G is a formal generic parameter, the feature c.twin may produce inconsistent results when the actual generic is of type {detachable separate CHARACTER_REF}.
To Reproduce
- Open and compile the sti_bugs target of (attached) sti_bugs.ecf project.
- Run the Workbench system (F5).
- Eventually, one gets the POSTCONDITION_VIOLATION below
SEPARATE_TWIN_BUG_DSCR
object_twin_g @4 same_value:
<00000000045D25A8> (From SEPARATE_TWIN_BUG)
Postcondition violated. Fail
- Within the Objects tool one can see that `Result' equals "%U", although `a' (the source of the value of `Result') is not a reference to a null character.
Problem Report Interactions