Module Backend.AnalysisDependencyGraph

Build a dependency graph from the summaries in the specs table, flag any transitive dependencies of the changed_files, then invalidate any flagged transitive dependencies.

stores to disk the callgraph obtained by adding edges from the summary_loads dependencies in the Summary.t.dependencies field of every procedure; used to replay the previous analysis inter-procedural schedule

do store_previous_schedule () if we have been asked to replay the analysis and there isn't a schedule file already; use if the results DB is about to be deleted, eg before the capture phase, otherwise load_previous_schedule takes care of selecting between loading from an existing schedule file or directly from summaries

load from a file created with store_previous_schedule if present or from summaries otherwise