DavidSpickett wrote: I think Greg means add a test that uses the values that previously caused UB. If that test when run under UBSAN does not fail, then we know UB is not being invoked anymore. https://github.com/llvm/llvm-project/pull/160550