[clang] [dataflow] Parse formulas from text (PR #66424)

[via cfe-commits]

================
@@ -87,6 +87,9 @@ class alignas(const Formula *) Formula {
                          ArrayRef<const Formula *> Operands,
                          unsigned Value = 0);
 
+  // Parse Formulas using Arena rather than caling this function directly.
+  static Formula *parse(llvm::BumpPtrAllocator &Alloc, llvm::StringRef &);
----------------
martinboehme wrote:

I can't find a definition for this function. Was this later replaced by `parse()` in Arena.cpp?

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