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

[Stanislav Gatev 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`
----------------
sgatev wrote:

Missing dot at the end of the sentence.

https://github.com/llvm/llvm-project/pull/70046
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits