PR# 19651 Debugger can't show the value of an expression in Watch tool

Problem Report Summary
Submitter: rosivaldo
Category: Debugger
Priority: Low
Date: 2020/06/09
Class: Bug
Severity: Non-critical
Number: 19651
Release: 20.05 (20.05.10.4440 - win64)
Confidential: No
Status: Open
Responsible:
Environment: win64 (mingw)
Synopsis: Debugger can't show the value of an expression in Watch tool

Description
The expression # s is not evaluated properly in Watch tool. An exception stack trace like the one in dbg.txt attachment is shown upon double clicking the (should be) value of the expression in Watch tool. Several different contexts produce the same kind of error, but I could not isolate it in a little project, hence I'm sending the entire application in the attachment incremental.7z.
To Reproduce
1. Start EiffelStudio.
2. Open the project set_theory.ecf.
3. Choose the target st-testing.
4. Compile the project.
5. After finishing compilation, go to Feature tool.
6. Make the Feature tool to focus on {STI_SET}.equals.
7. Set a breakpoint at the first (an only) line of the body of {STI_SET}.equals (which reads "Result := # Current = # s and Current ⊆ s").
8. Go to AutoTest tool.
9. Fill the Filter text box with "class:STT_COMPLEX_UNIVERSE_TESTS/.*test_equals" and press ENTER.
10. Click the button "Debug filtered tests"; the debugger shall stop at the breakpoint previously set.
11. In the Watch tool, insert the expression "# s" (with no quotes, of course); the "Value" column shall exhibit the message "Error occurred (double click to see details).
12. Double-click on the "Error occurred..." message; a window with an exception stack trace like the one in dbg.txt shall be shown.
Problem Report Interactions
From:rosivaldo    Date:2020/06/09    Download   
Attachments for problem report #19651

Attachment: incremental.7z     Size:286098
Attachment: dbg.txt     Size:11245