diff --git a/clang/lib/Analysis/RegionStore.cpp b/clang/lib/Analysis/RegionStore.cpp index 18d58ab10f69..fe142af07a7d 100644 --- a/clang/lib/Analysis/RegionStore.cpp +++ b/clang/lib/Analysis/RegionStore.cpp @@ -1741,11 +1741,10 @@ void RegionStoreManager::RemoveDeadBindings(GRState &state, Stmt* Loc, // for the other fields and elements around. The reason is that // pointer arithmetic can get us to the other fields or elements. // FIXME: add an assertion that this is always true. - VisitFlag NewVisit = - isa(R) || isa(R) || isa(R) - ? VisitedFromSuperRegion : VisitedFromSubRegion; - - WorkList.push_back(RBDItem(state_N, superR, NewVisit)); + + assert(isa(R) || isa(R) + || isa(R)); + WorkList.push_back(RBDItem(state_N, superR, VisitedFromSuperRegion)); } }