diff options
| author | Ted Kremenek <kremenek@apple.com> | 2010-02-16 01:46:59 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2010-02-16 01:46:59 +0000 |
| commit | 4e4b30ec62d78b24e6556fea2624855c193d0e3e (patch) | |
| tree | c4d277ecc23e3313dd7145b30d068e3fb16c4b44 /test/Sema/block-printf-attribute-1.c | |
| parent | 252bee91e9961d9182323c4017092f90d6a09b1d (diff) | |
Refactor the logic for printf argument type-checking into analyze_printf::ArgTypeResult.
Implement printf argument type checking for '%s'.
Fixes <rdar://problem/3065808>.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@96310 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Sema/block-printf-attribute-1.c')
| -rw-r--r-- | test/Sema/block-printf-attribute-1.c | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/test/Sema/block-printf-attribute-1.c b/test/Sema/block-printf-attribute-1.c index 8ea77ece12..c19b3788a3 100644 --- a/test/Sema/block-printf-attribute-1.c +++ b/test/Sema/block-printf-attribute-1.c @@ -6,7 +6,6 @@ int main() { void (^z) (int arg, const char * format, ...) __attribute__ ((__format__ (__printf__, 2, 3))) = ^ __attribute__ ((__format__ (__printf__, 2, 3))) (int arg, const char * format, ...) {}; - // FIXME: argument type poking not yet supportted. - z(1, "%s", 1); /* { dg-warning "format \\'\%s\\' expects type \\'char \\*\\'\, but argument 3 has type \\'int\\'" } */ - z(1, "%s", "HELLO"); // OK + z(1, "%s", 1); // expected-warning{{conversion specifies type 'char *' but the argument has type 'int'}} + z(1, "%s", "HELLO"); // no-warning } |