1// RUN: %clang_cc1 -triple x86_64-apple-darwin -Wformat-nonliteral -fsyntax-only -fblocks -verify -Wno-objc-root-class %s 2 3//===----------------------------------------------------------------------===// 4// The following code is reduced using delta-debugging from 5// Foundation.h (Mac OS X). 6// 7// It includes the basic definitions for the test cases below. 8// Not including Foundation.h directly makes this test case both svelt and 9// portable to non-Mac platforms. 10//===----------------------------------------------------------------------===// 11 12#include <stdarg.h> 13 14typedef signed char BOOL; 15typedef unsigned int NSUInteger; 16typedef long NSInteger; 17@class NSString, Protocol; 18extern void NSLog(NSString *format, ...); 19extern void NSLogv(NSString *format, va_list args); 20typedef struct _NSZone NSZone; 21@class NSInvocation, NSMethodSignature, NSCoder, NSString, NSEnumerator; 22@protocol NSObject - (BOOL)isEqual:(id)object; @end 23@protocol NSCopying - (id)copyWithZone:(NSZone *)zone; @end 24@protocol NSMutableCopying - (id)mutableCopyWithZone:(NSZone *)zone; @end 25@protocol NSCoding - (void)encodeWithCoder:(NSCoder *)aCoder; @end 26@interface NSObject <NSObject> {} @end 27typedef float CGFloat; 28@interface NSString : NSObject <NSCopying, NSMutableCopying, NSCoding> - (NSUInteger)length; @end 29@interface NSSimpleCString : NSString {} @end 30@interface NSConstantString : NSSimpleCString @end 31extern void *_NSConstantStringClassReference; 32 33typedef const struct __CFString * CFStringRef; 34extern void CFStringCreateWithFormat(CFStringRef format, ...) __attribute__((format(CFString, 1, 2))); 35#define CFSTR(cStr) ((CFStringRef) __builtin___CFStringMakeConstantString ("" cStr "")) 36 37// This function is used instead of the builtin if -fno-constant-cfstrings. 38// The definition on Mac OS X is NOT annotated with format_arg as of 10.8, 39// but clang will implicitly add the attribute if it's not written. 40extern CFStringRef __CFStringMakeConstantString(const char *); 41 42int printf(const char * restrict, ...) ; 43 44//===----------------------------------------------------------------------===// 45// Test cases. 46//===----------------------------------------------------------------------===// 47 48void check_nslog(unsigned k) { 49 NSLog(@"%d%%", k); // no-warning 50 NSLog(@"%s%lb%d", "unix", 10,20); // expected-warning {{invalid conversion specifier 'b'}} 51} 52 53// Check type validation 54extern void NSLog2(int format, ...) __attribute__((format(__NSString__, 1, 2))); // expected-error {{format argument not an NSString}} 55extern void CFStringCreateWithFormat2(int *format, ...) __attribute__((format(CFString, 1, 2))); // expected-error {{format argument not a CFString}} 56 57// <rdar://problem/7068334> - Catch use of long long with int arguments. 58void rdar_7068334() { 59 long long test = 500; 60 printf("%i ",test); // expected-warning{{format specifies type 'int' but the argument has type 'long long'}} 61 NSLog(@"%i ",test); // expected-warning{{format specifies type 'int' but the argument has type 'long long'}} 62 CFStringCreateWithFormat(CFSTR("%i"),test); // expected-warning{{format specifies type 'int' but the argument has type 'long long'}} 63} 64 65// <rdar://problem/7697748> 66void rdar_7697748() { 67 NSLog(@"%@!"); // expected-warning{{more '%' conversions than data arguments}} 68} 69 70@protocol Foo; 71 72void test_p_conversion_with_objc_pointer(id x, id<Foo> y) { 73 printf("%p", x); // no-warning 74 printf("%p", y); // no-warning 75} 76 77// <rdar://problem/10696348>, PR 10274 - CFString and NSString formats are ignored 78extern void MyNSLog(NSString *format, ...) __attribute__((format(__NSString__, 1, 2))); 79extern void MyCFStringCreateWithFormat(CFStringRef format, ...) __attribute__((format(__CFString__, 1, 2))); 80 81void check_mylog() { 82 MyNSLog(@"%@"); // expected-warning {{more '%' conversions than data arguments}} 83 MyCFStringCreateWithFormat(CFSTR("%@")); // expected-warning {{more '%' conversions than data arguments}} 84} 85 86// PR 10275 - format function attribute isn't checked in Objective-C methods 87@interface Foo 88+ (id)fooWithFormat:(NSString *)fmt, ... __attribute__((format(__NSString__, 1, 2))); 89+ (id)fooWithCStringFormat:(const char *)format, ... __attribute__((format(__printf__, 1, 2))); 90@end 91 92void check_method() { 93 [Foo fooWithFormat:@"%@"]; // expected-warning {{more '%' conversions than data arguments}} 94 [Foo fooWithCStringFormat:"%@"]; // expected-warning {{invalid conversion specifier '@'}} 95} 96 97// Warn about using BOOL with %@ 98void rdar10743758(id x) { 99 NSLog(@"%@ %@", x, (BOOL) 1); // expected-warning {{format specifies type 'id' but the argument has type 'BOOL' (aka 'signed char')}} 100} 101 102NSString *test_literal_propagation(void) { 103 const char * const s1 = "constant string %s"; // expected-note {{format string is defined here}} 104 printf(s1); // expected-warning {{more '%' conversions than data arguments}} 105 const char * const s5 = "constant string %s"; // expected-note {{format string is defined here}} 106 const char * const s2 = s5; 107 printf(s2); // expected-warning {{more '%' conversions than data arguments}} 108 109 const char * const s3 = (const char *)0; 110 printf(s3); // no-warning (NULL is a valid format string) 111 112 NSString * const ns1 = @"constant string %s"; // expected-note {{format string is defined here}} 113 NSLog(ns1); // expected-warning {{more '%' conversions than data arguments}} 114 NSString * const ns5 = @"constant string %s"; // expected-note {{format string is defined here}} 115 NSString * const ns2 = ns5; 116 NSLog(ns2); // expected-warning {{more '%' conversions than data arguments}} 117 NSString * ns3 = ns1; 118 NSLog(ns3); // expected-warning {{format string is not a string literal}}} 119 120 NSString * const ns6 = @"split" " string " @"%s"; // expected-note {{format string is defined here}} 121 NSLog(ns6); // expected-warning {{more '%' conversions than data arguments}} 122} 123 124// Do not emit warnings when using NSLocalizedString 125#include "format-strings-system.h" 126 127// Test it inhibits diag only for macros in system headers 128#define MyNSLocalizedString(key) GetLocalizedString(key) 129#define MyNSAssert(fmt, arg) NSLog(fmt, arg, 0, 0) 130 131void check_NSLocalizedString() { 132 [Foo fooWithFormat:NSLocalizedString(@"format"), @"arg"]; // no-warning 133 [Foo fooWithFormat:MyNSLocalizedString(@"format"), @"arg"]; // expected-warning {{format string is not a string literal}}} 134} 135 136void check_NSAssert() { 137 NSAssert(@"Hello %@", @"World"); // no-warning 138 MyNSAssert(@"Hello %@", @"World"); // expected-warning {{data argument not used by format string}} 139} 140 141typedef __WCHAR_TYPE__ wchar_t; 142 143// Test that %S, %C, %ls check for 16 bit types in ObjC strings, as described at 144// http://developer.apple.com/library/mac/#documentation/Cocoa/Conceptual/Strings/Articles/formatSpecifiers.html#//apple_ref/doc/uid/TP40004265 145 146void test_percent_S() { 147 const unsigned short data[] = { 'a', 'b', 0 }; 148 const unsigned short* ptr = data; 149 NSLog(@"%S", ptr); // no-warning 150 151 const wchar_t* wchar_ptr = L"ab"; 152 NSLog(@"%S", wchar_ptr); // expected-warning{{format specifies type 'const unichar *' (aka 'const unsigned short *') but the argument has type 'const wchar_t *'}} 153} 154 155void test_percent_ls() { 156 const unsigned short data[] = { 'a', 'b', 0 }; 157 const unsigned short* ptr = data; 158 NSLog(@"%ls", ptr); // no-warning 159 160 const wchar_t* wchar_ptr = L"ab"; 161 NSLog(@"%ls", wchar_ptr); // expected-warning{{format specifies type 'const unichar *' (aka 'const unsigned short *') but the argument has type 'const wchar_t *'}} 162} 163 164void test_percent_C() { 165 const unsigned short data = 'a'; 166 NSLog(@"%C", data); // no-warning 167 168 const wchar_t wchar_data = L'a'; 169 NSLog(@"%C", wchar_data); // expected-warning{{format specifies type 'unichar' (aka 'unsigned short') but the argument has type 'wchar_t'}} 170} 171 172// Test that %@ works with toll-free bridging (<rdar://problem/10814120>). 173void test_toll_free_bridging(CFStringRef x, id y) { 174 NSLog(@"%@", x); // no-warning 175 CFStringCreateWithFormat(CFSTR("%@"), x); // no-warning 176 177 NSLog(@"%@", y); // no-warning 178 CFStringCreateWithFormat(CFSTR("%@"), y); // no-warning 179} 180 181@interface Bar 182+ (void)log:(NSString *)fmt, ...; 183+ (void)log2:(NSString *)fmt, ... __attribute__((format(NSString, 1, 2))); 184@end 185 186@implementation Bar 187 188+ (void)log:(NSString *)fmt, ... { 189 va_list ap; 190 va_start(ap,fmt); 191 NSLogv(fmt, ap); // expected-warning{{format string is not a string literal}} 192 va_end(ap); 193} 194 195+ (void)log2:(NSString *)fmt, ... { 196 va_list ap; 197 va_start(ap,fmt); 198 NSLogv(fmt, ap); // no-warning 199 va_end(ap); 200} 201 202@end 203 204 205// Test that it is okay to use %p with the address of a block. 206void rdar11049844_aux(); 207int rdar11049844() { 208 typedef void (^MyBlock)(void); 209 MyBlock x = ^void() { rdar11049844_aux(); }; 210 printf("%p", x); // no-warning 211} 212 213void test_nonBuiltinCFStrings() { 214 CFStringCreateWithFormat(__CFStringMakeConstantString("%@"), 1); // expected-warning{{format specifies type 'id' but the argument has type 'int'}} 215} 216 217 218// Don't crash on an invalid argument expression. 219// <rdar://problem/11890818> 220@interface NSDictionary : NSObject 221- (id)objectForKeyedSubscript:(id)key; 222@end 223 224void testInvalidFormatArgument(NSDictionary *dict) { 225 NSLog(@"no specifiers", dict[CFSTR("abc")]); // expected-error{{indexing expression is invalid because subscript type 'CFStringRef' (aka 'const struct __CFString *') is not an integral or Objective-C pointer type}} 226 NSLog(@"%@", dict[CFSTR("abc")]); // expected-error{{indexing expression is invalid because subscript type 'CFStringRef' (aka 'const struct __CFString *') is not an integral or Objective-C pointer type}} 227 NSLog(@"%@ %@", dict[CFSTR("abc")]); // expected-error{{indexing expression is invalid because subscript type 'CFStringRef' (aka 'const struct __CFString *') is not an integral or Objective-C pointer type}} 228 229 [Foo fooWithFormat:@"no specifiers", dict[CFSTR("abc")]]; // expected-error{{indexing expression is invalid because subscript type 'CFStringRef' (aka 'const struct __CFString *') is not an integral or Objective-C pointer type}} 230 [Foo fooWithFormat:@"%@", dict[CFSTR("abc")]]; // expected-error{{indexing expression is invalid because subscript type 'CFStringRef' (aka 'const struct __CFString *') is not an integral or Objective-C pointer type}} 231 [Foo fooWithFormat:@"%@ %@", dict[CFSTR("abc")]]; // expected-error{{indexing expression is invalid because subscript type 'CFStringRef' (aka 'const struct __CFString *') is not an integral or Objective-C pointer type}} expected-warning{{more '%' conversions than data arguments}} 232} 233 234 235// <rdar://problem/11825593> 236void testByValueObjectInFormat(Foo *obj) { 237 printf("%d %d %d", 1L, *obj, 1L); // expected-error {{cannot pass object with interface type 'Foo' by value to variadic function; expected type from format string was 'int'}} expected-warning 2 {{format specifies type 'int' but the argument has type 'long'}} 238 printf("%!", *obj); // expected-error {{cannot pass object with interface type 'Foo' by value through variadic function}} expected-warning {{invalid conversion specifier}} 239 printf(0, *obj); // expected-error {{cannot pass object with interface type 'Foo' by value through variadic function}} 240 241 [Bar log2:@"%d", *obj]; // expected-error {{cannot pass object with interface type 'Foo' by value to variadic method; expected type from format string was 'int'}} 242} 243 244// <rdar://problem/13557053> 245void testTypeOf(NSInteger dW, NSInteger dH) { 246 NSLog(@"dW %d dH %d",({ __typeof__(dW) __a = (dW); __a < 0 ? -__a : __a; }),({ __typeof__(dH) __a = (dH); __a < 0 ? -__a : __a; })); // expected-warning 2 {{format specifies type 'int' but the argument has type 'long'}} 247} 248 249void testUnicode() { 250 NSLog(@"%C", 0x2022); // no-warning 251 NSLog(@"%C", 0x202200); // expected-warning{{format specifies type 'unichar' (aka 'unsigned short') but the argument has type 'int'}} 252} 253 254// Test Objective-C modifier flags. 255void testObjCModifierFlags() { 256 NSLog(@"%[]@", @"Foo"); // expected-warning {{missing object format flag}} 257 NSLog(@"%[", @"Foo"); // expected-warning {{incomplete format specifier}} 258 NSLog(@"%[tt", @"Foo"); // expected-warning {{incomplete format specifier}} 259 NSLog(@"%[tt]@", @"Foo"); // no-warning 260 NSLog(@"%[tt]@ %s", @"Foo", "hello"); // no-warning 261 NSLog(@"%s %[tt]@", "hello", @"Foo"); // no-warning 262 NSLog(@"%[blark]@", @"Foo"); // expected-warning {{'blark' is not a valid object format flag}} 263 NSLog(@"%2$[tt]@ %1$[tt]@", @"Foo", @"Bar"); // no-warning 264 NSLog(@"%2$[tt]@ %1$[tt]s", @"Foo", @"Bar"); // expected-warning {{object format flags cannot be used with 's' conversion specifier}} 265} 266 267