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
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits