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

DonĂ¡t Nagy via cfe-commits cfe-commits at lists.llvm.org
Wed Feb 19 04:46:51 PST 2025


================
@@ -359,7 +326,80 @@ class RegionBindingsRef : public llvm::ImmutableMapRef<const MemRegion *,
 };
 } // end anonymous namespace
 
+/// This class represents the same as \c RegionBindingsRef, but with a limit on
+/// the number of bindings that can be added.
+class BoundedRegionBindingsRef : public RegionBindingsRef {
----------------
NagyDonat wrote:

`<bikeshedding>`
Perhaps use `Limited` instead of `Bounded` in the name of this class, because the common linguistical origin of the words "Bounded" and "Binding" makes the current name a bit hard to parse. (I almost read "Bound" region bindings and felt that it's tautological that "bindings" are "bound".)

However, this is a very "soft" request, feel free to keep the current name if you prefer it.
`</bikeshedding>`

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


More information about the cfe-commits mailing list