[clang] [analyzer] Accept C library functions from the `std` namespace (PR #84469)

via cfe-commits cfe-commits at lists.llvm.org
Fri Mar 8 04:42:39 PST 2024


=?utf-8?q?Donát?= Nagy <donat.nagy at ericsson.com>,
=?utf-8?q?Donát?= Nagy <donat.nagy at ericsson.com>
Message-ID:
In-Reply-To: <llvm.org/llvm/llvm-project/pull/84469 at github.com>


NagyDonat wrote:

Currently MallocChecker doesn't use this `CDM::CLibrary` mode in the `CallDescription` for `malloc` -- because before this commit it would've been incorrect to use it. I'm planning to ensure that functions like `malloc` are matched in this mode; but I would like to do it in separate commits.

This means that I cannot create a simple testcase that demonstrates the advantage of this commit: the limitations of `isCLibraryFunction` meant that many checkers just didn't use it even if they were handling C library functions; but I don't know about a case where it was used and incorrect.

However, my followup commits will soon add testcases that demonstrate the effects of this change, so I think it's a forgivable sin to merge this without a TC.

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


More information about the cfe-commits mailing list