On Tue, Oct 22, 2024 at 08:11:25PM +0200, Jakub Jelinek wrote:
> Hi!
>
> In the following testcases, we ICE on all 4 function calls.
> The problem is using TYPE_PRECISION on vector types (but guess it
> would be similarly problematic on structures/unions/arrays).
> The test only differentiates between suggestion what to do, whether
> to supply explicit size because sizeof (*p) for
> {,{,un}signed }char *p is not very likely what the user want, or
> dereferencing the pointer, so I think limiting that suggestion
> to integral types is ok.
>
> Bootstrapped/regtested on x86_64-linux and i686-linux, ok for trunk?
OK.
> 2024-10-22 Jakub Jelinek <ja...@redhat.com>
>
> PR c/117230
> * c-warn.cc (sizeof_pointer_memaccess_warning): Only compare
> TYPE_PRECISION of TREE_TYPE (type) to precision of char if
> TREE_TYPE (type) is integral type.
>
> * c-c++-common/Wsizeof-pointer-memaccess5.c: New test.
>
> --- gcc/c-family/c-warn.cc.jj 2024-09-06 13:43:37.340307542 +0200
> +++ gcc/c-family/c-warn.cc 2024-10-22 12:10:37.793621714 +0200
> @@ -944,8 +944,9 @@ sizeof_pointer_memaccess_warning (locati
> "argument to %<sizeof%> in %qD call is the same "
> "expression as the destination; did you mean to "
> "remove the addressof?", callee);
> - else if ((TYPE_PRECISION (TREE_TYPE (type))
> - == TYPE_PRECISION (char_type_node))
> + else if ((INTEGRAL_TYPE_P (TREE_TYPE (type))
> + && (TYPE_PRECISION (TREE_TYPE (type))
> + == TYPE_PRECISION (char_type_node)))
> || strop)
> warning_at (loc, OPT_Wsizeof_pointer_memaccess,
> "argument to %<sizeof%> in %qD call is the same "
> @@ -984,8 +985,9 @@ sizeof_pointer_memaccess_warning (locati
> "argument to %<sizeof%> in %qD call is the same "
> "expression as the source; did you mean to "
> "remove the addressof?", callee);
> - else if ((TYPE_PRECISION (TREE_TYPE (type))
> - == TYPE_PRECISION (char_type_node))
> + else if ((INTEGRAL_TYPE_P (TREE_TYPE (type))
> + && (TYPE_PRECISION (TREE_TYPE (type))
> + == TYPE_PRECISION (char_type_node)))
> || strop)
> warning_at (loc, OPT_Wsizeof_pointer_memaccess,
> "argument to %<sizeof%> in %qD call is the same "
> @@ -1024,8 +1026,9 @@ sizeof_pointer_memaccess_warning (locati
> "argument to %<sizeof%> in %qD call is the same "
> "expression as the first source; did you mean to "
> "remove the addressof?", callee);
> - else if ((TYPE_PRECISION (TREE_TYPE (type))
> - == TYPE_PRECISION (char_type_node))
> + else if ((INTEGRAL_TYPE_P (TREE_TYPE (type))
> + && (TYPE_PRECISION (TREE_TYPE (type))
> + == TYPE_PRECISION (char_type_node)))
> || strop)
> warning_at (loc, OPT_Wsizeof_pointer_memaccess,
> "argument to %<sizeof%> in %qD call is the same "
> @@ -1064,8 +1067,9 @@ sizeof_pointer_memaccess_warning (locati
> "argument to %<sizeof%> in %qD call is the same "
> "expression as the second source; did you mean to "
> "remove the addressof?", callee);
> - else if ((TYPE_PRECISION (TREE_TYPE (type))
> - == TYPE_PRECISION (char_type_node))
> + else if ((INTEGRAL_TYPE_P (TREE_TYPE (type))
> + && (TYPE_PRECISION (TREE_TYPE (type))
> + == TYPE_PRECISION (char_type_node)))
> || strop)
> warning_at (loc, OPT_Wsizeof_pointer_memaccess,
> "argument to %<sizeof%> in %qD call is the same "
> --- gcc/testsuite/c-c++-common/Wsizeof-pointer-memaccess5.c.jj
> 2024-10-22 12:28:17.611586053 +0200
> +++ gcc/testsuite/c-c++-common/Wsizeof-pointer-memaccess5.c 2024-10-22
> 12:35:38.849318963 +0200
> @@ -0,0 +1,29 @@
> +/* PR c/117230 */
> +/* { dg-do compile } */
> +/* { dg-options "-Wsizeof-pointer-memaccess" } */
> +
> +typedef int V __attribute__((vector_size (sizeof (int))));
> +
> +void
> +foo (V *a, char *b)
> +{
> + __builtin_memcpy (b, a, sizeof (a)); /* { dg-warning
> "argument to 'sizeof' in '\[^\n\r]*__builtin_memcpy\[^\n\r]*' call is the
> same expression as the source; did you mean to dereference it\\\?" } */
> +}
> +
> +void
> +bar (V *a, char *b)
> +{
> + __builtin_memcpy (a, b, sizeof (a)); /* { dg-warning
> "argument to 'sizeof' in '\[^\n\r]*__builtin_memcpy\[^\n\r]*' call is the
> same expression as the destination; did you mean to dereference it\\\?" } */
> +}
> +
> +int
> +baz (V *a, char *b)
> +{
> + return __builtin_memcmp (a, b, sizeof (a)); /* { dg-warning
> "argument to 'sizeof' in '\[^\n\r]*__builtin_memcmp\[^\n\r]*' call is the
> same expression as the first source; did you mean to dereference it\\\?" } */
> +}
> +
> +int
> +qux (V *a, char *b)
> +{
> + return __builtin_memcmp (b, a, sizeof (a)); /* { dg-warning
> "argument to 'sizeof' in '\[^\n\r]*__builtin_memcmp\[^\n\r]*' call is the
> same expression as the second source; did you mean to dereference it\\\?" } */
> +}
>
> Jakub
>
Marek
