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

Balázs Benics via cfe-commits cfe-commits at lists.llvm.org
Fri Jun 26 03:11:18 PDT 2026


================
@@ -663,6 +672,11 @@ class MallocChecker
                                              SVal Init, ProgramStateRef State,
                                              AllocationFamily Family) const;
 
+  [[nodiscard]] ProgramStateRef FailedAlloc(CheckerContext &C,
+                                            const CallEvent &Call,
+                                            int SizeArgI1, int SizeArgI2,
+                                            ProgramStateRef State) const;
----------------
steakhal wrote:

>From this declaration, it's unclear to me what the `SizeArgI1` and `SizeArgI2` stands for.

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


More information about the cfe-commits mailing list