=?utf-8?q?Donát?= Nagy <donat.n...@ericsson.com>,
=?utf-8?q?Donát?= Nagy <donat.n...@ericsson.com>
Message-ID:
In-Reply-To: <llvm.org/llvm/llvm-project/pull/84...@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
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to