[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