Lines Matching refs:getThen
809 extendRegion(S->getThen());810 Counter OutCount = propagateCounts(ThenCount, S->getThen());