/* Test warnings for missing format attributes on function pointers. */
|
/* Test warnings for missing format attributes on function pointers. */
|
/* Origin: Kaveh Ghazi <ghazi@caip.rutgers.edu> */
|
/* Origin: Kaveh Ghazi <ghazi@caip.rutgers.edu> */
|
/* { dg-do compile } */
|
/* { dg-do compile } */
|
/* { dg-options "-std=gnu99 -Wmissing-format-attribute" } */
|
/* { dg-options "-std=gnu99 -Wmissing-format-attribute" } */
|
|
|
#define DONT_GNU_PROTOTYPE
|
#define DONT_GNU_PROTOTYPE
|
#include "format.h"
|
#include "format.h"
|
|
|
typedef void (*noattr_t) (const char *, ...);
|
typedef void (*noattr_t) (const char *, ...);
|
typedef noattr_t __attribute__ ((__format__(gnu_attr___printf__, 1, 2))) attr_t;
|
typedef noattr_t __attribute__ ((__format__(gnu_attr___printf__, 1, 2))) attr_t;
|
|
|
typedef void (*vnoattr_t) (const char *, va_list);
|
typedef void (*vnoattr_t) (const char *, va_list);
|
typedef vnoattr_t __attribute__ ((__format__(gnu_attr___printf__, 1, 0))) vattr_t;
|
typedef vnoattr_t __attribute__ ((__format__(gnu_attr___printf__, 1, 0))) vattr_t;
|
|
|
noattr_t
|
noattr_t
|
foo1 (noattr_t na, attr_t a, int i)
|
foo1 (noattr_t na, attr_t a, int i)
|
{
|
{
|
if (i)
|
if (i)
|
return na;
|
return na;
|
else
|
else
|
return a; /* { dg-warning "candidate" "return type warning" } */
|
return a; /* { dg-warning "candidate" "return type warning" } */
|
}
|
}
|
|
|
attr_t
|
attr_t
|
foo2 (noattr_t na, attr_t a, int i)
|
foo2 (noattr_t na, attr_t a, int i)
|
{
|
{
|
if (i)
|
if (i)
|
return na;
|
return na;
|
else
|
else
|
return a;
|
return a;
|
}
|
}
|
|
|
vnoattr_t
|
vnoattr_t
|
foo3 (vnoattr_t vna, vattr_t va, int i)
|
foo3 (vnoattr_t vna, vattr_t va, int i)
|
{
|
{
|
if (i)
|
if (i)
|
return vna;
|
return vna;
|
else
|
else
|
return va; /* { dg-warning "candidate" "return type warning" } */
|
return va; /* { dg-warning "candidate" "return type warning" } */
|
}
|
}
|
|
|
vattr_t
|
vattr_t
|
foo4 (vnoattr_t vna, vattr_t va, int i)
|
foo4 (vnoattr_t vna, vattr_t va, int i)
|
{
|
{
|
if (i)
|
if (i)
|
return vna;
|
return vna;
|
else
|
else
|
return va;
|
return va;
|
}
|
}
|
|
|