3 ms·

break;

• pjmlp 11y ago
  Not all programming languages have break; C syntax was just an example. Also break is no different from using return (to keep C syntax as example) when recursing. If you guard break with if then you also need to prove if the "if" condition does indeed provide a dataflow path to break.
  • AnimalMuppet 11y ago
    > If you guard break with if then you also need to prove if the "if" condition does indeed provide a dataflow path to break. In all cases, for all possible inputs. On the other hand, if that's what your for loop looks like, you probably have the same problem of proving that your recursion terminates (in all cases, for all possible inputs).
    • pjmlp 11y ago
      Of course, I was just arguing against the OP that all loops terminate.