[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