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

[Sam McCall via cfe-commits]

================
@@ -95,4 +98,94 @@ BoolValue &Arena::makeBoolValue(const Formula &F) {
   return *It->second;
 }
 
+namespace {
+const Formula *parse(Arena &A, llvm::StringRef &In) {
+  auto EatWhitespace = [&] { In = In.ltrim(' '); };
----------------
sam-mccall wrote:

Renamed, hard to know if linebreaks etc are more likely to be formatting or errors at this point.

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