Commits
Roman Levenstein committed e6442dc9b2d
[sil-devirtualizer] Improve devirtualization of class_method instructions Use ClassHierarchyAnalysis to check if a given method is effectively final, i.e. cannot be overridden. This replaces the old approach based on using isKnownFinal, which was weaker because it didn't use the ClassHierarchyAnalysis.