fix a bug in virtual call analysis