diff options
author | Jean-Daniel Dupas <devlists@shadowlab.org> | 2012-01-25 00:55:11 +0000 |
---|---|---|
committer | Jean-Daniel Dupas <devlists@shadowlab.org> | 2012-01-25 00:55:11 +0000 |
commit | 3b8dfa069b5aafe62abd8c761d47d22f78dc7642 (patch) | |
tree | 5b0ce04051b0f26eac6164221955b07576eb56cd | |
parent | e171601ff68e51a10ac907299190a23076eb5002 (diff) | |
download | bcm5719-llvm-3b8dfa069b5aafe62abd8c761d47d22f78dc7642.tar.gz bcm5719-llvm-3b8dfa069b5aafe62abd8c761d47d22f78dc7642.zip |
Add "multiple format attributes" support on block.
llvm-svn: 148890
-rw-r--r-- | clang/lib/Sema/SemaChecking.cpp | 12 | ||||
-rw-r--r-- | clang/test/Sema/block-printf-attribute-1.c | 10 |
2 files changed, 16 insertions, 6 deletions
diff --git a/clang/lib/Sema/SemaChecking.cpp b/clang/lib/Sema/SemaChecking.cpp index dbb0a0efaa4..f5a8b448a17 100644 --- a/clang/lib/Sema/SemaChecking.cpp +++ b/clang/lib/Sema/SemaChecking.cpp @@ -508,11 +508,6 @@ bool Sema::CheckObjCMethodCall(ObjCMethodDecl *Method, SourceLocation lbrac, } bool Sema::CheckBlockCall(NamedDecl *NDecl, CallExpr *TheCall) { - // Printf checking. - const FormatAttr *Format = NDecl->getAttr<FormatAttr>(); - if (!Format) - return false; - const VarDecl *V = dyn_cast<VarDecl>(NDecl); if (!V) return false; @@ -521,7 +516,12 @@ bool Sema::CheckBlockCall(NamedDecl *NDecl, CallExpr *TheCall) { if (!Ty->isBlockPointerType()) return false; - CheckFormatArguments(Format, TheCall); + // format string checking. + for (specific_attr_iterator<FormatAttr> + i = NDecl->specific_attr_begin<FormatAttr>(), + e = NDecl->specific_attr_end<FormatAttr>(); i != e ; ++i) { + CheckFormatArguments(*i, TheCall); + } return false; } diff --git a/clang/test/Sema/block-printf-attribute-1.c b/clang/test/Sema/block-printf-attribute-1.c index 8188ba5b55f..dd678a5439c 100644 --- a/clang/test/Sema/block-printf-attribute-1.c +++ b/clang/test/Sema/block-printf-attribute-1.c @@ -1,5 +1,7 @@ // RUN: %clang_cc1 %s -fsyntax-only -verify -fblocks +#include <stdarg.h> + int main() { void (^b) (int arg, const char * format, ...) __attribute__ ((__format__ (__printf__, 1, 3))) = // expected-error {{format argument not a string type}} ^ __attribute__ ((__format__ (__printf__, 1, 3))) (int arg, const char * format, ...) {}; // expected-error {{format argument not a string type}} @@ -9,3 +11,11 @@ int main() { z(1, "%s", 1); // expected-warning{{format specifies type 'char *' but the argument has type 'int'}} z(1, "%s", "HELLO"); // no-warning } + +void multi_attr(va_list ap, int *x, long *y) { + // Handle block with multiple format attributes. + void (^vprintf_scanf) (const char *, va_list, const char *, ...) __attribute__((__format__(__printf__, 1, 0))) __attribute__((__format__(__scanf__, 3, 4))) = + ^ __attribute__((__format__(__printf__, 1, 0))) __attribute__((__format__(__scanf__, 3, 4))) (const char *str, va_list args, const char *fmt, ...) {}; + + vprintf_scanf("%", ap, "%d"); // expected-warning {{incomplete format specifier}}, expected-warning {{more '%' conversions than data arguments}} +} |