1 files changed, 2 insertions, 0 deletions
diff --git a/clang/include/clang/Analysis/Analyses/IntervalSolver/VariableAssignment.hpp b/clang/include/clang/Analysis/Analyses/IntervalSolver/VariableAssignment.hpp
index d2adff5..0bbebfc 100644
--- a/clang/include/clang/Analysis/Analyses/IntervalSolver/VariableAssignment.hpp
+++ b/clang/include/clang/Analysis/Analyses/IntervalSolver/VariableAssignment.hpp
@@ -47,6 +47,8 @@ private:
       solver_log::fixpoint << indent() << "Stabilise " << x << std::endl;
 
       stack_depth++;
+      if (!_system[x])
+        return;
       Domain val = _system[x]->eval(DependencyAssignment(*this, x),
                                     _strategy);
       stack_depth--;