| Nico Weber | c888133 | 2012-09-26 09:02:07 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -verify -fsyntax-only -Wformat -Wno-format-y2k %s |
| Fariborz Jahanian | 997e15c | 2011-06-14 21:54:00 +0000 | [diff] [blame] | 2 | // rdar://9504680 |
| 3 | |
| 4 | void foo(const char *, ...) __attribute__((__format__ (__printf__, 1, 2))); |
| 5 | |
| 6 | void bar(unsigned int a) { |
| Ted Kremenek | ce506ae | 2012-01-20 21:52:58 +0000 | [diff] [blame] | 7 | foo("%s", a); // expected-warning {{format specifies type 'char *' but the argument has type 'unsigned int'}} |
| Fariborz Jahanian | 997e15c | 2011-06-14 21:54:00 +0000 | [diff] [blame] | 8 | } |
| 9 | |