================
@@ -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:
@NagyDonat Thanks for the feedback on this PR -- I'll come back to it as soon
as I have a bit of time. Regarding this specific comment, it's inspired by
`RegionStoreManager::bindStruct`. The intent was to keep it uniform but since
it is not obvious, I'll remove it.
https://github.com/llvm/llvm-project/pull/153177
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
