[analyzer] Don't assume third iteration in loops#119388

NagyDonat merged 9 commits intollvm:mainllvm/llvm-project:mainfrom

Ericsson:dont-assume-third-iterationEricsson/llvm-project:dont-assume-third-iterationCopy head branch name to clipboard