Ticket #92 (accepted defect)
backtranslation of switch nested in loop reverses order
|Reported by:||Utke||Owned by:||utke|
Description (last modified by utke) (diff)
A simple switch statement that is the body of a loop
leads in the reversed control flow graph after backtranslation by xaif2whirl to a situation where the switch is translated into goto-label pairs and the end-switch label is placed AFTER the updated statement of the containing loop.
So, the update statement is never reached and the loops is infinite