[clang] [analyzer] Teach analzer about ms __analyzer_assume(bool) and friends (PR #80456)

via cfe-commits cfe-commits at lists.llvm.org
Fri Feb 2 09:07:18 PST 2024


https://github.com/NagyDonat commented:

The code LGTM with some minor remarks, but I'm not familiar with these MS functions.

I'm not sure whether these "builtin by Microsoft" functions are in scope for "our" BuiltinFunctionChecker which previously only checked functions that are recognized as `Builtin::BI__something` by Clang. (However, I can believe that there is no better place for them and I don't think that they would cause problems here.)

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


More information about the cfe-commits mailing list