clang-tests/gcc-4_2-testsuite/src/objc.dg/format-security-attribute-3.m

/* APPLE LOCAL file radar 5096648 */
/* Test for implementation of (__format__ (__CFString__, m, n)) attribute */
/* { dg-options "-fconstant-cfstrings -Wformat -Wformat-security" } */
/* { dg-do compile { target *-*-darwin* } } */

typedef const struct __CFString * CFStringRef;
#define CFSTR(cStr)  ((CFStringRef) __builtin___CFStringMakeConstantString ("" cStr "")) /* { dg-warning "expanded from macro" } */
#define SECURITY_ATTR    __attribute__ ((__format__ (__CFString__, 1, 2)))

extern void CFLog(CFStringRef format, ...) SECURITY_ATTR;

int d;
const char *string;
int main()
{
    CFStringRef foo;
        CFLog (foo); /* { dg-warning "format string is not a string literal" } */
    CFLog (foo, d);  // ok
    CFLog(CFSTR("foo is %@"), CFSTR("foo is %@"), foo); /* { dg-warning "data argument not used by format string" } */
    CFLog(CFSTR("foo is %@"), CFSTR("foo is %@")); // OK
    CFLog(CFSTR("foo is %@"), CFSTR("foo is %@"), foo);  /* { dg-warning "data argument not used by format string" } */
    CFLog(CFSTR("foo is %@")); /* { dg-warning "more '%' conversions than data arguments" } */
}