\brief Propagate weights into edges The following rules are applied to every block BB in the CFG: - If BB has a single predecessor/successor, then the weight of that edge is the weight of the block. - If all incoming or outgoing edges are known except one, and the weight of the block is already known, the weight of the unknown edge will be the weight of the block minus the sum of all the known
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected