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
|
/* Test for format checking of constant arrays. */
/* Origin: Joseph Myers <jsm28@cam.ac.uk> */
/* { dg-do compile { target { *-*-mingw* } } } */
/* { dg-options "-std=gnu99 -Wformat=2" } */
#define USE_SYSTEM_FORMATS
#include "format.h"
const char a1[] = "foo";
const char a2[] = "foo%d";
const char b1[3] = "foo";
const char b2[1] = "1";
static const char c1[] = "foo";
static const char c2[] = "foo%d";
char d[] = "foo";
volatile const char e[] = "foo";
void
foo (int i, long l)
{
const char p1[] = "bar";
const char p2[] = "bar%d";
static const char q1[] = "bar";
static const char q2[] = "bar%d";
printf (a1);
printf (a2, i);
printf (a2, l); /* { dg-warning "format" "wrong type with array" } */
printf (b1); /* { dg-warning "unterminated" "unterminated array" } */
printf (b2); /* { dg-warning "unterminated" "unterminated array" } */
printf (c1);
printf (c2, i);
printf (c2, l); /* { dg-warning "format" "wrong type with array" } */
printf (p1);
printf (p2, i);
printf (p2, l); /* { dg-warning "format" "wrong type with array" } */
printf (q1);
printf (q2, i);
printf (q2, l); /* { dg-warning "format" "wrong type with array" } */
/* Volatile or non-constant arrays must not be checked. */
printf (d); /* { dg-warning "not a string literal" "non-const" } */
printf ((const char *)e); /* { dg-warning "not a string literal" "volatile" } */
}
|
