================
@@ -2358,11 +2358,12 @@ StoreRef RegionStoreManager::killBinding(Store ST, Loc
L) {
RegionBindingsRef
RegionStoreManager::bind(RegionBindingsConstRef B, Loc L, SVal V) {
- if (L.getAs<loc::ConcreteInt>())
+ // We only care about region locations.
+ auto MemRegVal = L.getAs<loc::MemRegionVal>();
+ if (!MemRegVal.has_value())
----------------
NagyDonat wrote:
Personal style preference: In this context I would omit the `.has_value()`
method because it doesn't add meaningful information. (If I wanted to emphasize
that this is an `optional` and not a pointer; I would've declared the type
explicitly instead of using `auto`. However, here the pointer/`optional`
difference is irrelevant for this short-lived temporary variable.)
Of course this is just subjective bikeshedding, no action required.
https://github.com/llvm/llvm-project/pull/89265
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
