baloghadamsoftware added a comment.

In https://reviews.llvm.org/D35109#806156, @NoQ wrote:

> I think you might also need to convert `APSInt`s to an appropriate type, as 
> done above. Type of right-hand-side `APSInt`s do not necessarily coincide 
> with the type of the left-hand-side symbol or of the whole expression. 
> `APSInt` operations crash when signedness doesn't match (and in a few other 
> cases).


Could you please help me by constructing an example for this scenario? I tried 
multiple options, but I always failed since I check the type of the two sides, 
as you proposed. So I need an example where `typeof(A+n) == typeof(B+m)` but 
`typeof(n) != typeof(m)`.


https://reviews.llvm.org/D35109



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

Reply via email to