Viewing file:  builtins-nonnull.c (10.51 KB) -rw-r--r--
Select action/file-type:
 (+) |  (+) |  (+) | Code (+) | Session (+) |  (+) | SDB (+) |  (+) |  (+) |  (+) |  (+) |  (+) |
/* PR c/17308 - nonnull attribute not as useful as it could be
PR c/78673 - sprintf missing attribute nonnull on destination argument
{ dg-do "compile" }
{ dg-additional-options "-O2 -Wnonnull -ftrack-macro-expansion=0 -std=c99" } */
#define va_list __builtin_va_list
typedef struct FILE FILE;
static char* null (void)
{
return 0;
}
void sink (int, ...);
#define T(arg) sink (0, arg)
#define bzero __builtin_bzero
#define memcpy __builtin_memcpy
#define memmove __builtin_memmove
#define mempcpy __builtin_mempcpy
#define memset __builtin_memset
void test_memfuncs (void *s, unsigned n)
{
/* Bzero is not declared attribute nonnull (maybe it should be?)
but it's transformed into a call to memset() which is. */
bzero (null (), n); /* { dg-warning "argument 1 null where non-null expected" } */
T (memcpy (null (), s, n)); /* { dg-warning "argument 1 null where non-null expected" } */
T (memcpy (s, null (), n)); /* { dg-warning "argument 2 null where non-null expected" } */
T (memmove (null (), s, n)); /* { dg-warning "argument 1 null where non-null expected" } */
T (memmove (s, null (), n)); /* { dg-warning "argument 2 null where non-null expected" } */
T (mempcpy (null (), s, n)); /* { dg-warning "argument 1 null where non-null expected" } */
T (mempcpy (s, null (), n)); /* { dg-warning "argument 2 null where non-null expected" } */
T (memset (null (), 0, n)); /* { dg-warning "argument 1 null where non-null expected" } */
}
#undef memcpy
#undef memmove
#undef mempcpy
#undef memset
#define memcpy(d, s, n) __builtin___memcpy_chk (d, s, n, n)
#define memmove(d, s, n) __builtin___memmove_chk (d, s, n, n)
#define mempcpy(d, s, n) __builtin___mempcpy_chk (d, s, n, n)
#define memset(d, x, n) __builtin___memset_chk (d, x, n, n)
void test_memfuncs_chk (void *s, unsigned n)
{
T (memcpy (null (), s, n)); /* { dg-warning "argument 1 null where non-null expected" } */
T (memcpy (s, null (), n)); /* { dg-warning "argument 2 null where non-null expected" } */
T (memmove (null (), s, n)); /* { dg-warning "argument 1 null where non-null expected" } */
T (memmove (s, null (), n)); /* { dg-warning "argument 2 null where non-null expected" } */
T (mempcpy (null (), s, n)); /* { dg-warning "argument 1 null where non-null expected" } */
T (mempcpy (s, null (), n)); /* { dg-warning "argument 2 null where non-null expected" } */
T (memset (null (), 0, n)); /* { dg-warning "argument 1 null where non-null expected" } */
}
#define strcat __builtin_strcat
#define strchr __builtin_strchr
#define stpcpy __builtin_stpcpy
#define stpncpy __builtin_stpncpy
#define strcpy __builtin_strcpy
#define strncpy __builtin_strncpy
#define strlen __builtin_strlen
#define strncat __builtin_strncat
#define strstr __builtin_strstr
void test_strfuncs (char *s, unsigned n)
{
T (strcat (null (), s)); /* { dg-warning "argument 1 null where non-null expected" } */
T (strcat (s, null ())); /* { dg-warning "argument 2 null where non-null expected" } */
T (strchr (null (), 'x')); /* { dg-warning "argument 1 null where non-null expected" } */
T (stpcpy (null (), s)); /* { dg-warning "argument 1 null where non-null expected" } */
T (stpcpy (s, null ())); /* { dg-warning "argument 2 null where non-null expected" } */
T (stpncpy (null (), s, n)); /* { dg-warning "argument 1 null where non-null expected" } */
T (stpncpy (s, null (), n)); /* { dg-warning "argument 2 null where non-null expected" } */
T (strcpy (null (), s)); /* { dg-warning "argument 1 null where non-null expected" } */
T (strcpy (s, null ())); /* { dg-warning "argument 2 null where non-null expected" } */
T (strncpy (null (), s, n)); /* { dg-warning "argument 1 null where non-null expected" } */
T (strncpy (s, null (), n)); /* { dg-warning "argument 2 null where non-null expected" } */
T (strlen (null ())); /* { dg-warning "argument 1 null where non-null expected" } */
T (strncat (s, null (), n)); /* { dg-warning "argument 2 null where non-null expected" } */
T (strncat (null (), s, n)); /* { dg-warning "argument 1 null where non-null expected" } */
T (strstr (null (), s)); /* { dg-warning "argument 1 null where non-null expected" } */
T (strstr (s, null ())); /* { dg-warning "argument 2 null where non-null expected" } */
}
#undef strcat
#undef stpcpy
#undef stpncpy
#undef strcpy
#undef strncpy
#undef strncat
#define strcat(d, s) __builtin___strcat_chk (d, s, n)
#define stpcpy(d, s) __builtin___stpcpy_chk (d, s, n)
#define stpncpy(d, s, n) __builtin___stpncpy_chk (d, s, n, n)
#define strcpy(d, s) __builtin___strcpy_chk (d, s, n)
#define strncpy(d, s, n) __builtin___strncpy_chk (d, s, n, n)
#define strncat(d, s, n) __builtin___strncat_chk (d, s, n, n)
void test_strfuncs_chk (char *s, unsigned n)
{
T (strcat (null (), s)); /* { dg-warning "argument 1 null where non-null expected" } */
T (strcat (s, null ())); /* { dg-warning "argument 2 null where non-null expected" } */
T (strchr (null (), 'x')); /* { dg-warning "argument 1 null where non-null expected" } */
T (stpcpy (null (), s)); /* { dg-warning "argument 1 null where non-null expected" } */
T (stpcpy (s, null ())); /* { dg-warning "argument 2 null where non-null expected" } */
T (stpncpy (null (), s, n)); /* { dg-warning "argument 1 null where non-null expected" } */
T (stpncpy (s, null (), n)); /* { dg-warning "argument 2 null where non-null expected" } */
T (strcpy (null (), s)); /* { dg-warning "argument 1 null where non-null expected" } */
T (strcpy (s, null ())); /* { dg-warning "argument 2 null where non-null expected" } */
T (strncpy (null (), s, n)); /* { dg-warning "argument 1 null where non-null expected" } */
T (strncpy (s, null (), n)); /* { dg-warning "argument 2 null where non-null expected" } */
T (strncat (s, null (), n)); /* { dg-warning "argument 2 null where non-null expected" } */
T (strncat (null (), s, n)); /* { dg-warning "argument 1 null where non-null expected" } */
}
#define fprintf __builtin_fprintf
#define fprintf_unlocked __builtin_fprintf_unlocked
#define vfprintf __builtin_vfprintf
#define printf __builtin_printf
#define printf_unlocked __builtin_printf_unlocked
#define vprintf __builtin_vprintf
#define sprintf __builtin_sprintf
#define snprintf __builtin_snprintf
#define vsprintf __builtin_vsprintf
#define vsnprintf __builtin_vsnprintf
void test_stdio_funcs (FILE *f, char *d, unsigned n, va_list va)
{
T (fprintf (null (), "%i", 0)); /* { dg-warning "argument 1 null where non-null expected" } */
T (fprintf (f, null ())); /* { dg-warning "argument 2 null where non-null expected" } */
T (fprintf_unlocked (null (), "%i", 0)); /* { dg-warning "argument 1 null where non-null expected" } */
T (fprintf_unlocked (f, null ())); /* { dg-warning "argument 2 null where non-null expected" } */
T (vfprintf (null (), "%i", va));/* { dg-warning "argument 1 null where non-null expected" } */
T (vfprintf (f, null (), va)); /* { dg-warning "argument 2 null where non-null expected" } */
T (vprintf (null (), va)); /* { dg-warning "argument 1 null where non-null expected" } */
T (printf (null ())); /* { dg-warning "argument 1 null where non-null expected" } */
T (printf_unlocked (null ())); /* { dg-warning "argument 1 null where non-null expected" } */
T (vprintf (null (), va)); /* { dg-warning "argument 1 null where non-null expected" } */
T (sprintf (null (), "%i", 0)); /* { dg-warning "argument 1 null where non-null expected" } */
T (sprintf (d, null ())); /* { dg-warning "argument 2 null where non-null expected" } */
T (snprintf (null (), n, "%i", 0));
T (snprintf (d, n, null ())); /* { dg-warning "argument 3 null where non-null expected" } */
T (vsprintf (null (), "%i", va)); /* { dg-warning "argument 1 null where non-null expected" } */
T (vsprintf (d, null (), va)); /* { dg-warning "argument 2 null where non-null expected" } */
T (vsnprintf (null (), n, "%i", va));
T (vsnprintf (d, n, null (), va)); /* { dg-warning "argument 3 null where non-null expected" } */
}
#undef fprintf
#undef fprintf_unlocked
#undef vfprintf
#undef printf
#undef printf_unlocked
#undef vprintf
#undef sprintf
#undef snprintf
#undef vsprintf
#undef vsnprintf
#define fprintf(f, fmt, ...) \
__builtin___fprintf_chk (f, 0, fmt, __VA_ARGS__)
#define vfprintf(f, fmt, va) \
__builtin___vfprintf_chk (f, 0, fmt, va)
#define printf(fmt, ...) \
__builtin___printf_chk (0, fmt, __VA_ARGS__)
#define vprintf(fmt, va) \
__builtin___vprintf_chk (0, fmt, va)
#define sprintf(d, fmt, ... ) \
__builtin___sprintf_chk (d, 0, n, fmt, __VA_ARGS__)
#define snprintf(d, n, fmt, ...) \
__builtin___snprintf_chk (d, n, 0, n, fmt, __VA_ARGS__)
#define vsprintf(d, fmt, va) \
__builtin___vsprintf_chk (d, 0, n, fmt, va)
#define vsnprintf(d, n, fmt, va) \
__builtin___vsnprintf_chk (d, n, 0, n, fmt, va)
void test_stdio_funcs_chk (FILE *f, char *d, const char *fmt,
unsigned n, va_list va)
{
T (fprintf (null (), "%i", 0)); /* { dg-warning "argument 1 null where non-null expected" } */
T (fprintf (f, null (), 0)); /* { dg-warning "argument 3 null where non-null expected" } */
T (vfprintf (null (), "%i", va));/* { dg-warning "argument 1 null where non-null expected" } */
T (vfprintf (f, null (), va)); /* { dg-warning "argument 3 null where non-null expected" } */
T (vprintf (null (), va)); /* { dg-warning "argument 2 null where non-null expected" } */
T (printf (null (), 0)); /* { dg-warning "argument 2 null where non-null expected" } */
T (vprintf (null (), va)); /* { dg-warning "argument 2 null where non-null expected" } */
T (sprintf (null (), "%i", 0)); /* { dg-warning "argument 1 null where non-null expected" } */
T (sprintf (d, null (), 0)); /* { dg-warning "argument 4 null where non-null expected" } */
T (snprintf (null (), n, "%i", 0));
T (snprintf (d, n, null (), 0)); /* { dg-warning "argument 5 null where non-null expected" } */
T (vsprintf (null (), "%i", va)); /* { dg-warning "argument 1 null where non-null expected" } */
T (vsprintf (d, null (), va)); /* { dg-warning "argument 4 null where non-null expected" } */
T (vsnprintf (null (), n, "%i", va));
T (vsnprintf (d, n, null (), va)); /* { dg-warning "argument 5 null where non-null expected" } */
}
|
