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

[Gábor Horváth 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) {
----------------
Xazax-hun wrote:

Thanks! Now I have a better understanding of this.

> I could also imagine we define a struct used for exporting the data

In case this does not introduce any additional inefficiencies, I think that would make this patch a bit more self-contained. 

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