PR# 15232 Loop variants mess up debugger step-through
Problem Report Summary
Submitter: clemahieu
Category: Debugger
Priority: Medium
Date: 2009/01/04
Class: Bug
Severity: Non-critical
Number: 15232
Release: 6.4.7.6402
Confidential: No
Status: Closed
Responsible: jfiat_es
Environment: Mozilla/4.0 (compatible; MSIE 7.0; Windows NT 5.2; WOW64; .NET CLR 2.0.50727; .NET CLR 3.0.04506.648; .NET CLR 3.5.21022)
Synopsis: Loop variants mess up debugger step-through
Description
The step-through arrow in the feature pane while debugging gives misleading trace location inside of loops with loops variants.
To Reproduce
Use the loop: from i := 1 until i > 100 loop i := i + 1 variant 1000 - i end As you step through it, the value for i won't change when stepping over "i := i + 1". When stepping over "1000 - i" the value of i will then increase.
Problem Report Interactions
Fixed by rev#77602 Since the debugger supports "from invariant variant until loop end" order, we force the feature flat view to display this order, even if the loop was declared as "from invariant until loop variant end" Later, the debugger should fully support both syntax, but at least, now the display and execution cursor are coherant during debugging.