[clang] [analyzer] Harden RegionStoreManager::bindArray (PR #153177)

Marco Borgeaud via cfe-commits cfe-commits at lists.llvm.org
Thu Oct 2 01:12:18 PDT 2025


================
@@ -2654,14 +2654,19 @@ RegionStoreManager::bindArray(LimitedRegionBindingsConstRef B,
     SVal V = getBinding(B.asStore(), *MRV, R->getValueType());
     return bindAggregate(B, R, V);
   }
+  if (auto const *Value = Init.getAsInteger()) {
----------------
marco-antognini-sonarsource wrote:

I've addressed this point (eventually the code was even removed).

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


More information about the cfe-commits mailing list