Wbuiltin-declaration-mismatch-12.c: New test.

gcc/testsuite/ChangeLog:
	* gcc.dg/Wbuiltin-declaration-mismatch-12.c: New test.

From-SVN: r269120
This commit is contained in:
Martin Sebor 2019-02-22 16:21:07 +00:00 committed by Martin Sebor
parent f143228062
commit d228ac9ae5
2 changed files with 12 additions and 0 deletions

View File

@ -1,3 +1,7 @@
2019-02-22 Martin Sebor <msebor@redhat.com>
* gcc.dg/Wbuiltin-declaration-mismatch-12.c: New test.
2019-02-22 H.J. Lu <hongjiu.lu@intel.com>
Hongtao Liu <hongtao.liu@intel.com>
Sunil K Pandey <sunil.k.pandey@intel.com>

View File

@ -0,0 +1,8 @@
/* Verify that declaring the __clear_cache and __builtin_prefetch
intrinsic functions with the wrong signature is diagnosed.
{ dg-do compile }
{ dg-options "-Wbuiltin-declaration-mismatch -Wextra" } */
extern void __clear_cache (char*, char*); /* { dg-warning "mismatch in argument 1 type of built-in function .__clear_cache.; expected .void \\\*." } */
void __builtin_prefetch (const char *, ...); /* { dg-warning "mismatch in argument 1 type of built-in function .__builtin_prefetch.; expected .const void \\\*." } */