> So there's separate kinds of infinite loops:
- loops that have a constant end condition, that is never true (e.g. `while true`)
- loops that have an end-condition that never becomes true (e.g. never advancing a recordset)
The earlier kind can be rather simply found by the Parser. In case of more complex expressions you could try to evaluate the loopcondition down.
The latter kind requires more intrinsic knowledge of the context. What's necessary here is a more in-depth analysis (thin