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

Reply via email to