1/* Test warnings for missing format attributes on function pointers.  */
2/* Origin: Kaveh Ghazi <ghazi@caip.rutgers.edu> */
3/* { dg-do compile } */
4/* { dg-options "-Wmissing-format-attribute" } */
5/* { dg-options "-Wmissing-format-attribute -Wno-abi" { target arm_eabi } } */
6
7#include <stdarg.h>
8
9typedef void (*noattr_t) (const char *, ...);
10typedef noattr_t __attribute__ ((__format__(__printf__, 1, 2))) attr_t;
11
12typedef void (*vnoattr_t) (const char *, va_list);
13typedef vnoattr_t __attribute__ ((__format__(__printf__, 1, 0))) vattr_t;
14
15noattr_t
16foo1 (noattr_t na, attr_t a, int i)
17{
18  if (i)
19    return na;
20  else
21    return a; /* { dg-warning "candidate" "return type warning" } */
22}
23
24attr_t
25foo2 (noattr_t na, attr_t a, int i)
26{
27  if (i)
28    return na;
29  else
30    return a;
31}
32
33vnoattr_t
34foo3 (vnoattr_t vna, vattr_t va, int i)
35{
36  if (i)
37    return vna;
38  else
39    return va; /* { dg-warning "candidate" "return type warning" } */
40}
41
42vattr_t
43foo4 (vnoattr_t vna, vattr_t va, int i)
44{
45  if (i)
46    return vna;
47  else
48    return va;
49}
50