Ticket #6187: Avoid infinite loop if eraseDeadCode does not remove anything (invalid goto into a dead loop's body).
Merge pull request #450 from simartin/ticket_6187

Ticket #6187: Avoid infinite loop if eraseDeadCode does not remove anything