[analyzer] Add option assume-at-least-one-iteration#125494

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

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