Add diagnostics to "while loop" and "for loop" that note that it is always determined that it might iterate zero times.

Add diagnostics to "while loop" and "for loop" that note that it is always determined that it might iterate zero times. #127284