blob: 4d901670519f58c1441c8e72063650acc05b8560 [file] [log] [blame]
/* PR 35503 - Warn about restricted pointers
Test to exercise that -Wrestrict warnings are issued for memory and
sring functions when they are declared in system headers (i.e., not
just when they are explicitly declared in the source file.)
Also verify that the warnings are issued even for calls where the
source of the aliasing violation is in a different function than
the restricted call.
{ dg-do compile }
{ dg-options "-O2 -Wrestrict" } */
#if __has_include (<stddef.h>)
# include <stddef.h>
#else
/* For cross-compilers. */
typedef __PTRDIFF_TYPE__ ptrdiff_t;
typedef __SIZE_TYPE__ size_t;
#endif
#if __has_include (<string.h>)
# include <string.h>
# undef memcpy
# undef strcat
# undef strcpy
# undef strncat
# undef strncpy
#else
extern void* memcpy (void*, const void*, size_t);
extern char* strcat (char*, const char*);
extern char* strcpy (char*, const char*);
extern char* strncat (char*, const char*, size_t);
extern char* strncpy (char*, const char*, size_t);
#endif
static void wrap_memcpy (void *d, const void *s, size_t n)
{
memcpy (d, s, n); /* { dg-warning "accessing 2 bytes at offsets 0 and 1 overlaps 1 byte at offset 1" "memcpy" } */
}
void call_memcpy (char *d)
{
const void *s = d + 1;
wrap_memcpy (d, s, 2);
}
static void wrap_strcat (char *d, const char *s)
{
strcat (d, s); /* { dg-warning "source argument is the same as destination" "strcat" } */
}
void call_strcat (char *d)
{
const char *s = d;
wrap_strcat (d, s);
}
static void wrap_strcpy (char *d, const char *s)
{
strcpy (d, s); /* { dg-warning "source argument is the same as destination" "strcpy" } */
}
void call_strcpy (char *d)
{
const char *s = d;
wrap_strcpy (d, s);
}
static void wrap_strncat (char *d, const char *s, size_t n)
{
strncat (d, s, n); /* { dg-warning "source argument is the same as destination" "strncat" } */
}
void call_strncat (char *d, size_t n)
{
const char *s = d;
wrap_strncat (d, s, n);
}
static void wrap_strncpy (char *d, const char *s, size_t n)
{
strncpy (d, s, n); /* { dg-warning "source argument is the same as destination" "strncpy" } */
}
void call_strncpy (char *d, size_t n)
{
const char *s = d;
wrap_strncpy (d, s, n);
}