Merge pull request #696 from baloghadamsoftware/IteratorCheckerFix

[Analyzer] Iterator Checkers - Crash Fix

Author: Balogh, Ádám

lib/StaticAnalyzer/Checkers/IteratorChecker.cpp

@@ -2121,6 +2121,9 @@ ProgramStateRef relateIteratorPositions(ProgramStateRef State,
     "Symbol comparison must be a `DefinedSVal`");
 
   auto NewState = State->assume(comparison.castAs<DefinedSVal>(), Equal);
+  if (!NewState)
+    return nullptr;
+
   if (const auto CompSym = comparison.getAsSymbol()) {
     assert(isa<SymIntExpr>(CompSym) &&
            "Symbol comparison must be a `SymIntExpr`");