[clang] [dataflow] Add global condition to DataflowAnalysisContext (PR #65949)

[Sam McCall via cfe-commits]

================
@@ -150,7 +157,7 @@ bool DataflowAnalysisContext::flowConditionImplies(Atom Token,
   Constraints.insert(&arena().makeAtomRef(Token));
   Constraints.insert(&arena().makeNot(Val));
   llvm::DenseSet<Atom> VisitedTokens;
----------------
sam-mccall wrote:

Indeed, oops!

https://github.com/llvm/llvm-project/pull/65949