[thirdparty/gcc.git] / gcc / testsuite / gcc.dg / Wbuiltin-declaration-mismatch-8.c

/* PR c/86125 - missing -Wbuiltin-declaration-mismatch on a mismatched
   return type
   Verify that declarations of file I/O built-ins with different
   definitions of struct FILE triggers -Wbuiltin-declaration-mismatch
   when -Wextra is specified.
   { dg-do compile }
   { dg-options "-Wall -Wbuiltin-declaration-mismatch" } */

struct FooFile;
int fputc (int, struct FooFile*);

typedef struct FooFile AlsoFooFile;
int fprintf (AlsoFooFile*, const char*, ...);

typedef AlsoFooFile* FooFilePtr;
int fscanf (FooFilePtr, const char*, ...);

/* No warning here (-Wextra not specified).  */
struct BarFile;
int vfprintf (struct BarFile*, const char*, __builtin_va_list);


/* Set -Wextra and verify -Wbuiltin-declaration-mismatch is issued.  */
#pragma GCC diagnostic warning "-Wextra"

int fputs (const char*, struct BarFile*);   /* { dg-warning "mismatch in argument 2 type of built-in function .fputs.; expected .struct FooFile \\\*." } */
Commit	Line	Data
d8b5a1a0 MS	1	/* PR c/86125 - missing -Wbuiltin-declaration-mismatch on a mismatched
	2	return type
	3	Verify that declarations of file I/O built-ins with different
	4	definitions of struct FILE triggers -Wbuiltin-declaration-mismatch
	5	when -Wextra is specified.
	6	{ dg-do compile }
	7	{ dg-options "-Wall -Wbuiltin-declaration-mismatch" } */
	8
	9	struct FooFile;
	10	int fputc (int, struct FooFile*);
	11
	12	typedef struct FooFile AlsoFooFile;
	13	int fprintf (AlsoFooFile, const char, ...);
	14
	15	typedef AlsoFooFile* FooFilePtr;
	16	int fscanf (FooFilePtr, const char*, ...);
	17
	18	/* No warning here (-Wextra not specified). */
	19	struct BarFile;
	20	int vfprintf (struct BarFile, const char, __builtin_va_list);
	21
	22
	23	/* Set -Wextra and verify -Wbuiltin-declaration-mismatch is issued. */
	24	#pragma GCC diagnostic warning "-Wextra"
	25
	26	int fputs (const char, struct BarFile); /* { dg-warning "mismatch in argument 2 type of built-in function .fputs.; expected .struct FooFile \\\." } /