[clang] [analyzer] Model [[assume]] attributes without side-ffects (PR #130418)

[Balazs Benics via cfe-commits]

steakhal wrote:

This patch should conclude the assume attribute modeling. After this, we would have some basic support for them.

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