[PATCH] D25813: [CodeGen] Devirtualize calls to methods marked final in a derived class

[Vedant Kumar via cfe-commits]

vsk created this revision.
vsk added reviewers: rjmccall, pcc.
vsk added a subscriber: cfe-commits.

If we see a virtual method call to Base::foo() but can infer that the
object is an instance of Derived, and that 'foo' is marked 'final' in
Derived, we can devirtualize the call to Derived::foo().

Note: This patch introduces a check which depends on the result of
Base->getBestDynamicClassType(). Since this API can return nullptr, I
took the opportunity to defensively group together the checks which rely
on the result. I can drop this change, or try it in a separate commit if
that would be better.


https://reviews.llvm.org/D25813

Files:
  lib/CodeGen/CGClass.cpp
  test/CodeGenCXX/devirtualize-virtual-function-calls-final.cpp
  test/CodeGenCXX/ubsan-devirtualized-calls.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D25813.75266.patch
Type: text/x-patch
Size: 6647 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20161020/48a2f11b/attachment-0001.bin>