The LLVM DI Checker checks Debug Info Preservation in Optimizations. - View it on GitHub