[clang] [analyzer] Model overflow builtins (PR #102602)

[Balazs Benics via cfe-commits]

steakhal wrote:

Try using the Github merge workflow to avoid doing force-pushes. Those are destructive for inline comments done for the PR. On force-push, GH can't follow to which line it should migrate the existing inline comments, thus drops them.

You should just do a fetch main, merge main, push branch (without force).

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