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

[Gábor Horváth 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;
----------------
Xazax-hun wrote:

Aren't these `VisitedTokens` locals now unused?

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