[clang] [Draft] Summary Based Analysis Prototype (PR #144224)

[Gábor Horváth via cfe-commits]

================
@@ -611,6 +623,29 @@ class CompilerInstance : public ModuleLoader {
   /// the compiler instance takes ownership of \p Value.
   void setCodeCompletionConsumer(CodeCompleteConsumer *Value);
 
+  /// @}
+  /// @name Summary
+  /// @{
+
+  bool hasSummaryContext() { return (bool)SummaryCtx; }
+
+  SummaryContext &getSummaryContext() {
+    assert(SummaryCtx && "Compiler instance has no summary context!");
+    return *SummaryCtx;
+  }
+
+  void createSummaryContext() { SummaryCtx.reset(new SummaryContext()); }
----------------
Xazax-hun wrote:

Should we assert here that we don't have a summary context yet?

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