[clang] [analyzer] Limit Store by region-store-binding-limit (PR #127602)

Balázs Benics via cfe-commits cfe-commits at lists.llvm.org
Wed Feb 19 03:00:05 PST 2025


================
@@ -483,6 +483,14 @@ ANALYZER_OPTION(
     "behavior, set the option to 0.",
     5)
 
+ANALYZER_OPTION(
+    unsigned, RegionStoreMaxBindingFanOut, "region-store-max-binding-fanout",
+    "This option limits how many sub-bindings a single binding operation can "
+    "scatter into. For example, binding an array would scatter into binding "
+    "each individual element. Setting this to zero means unlimited, but then "
+    "modelling large array initializers may take proportional time to their "
+    "size.", 100)
----------------
balazs-benics-sonarsource wrote:

Matching with my default in 067de3d33524

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


More information about the cfe-commits mailing list