[all-commits] [llvm/llvm-project] d55d46: [WPD] Add an optional checking mode for debugging ...

[Teresa Johnson via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: d55d46f43bf68e4b28cbf0a50e28b2045b54e140
      https://github.com/llvm/llvm-project/commit/d55d46f43bf68e4b28cbf0a50e28b2045b54e140
  Author: Teresa Johnson <tejohnson at google.com>
  Date:   2021-02-17 (Wed, 17 Feb 2021)

  Changed paths:
    M llvm/lib/Transforms/IPO/WholeProgramDevirt.cpp
    A llvm/test/ThinLTO/X86/devirt_check.ll

  Log Message:
  -----------
  [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