]>
Commit | Line | Data |
---|---|---|
91ebb981 IS |
1 | /* Check CFString format extensions. */ |
2 | /* { dg-do compile { target *-*-darwin* } } */ | |
3 | /* { dg-options "-Wall" } */ | |
4 | ||
5 | extern int printf (const char *fmt, ...); | |
6 | ||
7 | typedef const struct __CFString * CFStringRef; | |
8 | ||
9 | #ifdef __CONSTANT_CFSTRINGS__ | |
10 | #define CFSTR(cStr) ((CFStringRef) __builtin___CFStringMakeConstantString ("" cStr "")) | |
11 | #else | |
12 | #error requires CFString | |
13 | #endif | |
14 | ||
15 | int s1 (CFStringRef fmt, ...) __attribute__((format(CFString, 1, 2))) ; /* OK */ | |
16 | int s2 (int a, CFStringRef fmt, ... ) __attribute__((format(__CFString__, 2, 3))) ; /* OK */ | |
17 | ||
23db6ced | 18 | int s2a (int a, CFStringRef fmt, ... ) __attribute__((format(CFString, 2, 2))) ; /* { dg-error ".format. attribute argument 3 value .2. does not refer to a variable argument list" } */ |
91ebb981 IS |
19 | |
20 | int s3 (const char *fmt, ... ) __attribute__((format(__CFString__, 1, 2))) ; /* { dg-error "format argument should be a .CFString. reference but a string was found" } */ | |
cf4600ed | 21 | int s4 (CFStringRef fmt, ... ) __attribute__((format(printf, 1, 2))) ; /* { dg-error "found a .CFStringRef.* but the format argument should be a string" } */ |
91ebb981 IS |
22 | |
23 | char *s5 (char dum, char *fmt1, ... ) __attribute__((format_arg(2))) ; /* OK */ | |
24 | CFStringRef s6 (CFStringRef dum, CFStringRef fmt1, ... ) __attribute__((format_arg(2))) ; /* OK */ | |
25 | ||
23db6ced | 26 | char *s7 (int dum, void *fmt1, ... ) __attribute__((format_arg(2))) ; /* { dg-error ".format_arg. attribute argument value .2. refers to parameter type .void \\\*." } */ |
91ebb981 IS |
27 | int s8 (CFStringRef dum, CFStringRef fmt1, ... ) __attribute__((format_arg(2))) ; /* { dg-error "function does not return string type" } */ |
28 | ||
29 | void foo (void) | |
30 | { | |
31 | CFStringRef notchk = CFSTR ("here is an unchecked %d %s string"); | |
32 | s1 (notchk, 5, 6, 7); | |
8595dc52 | 33 | printf("this one is checked %d %s", 3, 4, 5); /* { dg-warning "format .%s. expects argument of type .char .., but argument 3 has type .int." } */ |
6143c998 | 34 | /* { dg-warning "too many arguments for format" "" { target *-*-* } .-1 } */ |
8595dc52 IS |
35 | printf(s5 (1, "and so is this %d %d %s", 3, 4, "hey", 6), 5, 6, 12);/* { dg-warning "format .%s. expects argument of type .char .., but argument 4 has type .int." } */ |
36 | } |