File: format-strings-scanf.cpp

package info (click to toggle)
llvm-toolchain-19 1%3A19.1.7-3
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 1,998,520 kB
  • sloc: cpp: 6,951,680; ansic: 1,486,157; asm: 913,598; python: 232,024; f90: 80,126; objc: 75,281; lisp: 37,276; pascal: 16,990; sh: 10,009; ml: 5,058; perl: 4,724; awk: 3,523; makefile: 3,167; javascript: 2,504; xml: 892; fortran: 664; cs: 573
file content (68 lines) | stat: -rw-r--r-- 3,100 bytes parent folder | download | duplicates (8)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
// RUN: %clang_cc1 -fsyntax-only -verify -Wformat-nonliteral -Wformat-non-iso -fblocks -std=c++11 %s

__attribute__((format(scanf, 1, 2)))
int scanf(const char *, ...);

template<typename... Args>
__attribute__((format(scanf, 1, 2)))
int scan(const char *fmt, Args &&...args) { // expected-warning{{GCC requires a function with the 'format' attribute to be variadic}}
    return scanf(fmt, args...);
}

union bag {
    bool b;
    unsigned char uc;
    signed char sc;
    unsigned short us;
    signed short ss;
    unsigned int ui;
    signed int si;
    unsigned long ul;
    signed long sl;
    unsigned long long ull;
    signed long long sll;
    __fp16 f16;
    float ff;
    double fd;
    long double fl;
};

void test(void) {
    bag b;
    // expected-warning@+2 {{format specifies type 'char *' but the argument has type 'bool *'}}
    // expected-warning@+1 {{format specifies type 'unsigned char *' but the argument has type 'bool *'}}
    scan("%hhi %hhu %hhi %hhu", &b.sc, &b.uc, &b.b, &b.b);
    scan("%hi %hu", &b.ss, &b.us);
    scan("%i %u", &b.si, &b.ui);
    scan("%li %lu", &b.sl, &b.ul);
    scan("%lli %llu", &b.sll, &b.ull);
    scan("%f", &b.ff);
    scan("%lf", &b.fd);
    scan("%Lf", &b.fl);

    // expected-warning@+4{{format specifies type 'short *' but the argument has type 'signed char *'}}
    // expected-warning@+3{{format specifies type 'unsigned short *' but the argument has type 'unsigned char *'}}
    // expected-warning@+2{{format specifies type 'short *' but the argument has type 'bool *'}}
    // expected-warning@+1{{format specifies type 'unsigned short *' but the argument has type 'bool *'}}
    scan("%hi %hu %hi %hu", &b.sc, &b.uc, &b.b, &b.b);

    // expected-warning@+3{{format specifies type 'long *' but the argument has type 'short *'}}
    // expected-warning@+2{{format specifies type 'char *' but the argument has type 'short *'}}
    // expected-warning@+1{{format specifies type 'int *' but the argument has type 'short *'}}
    scan("%hhi %i %li", &b.ss, &b.ss, &b.ss);

    // expected-warning@+3{{format specifies type 'float *' but the argument has type '__fp16 *'}}
    // expected-warning@+2{{format specifies type 'float *' but the argument has type 'double *'}}
    // expected-warning@+1{{format specifies type 'float *' but the argument has type 'long double *'}}
    scan("%f %f %f", &b.f16, &b.fd, &b.fl);

    // expected-warning@+3{{format specifies type 'double *' but the argument has type '__fp16 *'}}
    // expected-warning@+2{{format specifies type 'double *' but the argument has type 'float *'}}
    // expected-warning@+1{{format specifies type 'double *' but the argument has type 'long double *'}}
    scan("%lf %lf %lf", &b.f16, &b.ff, &b.fl);

    // expected-warning@+3{{format specifies type 'long double *' but the argument has type '__fp16 *'}}
    // expected-warning@+2{{format specifies type 'long double *' but the argument has type 'float *'}}
    // expected-warning@+1{{format specifies type 'long double *' but the argument has type 'double *'}}
    scan("%Lf %Lf %Lf", &b.f16, &b.ff, &b.fd);
}