[clang] [analyzer] Handle [[assume(cond)]] as __builtin_assume(cond) (PR #116462)

[Vinay Deshmukh via cfe-commits]

vinay-deshmukh wrote:

Aside: 

As I've been working on this issue, I've realized that it involves some complexities that might not make it an ideal "good first issue" (in my opinion). To keep labels consistent with the difficult level, if it is okay with you, it would be great if you could re-classify the original issue by removing the "good-first-issue" label as it might set incorrect expectations from new contributors.


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