jrtc27 wrote:

I worry that sound specifically may be interpreted as to do with soundness as 
in correctness, given thats the term used to talk about the correctness of 
compiler transformations

https://github.com/llvm/llvm-project/pull/156995
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to