Merge pull request #10371 from AndyAyersMS/FixDevirt
authorAndy Ayers <andya@microsoft.com>
Wed, 22 Mar 2017 17:23:56 +0000 (10:23 -0700)
committerGitHub <noreply@github.com>
Wed, 22 Mar 2017 17:23:56 +0000 (10:23 -0700)
commitc2ba64de40e5e28c56b9734521c5f6ead20bdea9
tree2ab07c79e7325b3f1d7c0f24f4ac874b6ba2b9cf
parent66384321b7fb53a57163e3d895407800a37ca44e
parentd02fbd29384dc10217c35af0aea3ee862c07ac63
Merge pull request #10371 from AndyAyersMS/FixDevirt

Fix several devirtualization issues