Nuno P Lopes and John Regehr have authored a new blog post on tracking miscompilations in LLVM using its own unit tests, https://blog.regehr.org/archives/1737 . If you don't quite follow, it helps to read the article about "Alive2" pointed to in the introduction paragraph. cheers, Johan