procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix tests for PR 106537.

Browse source 
This patch fixes the tests for PR 106537 (support for
-W[no]-compare-distinct-pointer-types) which were expecting the
warning when checking for equality/inequality of void pointers with
non-function pointers.

gcc/testsuite/ChangeLog:

	PR c/106537
	* gcc.c-torture/compile/pr106537-1.c: Comparing void pointers to
	non-function pointers is legit.
	* gcc.c-torture/compile/pr106537-2.c: Likewise.
This commit is contained in:
Jose E. Marchesi 2023-08-24 17:10:52 +02:00
parent bbdc0e0d00
commit 721f7e2c4e
2 changed files with 8 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
gcc/testsuite/gcc.c-torture/compile/pr106537-1.c
View file

@ -25,9 +25,11 @@ int xdp_context (struct xdp_md *xdp)
return 3;
if (metadata + 1 <= data) /* { dg-warning "comparison of distinct pointer types" } */
return 4;
if (metadata + 1 == data) /* { dg-warning "comparison of distinct pointer types" } */
/* Note that it is ok to check for equality or inequality betewen void
pointers and any other non-function pointers. */
if ((int*) (metadata + 1) == (long*) data) /* { dg-warning "comparison of distinct pointer types" } */
return 5;
if (metadata + 1 != data) /* { dg-warning "comparison of distinct pointer types" } */
if ((int*) metadata + 1 != (long*) data) /* { dg-warning "comparison of distinct pointer types" } */
return 5;
return 1;

6
gcc/testsuite/gcc.c-torture/compile/pr106537-2.c
View file

@ -23,9 +23,11 @@ int xdp_context (struct xdp_md *xdp)
return 3;
if (metadata + 1 <= data) /* { dg-warning "comparison of distinct pointer types" } */
return 4;
if (metadata + 1 == data) /* { dg-warning "comparison of distinct pointer types" } */
/* Note that it is ok to check for equality or inequality betewen void
pointers and any other non-function pointers. */
if ((int*) (metadata + 1) == (long*) data) /* { dg-warning "comparison of distinct pointer types" } */
return 5;
if (metadata + 1 != data) /* { dg-warning "comparison of distinct pointer types" } */
if ((int*) metadata + 1 != (long*) data) /* { dg-warning "comparison of distinct pointer types" } */
return 5;
return 1;