Bug 947400 - Make the analysis consider whether a virtual call can GC when all targets are known, r=bhackett