False-positive cpp:S127 with constant stop condition

Maybe that is because your most recent example raises cpp:S886, while the topic is about cpp:S127. Nevermind, though - thanks for the very details explanations :slight_smile: