[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