blob: d06af6528fbca5f1174f122dacc8d8dc53eb4a35 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
/* 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 \\\*." } */
|
