DonatNagyE wrote:

I'm confident that this patch is NFC, but my claim is based on theoretical 
reasoning (a.k.a. "I think I didn't make a mistake"). I have a background in 
theoretical mathematics, so for me "I have a rough a proof in my head" is 
intuitively stronger than "I verified it on some arbitrary input"; but you're 
right that this change is so complex that it deserves an experimental check. I 
started some analysis on open source projects and I'll give results on Monday.

https://github.com/llvm/llvm-project/pull/67572
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to