baloghadamsoftware marked an inline comment as done. baloghadamsoftware added a comment.
In https://reviews.llvm.org/D35109#801921, @NoQ wrote: > Because integer promotion rules are tricky, could we, for now, avoid dealing > with the situation when left-hand side and right-hand side and the result > (all three) are not all of the same type? Or maybe we'd like to support > substraction of unsigned values into a signed value of the same size, but > still avoid the rest of the cases. Because it'd take an overwhelming amount > of testing to ensure that we get all the promotion cases correctly. I think the best place to add and test integer promotion rules is the type system. https://reviews.llvm.org/D35109 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
