krasin added a comment. Small correction: all UBSan type checks tests live in compiler-rt. There is a test for UBsan + devirtualization inside tools/clang. My point still stands. https://reviews.llvm.org/D26559