Control-flow Errors

1. Will every loop eventually terminate ?
2. Will the program, module, procedure eventually terminate ?
3. Are there any off-by-one errors? (one too many/few) iterations?
4. Are there any non-exhaustive decisions (E.g: does every switch statement cover all possible cases?) If not, does this represent an oversight?
5. Does every if statement have a corresponding else clause? If not, does this represent an oversight?