On Fri, 7 Dec 2012, Jakub Jelinek wrote:
> 2012-12-07 Jakub Jelinek
>
> PR c/39464
> * c-typeck.c (convert_for_assignment): For -Wpointer-sign
> warning require that both c_common_unsigned_type as well as
> c_common_signed_type is the same for both mvl and mvr types.
>
Hi!
As the testcase shows, for implicit conversions between signed integer
and signed integer with some attribute that makes it a distinct type from
that such as may_alias attribute, we warn that the pointer targets differ
in signedness, even when they have the same size. For similar unsigned
int
