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
From:jfiat_es    Date:2009/03/06    Status: Closed    Download   
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.