fn analyze_entry<'gcx>(
gcx: Gcx<'gcx>,
bases: &'gcx [ContractId],
entry_id: FunctionId,
) -> HashMap<VariableId, HashSet<FunctionId>>Expand description
Runs the entry to a fixpoint over the memoized call summaries and returns, per written state variable, the guards that held on every path to some write.