Preventing endless loops

With the BACK-BRANCH-LIMIT operand, the MODIFY-PROCEDURE-TEST-OPTIONS command provides an option for preventing endless loops.

BACK-BRANCH-LIMIT sets an upper limit on the number of back branches within a procedure. Back branches are both branches from the end of a loop to its beginning (i.e. from END-WHILE to WHILE, from END-FOR to FOR, from UNTIL to REPEAT) and branches executed by means of the GOTO command. Back branches using the SKIP-COMMANDS command are not included.