[PATCH] D14277: [Analyzer] Make referenced SymbolMetadata live even if its region is dead
Aleksei Sidorin via cfe-commits
cfe-commits at lists.llvm.org
Wed Nov 4 06:57:51 PST 2015
a.sidorin added inline comments.
================
Comment at: lib/StaticAnalyzer/Core/SymbolManager.cpp:457
@@ -461,6 +456,3 @@
case SymExpr::MetadataKind:
- KnownLive = MetadataInUse.count(sym) &&
- isLiveRegion(cast<SymbolMetadata>(sym)->getRegion());
- if (KnownLive)
- MetadataInUse.erase(sym);
+ KnownLive = isLiveRegion(cast<SymbolMetadata>(sym)->getRegion());
break;
----------------
Maybe we should just return false here?
Repository:
rL LLVM
http://reviews.llvm.org/D14277
More information about the cfe-commits
mailing list