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

[Donát Nagy via cfe-commits]

https://github.com/NagyDonat commented:

I re-reviewed the commit and added two very minor remarks, otherwise LGTM.

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