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

[Marco Borgeaud via cfe-commits]

================
@@ -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()) {
+    auto SafeValue = StateMgr.getBasicVals().getValue(*Value);
+    return bindAggregate(B, R, nonloc::ConcreteInt(SafeValue));
+  }
 
-  // Handle lazy compound values.
+  // Handle lazy compound values and symbolic values.
----------------
marco-antognini-sonarsource wrote:

I've addressed this point.

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