[clang] [analyzer] Fix stores through label locations (PR #89265)
Balazs Benics via cfe-commits
cfe-commits at lists.llvm.org
Fri Apr 19 06:42:36 PDT 2024
================
@@ -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())
----------------
steakhal wrote:
```suggestion
if (!MemRegVal)
```
https://github.com/llvm/llvm-project/pull/89265
More information about the cfe-commits
mailing list