[clang] Fix message text for `-Wpointer-sign` to account for plain char
authorHubert Tong <hubert.reinterpretcast@gmail.com>
Mon, 11 Jan 2021 23:36:28 +0000 (18:36 -0500)
committerHubert Tong <hubert.reinterpretcast@gmail.com>
Mon, 11 Jan 2021 23:41:14 +0000 (18:41 -0500)
commitc6ffe4d76fbf6ae505c0abccaf29017414265e32
tree42ecc72e1b639defbfb527aede2ec6780bdac2e2
parentf635bcd16105a0a01eefa2c69a71cd103dedaddd
[clang] Fix message text for `-Wpointer-sign` to account for plain char

The `-Wpointer-sign` warning text is inappropriate for describing the
incompatible pointer conversion between plain `char` and explicitly
`signed`/`unsigned` `char` (whichever plain `char` has the same range
as) and vice versa.

Specifically, in part, it reads "converts between pointers to integer
types with different sign". This patch changes that portion to read
instead as "converts between pointers to integer types where one is of
the unique plain 'char' type and the other is not" when one of the types
is plain `char`.

C17 subclause 6.5.16.1 indicates that the conversions resulting in
`-Wpointer-sign` warnings in assignment-like contexts are constraint
violations. This means that strict conformance requires a diagnostic for
the case where the message text is wrong before this patch. The lack of
an even more specialized warning group is consistent with GCC.

Reviewed By: aaron.ballman

Differential Revision: https://reviews.llvm.org/D93999
clang/include/clang/Basic/DiagnosticSemaKinds.td
clang/lib/Sema/SemaExpr.cpp
clang/test/Sema/incompatible-sign.c
clang/test/Sema/incompatible-sign.cpp
clang/test/SemaObjC/objc-cf-audited-warning.m