[clang] [analyzer] Don't assume third iteration in loops (PR #119388)

[Donát Nagy via cfe-commits]

NagyDonat wrote:

> My bad. I thought I already approved this one.

No problem, I didn't intend to merge this during the Christmas period (when I was on vacation and didn't want to monitor the effects of the change).

> Please mention this in the release notes.

I added a paragraph to the release notes. Is it OK (= not too short, not too long, clear enough) ? 

https://github.com/llvm/llvm-project/pull/119388