================
@@ -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
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
