parent
7604d37723
commit
7d41c616f1
|
@ -209,7 +209,7 @@ const GRState* GRStateManager::addGDM(const GRState* St, void* Key, void* Data){
|
||||||
//===----------------------------------------------------------------------===//
|
//===----------------------------------------------------------------------===//
|
||||||
|
|
||||||
namespace {
|
namespace {
|
||||||
class VISIBILITY_HIDDEN ScanReachableSymbols : public SubRegionMap::Visitor {
|
class VISIBILITY_HIDDEN ScanReachableSymbols : public SubRegionMap::Visitor {
|
||||||
typedef llvm::DenseSet<const MemRegion*> VisitedRegionsTy;
|
typedef llvm::DenseSet<const MemRegion*> VisitedRegionsTy;
|
||||||
|
|
||||||
VisitedRegionsTy visited;
|
VisitedRegionsTy visited;
|
||||||
|
|
Loading…
Reference in New Issue