joker-eph wrote: > I don't buy that argument at all. "Sound" has plenty of uses. It does not > imply "sound of mind".
The argument, I believe, is that **when you can replace "sanity" with 'sound'**, then sound is used a "sound of mind", and in other context you shouldn't use sound at it does not match the intent behind the original use of "sanity" (this last point as been mentioned in the RFC). https://github.com/llvm/llvm-project/pull/156995 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
