2010-07-16 10:11:34 +08:00
|
|
|
// RUN: %clang_cc1 -fsyntax-only -verify -Wformat-nonliteral %s
|
|
|
|
|
2011-12-12 18:34:18 +08:00
|
|
|
#include <stdarg.h>
|
2010-07-16 10:11:34 +08:00
|
|
|
typedef __typeof(sizeof(int)) size_t;
|
|
|
|
typedef struct _FILE FILE;
|
2010-07-21 04:04:47 +08:00
|
|
|
typedef __WCHAR_TYPE__ wchar_t;
|
2010-07-16 10:11:34 +08:00
|
|
|
|
|
|
|
int fscanf(FILE * restrict, const char * restrict, ...) ;
|
|
|
|
int scanf(const char * restrict, ...) ;
|
2011-12-13 02:33:02 +08:00
|
|
|
int sscanf(const char * restrict, const char * restrict, ...) ;
|
2011-12-12 18:34:18 +08:00
|
|
|
int my_scanf(const char * restrict, ...) __attribute__((__format__(__scanf__, 1, 2)));
|
|
|
|
|
|
|
|
int vscanf(const char * restrict, va_list);
|
|
|
|
int vfscanf(FILE * restrict, const char * restrict, va_list);
|
|
|
|
int vsscanf(char * restrict, const char * restrict, va_list);
|
2010-07-16 10:11:34 +08:00
|
|
|
|
|
|
|
void test(const char *s, int *i) {
|
|
|
|
scanf(s, i); // expected-warning{{ormat string is not a string literal}}
|
2010-07-17 02:27:56 +08:00
|
|
|
scanf("%0d", i); // expected-warning{{zero field width in scanf format string is unused}}
|
|
|
|
scanf("%00d", i); // expected-warning{{zero field width in scanf format string is unused}}
|
2010-07-17 04:49:01 +08:00
|
|
|
scanf("%d%[asdfasdfd", i, s); // expected-warning{{no closing ']' for '%[' in scanf format string}}
|
2010-07-20 03:47:40 +08:00
|
|
|
|
|
|
|
unsigned short s_x;
|
|
|
|
scanf ("%" "hu" "\n", &s_x); // no-warning
|
2010-07-20 05:25:57 +08:00
|
|
|
scanf("%y", i); // expected-warning{{invalid conversion specifier 'y'}}
|
2010-07-20 06:01:06 +08:00
|
|
|
scanf("%%"); // no-warning
|
|
|
|
scanf("%%%1$d", i); // no-warning
|
|
|
|
scanf("%1$d%%", i); // no-warning
|
|
|
|
scanf("%d", i, i); // expected-warning{{data argument not used by format string}}
|
|
|
|
scanf("%*d", i); // // expected-warning{{data argument not used by format string}}
|
|
|
|
scanf("%*d", i); // // expected-warning{{data argument not used by format string}}
|
|
|
|
scanf("%*d%1$d", i); // no-warning
|
2010-07-16 10:11:34 +08:00
|
|
|
}
|
2010-07-21 04:04:47 +08:00
|
|
|
|
|
|
|
void bad_length_modifiers(char *s, void *p, wchar_t *ws, long double *ld) {
|
|
|
|
scanf("%hhs", "foo"); // expected-warning{{length modifier 'hh' results in undefined behavior or no effect with 's' conversion specifier}}
|
2011-12-10 21:20:11 +08:00
|
|
|
scanf("%1$zp", &p); // expected-warning{{length modifier 'z' results in undefined behavior or no effect with 'p' conversion specifier}}
|
2010-07-21 04:04:47 +08:00
|
|
|
scanf("%ls", ws); // no-warning
|
|
|
|
scanf("%#.2Lf", ld); // expected-warning{{invalid conversion specifier '#'}}
|
|
|
|
}
|
2011-10-28 08:41:25 +08:00
|
|
|
|
|
|
|
// Test that the scanf call site is where the warning is attached. If the
|
|
|
|
// format string is somewhere else, point to it in a note.
|
|
|
|
void pr9751() {
|
|
|
|
int *i;
|
2011-12-10 21:20:11 +08:00
|
|
|
char str[100];
|
2011-10-28 08:41:25 +08:00
|
|
|
const char kFormat1[] = "%00d"; // expected-note{{format string is defined here}}}
|
|
|
|
scanf(kFormat1, i); // expected-warning{{zero field width in scanf format string is unused}}
|
|
|
|
scanf("%00d", i); // expected-warning{{zero field width in scanf format string is unused}}
|
|
|
|
const char kFormat2[] = "%["; // expected-note{{format string is defined here}}}
|
2011-12-10 21:20:11 +08:00
|
|
|
scanf(kFormat2, str); // expected-warning{{no closing ']' for '%[' in scanf format string}}
|
|
|
|
scanf("%[", str); // expected-warning{{no closing ']' for '%[' in scanf format string}}
|
2011-10-28 08:41:25 +08:00
|
|
|
}
|
2011-12-12 18:34:18 +08:00
|
|
|
|
|
|
|
void test_variants(int *i, const char *s, ...) {
|
|
|
|
FILE *f = 0;
|
|
|
|
char buf[100];
|
|
|
|
|
|
|
|
fscanf(f, "%ld", i); // expected-warning{{conversion specifies type 'long *' but the argument has type 'int *'}}
|
|
|
|
sscanf(buf, "%ld", i); // expected-warning{{conversion specifies type 'long *' but the argument has type 'int *'}}
|
|
|
|
my_scanf("%ld", i); // expected-warning{{conversion specifies type 'long *' but the argument has type 'int *'}}
|
|
|
|
|
|
|
|
va_list ap;
|
|
|
|
va_start(ap, s);
|
|
|
|
|
|
|
|
vscanf("%[abc", ap); // expected-warning{{no closing ']' for '%[' in scanf format string}}
|
|
|
|
vfscanf(f, "%[abc", ap); // expected-warning{{no closing ']' for '%[' in scanf format string}}
|
|
|
|
vsscanf(buf, "%[abc", ap); // expected-warning{{no closing ']' for '%[' in scanf format string}}
|
|
|
|
}
|