command line option -fcheck-vfunc is added