A C++ program with a non-terminating side-effect-free loop is malformed, so if we assume the program is not malformed, then we can assume side-effect-free loops

A C++ program with a non-terminating side-effect-free loop is malformed, so if we assume the program is not malformed, then we can assume side-effect-free loops terminate.