Index: lib/StaticAnalyzer/Core/ProgramState.cpp
===================================================================
--- lib/StaticAnalyzer/Core/ProgramState.cpp
+++ lib/StaticAnalyzer/Core/ProgramState.cpp
@@ -679,9 +679,9 @@
 
     SymRegions = SymRegions.add(SD->getRegion());
     NewState = NewState->set<DerivedSymTaint>(SD->getParentSymbol(), SymRegions);
+    assert(NewState);
   }
 
-  assert(NewState);
   return NewState;
 }