[clang] [analyzer] [MallocChecker] Less aggressive analysis of functions (PR #116383)
via cfe-commits
cfe-commits at lists.llvm.org
Mon Nov 18 13:07:31 PST 2024
likeamahoney wrote:
> The difference is that here, in this scope the dev has full context and control, and we can see that it's safe. While acrossing a function boundary a completely different set of assumptions can be made. E.g. just follow best practices and dont pass dangling pointers that the fn body cant even check if valid. Frankly, having null pointers are usually enough to miss to check, lets not open the door for dangling pointers.
Thank you for review! I can close the issue.
https://github.com/llvm/llvm-project/pull/116383
More information about the cfe-commits
mailing list