[clang] [clang][analyzer] Add allocation failure modeling to DynamicMemoryModeling (PR #205371)

DonĂ¡t Nagy via cfe-commits cfe-commits at lists.llvm.org
Wed Jun 24 04:45:34 PDT 2026


================
@@ -530,15 +539,15 @@ class MallocChecker
   };
 
   CallDescriptionMap<CheckFn> AllocatingMemFnMap{
-      {{CDM::CLibrary, {"malloc"}, 1}, &MallocChecker::checkBasicAlloc},
+      {{CDM::CLibrary, {"malloc"}, 1}, &MallocChecker::checkBasicAllocMayFail},
       {{CDM::CLibrary, {"malloc"}, 3}, &MallocChecker::checkKernelMalloc},
       {{CDM::CLibrary, {"calloc"}, 2}, &MallocChecker::checkCalloc},
       {{CDM::CLibrary, {"valloc"}, 1}, &MallocChecker::checkBasicAlloc},
       {{CDM::CLibrary, {"strndup"}, 2}, &MallocChecker::checkStrdup},
       {{CDM::CLibrary, {"strdup"}, 1}, &MallocChecker::checkStrdup},
       {{CDM::CLibrary, {"_strdup"}, 1}, &MallocChecker::checkStrdup},
       {{CDM::CLibrary, {"kmalloc"}, 2}, &MallocChecker::checkKernelMalloc},
-      {{CDM::CLibrary, {"if_nameindex"}, 1}, &MallocChecker::checkIfNameIndex},
+      {{CDM::CLibrary, {"if_nameindex"}, 0}, &MallocChecker::checkIfNameIndex},
----------------
NagyDonat wrote:

I see that this change is very small, but it is logically independent, so I think it belongs to a separate patch.

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


More information about the cfe-commits mailing list