summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJean-Daniel Dupas <devlists@shadowlab.org>2012-01-25 00:55:11 +0000
committerJean-Daniel Dupas <devlists@shadowlab.org>2012-01-25 00:55:11 +0000
commit3b8dfa069b5aafe62abd8c761d47d22f78dc7642 (patch)
tree5b0ce04051b0f26eac6164221955b07576eb56cd
parente171601ff68e51a10ac907299190a23076eb5002 (diff)
downloadbcm5719-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.cpp12
-rw-r--r--clang/test/Sema/block-printf-attribute-1.c10
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}}
+}
OpenPOWER on IntegriCloud