[clang] [clang] [Static analyzer]: add initial support for builtin overflow (PR #102602)

[Donát Nagy via cfe-commits]

https://github.com/NagyDonat commented:

Thanks for adding support for these functions! The code LGTM overall, except for one mostly theoretical issue (about the use of `assert`) which I described in an inline comment.

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