[clang] [clang][dataflow] Add `Environment::allows()`. (PR #70046)

[via cfe-commits]

================
@@ -184,6 +192,12 @@ class DataflowAnalysisContext {
   addTransitiveFlowConditionConstraints(Atom Token,
                                         llvm::SetVector<const Formula *> &Out);
 
+  /// Returns true if the solver is able to prove that there is a satisfying
+  /// assignment for `Constraints`
----------------
martinboehme wrote:

Done.

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