[clang] [clang][dataflow] Add support for serialization and deserialization. (PR #152487)

[Yitzhak Mandelbaum via cfe-commits]

================
@@ -140,6 +140,15 @@ class DataflowAnalysisContext {
   /// Adds `Constraint` to the flow condition identified by `Token`.
   void addFlowConditionConstraint(Atom Token, const Formula &Constraint);
 
+  /// Adds `Deps` to the dependencies of the flow condition identified by
+  /// `Token`. Intended for use in deserializing contexts. The formula alone
+  /// doesn't have enough information to indicate its deps.
+  void addFlowConditionDeps(Atom Token, const llvm::DenseSet<Atom> &Deps) {
----------------
ymand wrote:

On second thought, I think the struct will be cheap enough that I'll start there and we can move to CRRT if it seems justified.

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