aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTed Kremenek <kremenek@apple.com>2010-07-16 02:11:34 +0000
committerTed Kremenek <kremenek@apple.com>2010-07-16 02:11:34 +0000
commit1e4c33a677ba085bbbbfff211719ae4bb571c5b1 (patch)
tree08d888279599399e2a8ebd0508d725b0c5a99cfa
parentd9c904de74afb6c6bc0e38030c4037ba64b04c0a (diff)
Add initial test cases for scanf format string checking.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@108503 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r--test/Sema/format-strings-scanf.c14
1 files changed, 14 insertions, 0 deletions
diff --git a/test/Sema/format-strings-scanf.c b/test/Sema/format-strings-scanf.c
new file mode 100644
index 0000000000..cd68410693
--- /dev/null
+++ b/test/Sema/format-strings-scanf.c
@@ -0,0 +1,14 @@
+// RUN: %clang_cc1 -fsyntax-only -verify -Wformat-nonliteral %s
+
+typedef __typeof(sizeof(int)) size_t;
+typedef struct _FILE FILE;
+
+int fscanf(FILE * restrict, const char * restrict, ...) ;
+int scanf(const char * restrict, ...) ;
+int sscanf(const char * restrict, const char * restrict, ...) ;
+
+void test(const char *s, int *i) {
+ scanf(s, i); // expected-warning{{ormat string is not a string literal}}
+ scanf("%0d", i); // expected-warning{{conversion specifies 0 input characters for field width}}
+ scanf("%00d", i); // expected-warning{{conversion specifies 0 input characters for field width}}
+}