martong added a comment.

Just realized. There maybe cases when we'd like to give XMax to an arg 
constraint, but the type of the arg is Y (X may be a looked up type). One 
example for such is getchar, where the return type is Int, but we have a range 
constraint {0, UCharRangeMax}. Consequently, it seems to be better to remove 
the assert, because we will not be able to handle such cases with looked up 
types and their max values.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D86531/new/

https://reviews.llvm.org/D86531

_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to