[clang] [clang][analyzer] Add allocation failure modeling to DynamicMemoryModeling (PR #205371)
Balázs Kéri via cfe-commits
cfe-commits at lists.llvm.org
Thu Jun 25 02:25:49 PDT 2026
================
@@ -512,7 +512,14 @@ def DynamicMemoryModeling: Checker<"DynamicMemoryModeling">,
"NoStoreFuncVisitor.",
"true",
Released,
- Hide>
+ Hide>,
+ CmdLineOption<Boolean,
+ "ModelAllocationFailure",
+ "At allocation functions, add extra execution branches for "
+ "failed memory allocation (function returns null value when "
+ "size is non-null) if applicable.",
+ "false",
+ Released>
----------------
balazske wrote:
The documentation can be in the form of "common options" that affect multiple checkers, and only a list of options (with explanation) is enough. In any case it belongs to another patch, and in this change the documentation is not added.
https://github.com/llvm/llvm-project/pull/205371
More information about the cfe-commits
mailing list