================
@@ -2729,6 +2729,12 @@
RegionStoreManager::bindArray(LimitedRegionBindingsConstRef B,
if (isa<nonloc::SymbolVal, UnknownVal, UndefinedVal>(Init))
return bindAggregate(B, R, Init);
+ // We may get non-CompoundVal accidentally due to imprecise cast logic or
+ // that we are binding symbolic array value. Kill the element values, and if
+ // the value is symbolic go and bind it as a "default" binding.
+ if (!isa<nonloc::CompoundVal>(Init))
----------------
steakhal wrote:
So you are saying that `Init` might be `nonloc::LocAsInteger` here?
https://github.com/llvm/llvm-project/pull/210200
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
