zyn0217 wrote: > should we rename SubstituteConstraintExpressionWithoutSatisfaction to make it > clear it only works to compare them?
Good idea. How about `SubstituteConstraintExpressionForEquivalenceChecking` then? We can rename it in the next PR. https://github.com/llvm/llvm-project/pull/102131 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits