Interesting article on tracking miscompilations in LLVM

[welkam]

On Tuesday, 9 June 2020 at 10:59:50 UTC, Johan wrote:
> 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

thanks for sharing