Implement virtual dispatch. :-) This is self-consistent with clang,

but not yet necessarily perfectly consistent with gcc.  Also addressed
Doug and John's comments.

llvm-svn: 80137