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

[Gábor Horváth via cfe-commits]

https://github.com/Xazax-hun approved this pull request.

I have one question once that is resolved the rest looks good to me. 

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