[clang] [analyzer] Fix a false memory leak reports involving placement new (PR #144341)

Arseniy Zaostrovnykh via cfe-commits cfe-commits at lists.llvm.org
Mon Jun 16 05:48:26 PDT 2025


================
@@ -1371,6 +1371,19 @@ void MallocChecker::checkIfFreeNameIndex(ProgramStateRef State,
   C.addTransition(State);
 }
 
+bool isVoidStar(QualType T) {
+  return !T.isNull() && T->isPointerType() && T->getPointeeType()->isVoidType();
----------------
necto wrote:

Indeed, thanks!
Used in:

2b861b6bf1f0 Use isVoidPointerType() and state the checked signature


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


More information about the cfe-commits mailing list