Viewing file:  Wbuiltin-declaration-mismatch-14.c (2.1 KB) -rw-r--r--
Select action/file-type:
 (+) |  (+) |  (+) | Code (+) | Session (+) |  (+) | SDB (+) |  (+) |  (+) |  (+) |  (+) |  (+) |
/* PR c/94040 - ICE on a call to an invalid redeclaration of strftime
{ dg-do compile }
{ dg-options "-Wall" } */
typedef __SIZE_TYPE__ size_t;
struct tm;
size_t strftime (char *, size_t, int *, struct tm *); // { dg-warning "-Wbuiltin-declaration-mismatch" }
size_t call_strftime (char *d, size_t n, int *f, struct tm *t)
{
size_t r = 0;
r += strftime (0, 0, 0, 0);
r += strftime (d, 0, 0, 0);
r += strftime (d, n, 0, 0);
r += strftime (d, n, f, 0);
r += strftime (d, n, f, t);
return r;
}
char* strchr (char*, char*); // { dg-warning "-Wbuiltin-declaration-mismatch" }
// Verify that missing/extra qualifiers aren't diagnosed without -Wextra.
int strcmp (char*, char*);
int strncmp (volatile char*, volatile char*, size_t);
// Verify that a difference in pointers is diagnosed.
size_t strlen (const char**);
// { dg-warning "-Wbuiltin-declaration-mismatch" "pointer" { target *-*-* } .-1 }
size_t strnlen (const char* const*, size_t);
// { dg-warning "-Wbuiltin-declaration-mismatch" "pointer" { target *-*-* } .-1 }
// Verify that calls to the compatibly-redeclared built-ins are treated
// as those to the built-ins and diagnosed.
int test_builtin_calls (size_t n)
{
int r = 0;
r += strcmp ((char*)0, ""); // { dg-warning "\\\[-Wnonnull]" }
r += strcmp ("", (char*)0); // { dg-warning "\\\[-Wnonnull]" }
r += strncmp ((char*)0, "", n); // { dg-warning "\\\[-Wnonnull]" }
r += strncmp ("", (char*)0, n); // { dg-warning "\\\[-Wnonnull]" }
return r;
}
// Verify that calls to the incompatibly-redeclared built-ins are not
// treated as those to the built-ins by the middle-end. It doesn't
// matter if the front-end diagnoses them but the middle-end should
// not because it shouldn't recognize them as built-ins.
#pragma GCC optimize "2"
size_t test_nonbuiltin_calls (char *s, int c)
{
void *null = 0;
char *r;
r = strchr ((char*)null, s);
r = strchr (r, (char*)null);
*s = *r; // use the result
size_t n = 0;
n += strftime (0, 0, 0, 0);
n += strlen ((const char**)null);
n += strnlen ((const char**)null, n);
return n;
}
|
