================
@@ -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>
----------------
NagyDonat wrote:
That is one possible approach, but I don't think that documenting _all_ the
modeling checkers is necessary here. Only a few of the modeling checkers have
user-visible config options, while the rest are purely internal implementation
details.
Also, I think in the future we should move towards completely hiding the
modeling checkers and disconnecting the user-facing config options from them.
If you document them, please include a warning message that "These modeling
checkers are implementation details, they may be renamed or hidden in the
future."
https://github.com/llvm/llvm-project/pull/205371
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
