tree 9cc92100e9f326ca95dfa673d5ed038bb7fbf245
parent 7b279966f91ee5283b76ea92e881774d8183a5ad
author Teresa Johnson <tejohnson@google.com> 1612386760 -0800
committer Copybara-Service <copybara-worker@google.com> 1613733592 -0800

[WPD] Add an optional checking mode for debugging devirtualization

This adds an internal option -wholeprogramdevirt-check which if enabled
will guard each devirtualization with a runtime check against the
expected target, and an invocation of a debug trap if the check fails.
This is useful for debugging WPD failures involving undefined behavior
(e.g. casting to another class type not in the inheritance chain).

Differential Revision: https://reviews.llvm.org/D95969

GitOrigin-RevId: d55d46f43bf68e4b28cbf0a50e28b2045b54e140