[clang] [analyzer] Refactor MallocChecker to use `BindExpr` in `evalCall` (PR #106081)
DonĂ¡t Nagy via cfe-commits
cfe-commits at lists.llvm.org
Thu Aug 29 07:45:07 PDT 2024
================
@@ -58,14 +60,14 @@ void testFreeOpNew() {
void *p = operator new(0);
free(p);
// mismatch-warning at -1{{Memory allocated by 'operator new' should be deallocated by 'delete', not 'free()'}}
-} // leak-warning{{Potential leak of memory pointed to by 'p'}}
+}
----------------
NagyDonat wrote:
I feel that the disappearance of this "Potential leak" warning (and the one in the next TC) is a bit unfortunate, because it's not fair to say that a mismatched invalid deallocator call prevents the leak.
Could we keep this warning in a straightforward way that doesn't involve ugly hacks or lots of added code?
https://github.com/llvm/llvm-project/pull/106081
More information about the cfe-commits
mailing list