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

[Balazs Benics via cfe-commits]

https://github.com/steakhal commented:

Looks really good. I only had some notes w.r.t. note tags.

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