Mercurial > hg > CbC > CbC_gcc

annotate gcc/testsuite/gcc.dg/tree-ssa/builtin-snprintf-warn-4.c @ 131:84e7813d76e9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
131
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
1 /* PR c/83448 */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
2 /* { dg-do compile } */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
3 /* { dg-options "-O2 -Wformat-truncation -fdiagnostics-show-caret" } */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
4
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
5 extern int snprintf (char *, __SIZE_TYPE__, const char *, ...);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
6
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
7 void
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
8 foo (char *a, char *b, char *c, int d, int e)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
9 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
10 snprintf (a, 7, "abc\\\123 efg");
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
11 /* { dg-warning "directive output truncated writing 9 bytes into a region of size 7" "" { target *-*-* } .-1 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
12 { dg-message ".snprintf. output 10 bytes into a destination of size 7" "note" { target *-*-* } .-2 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
13 { dg-begin-multiline-output "" }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
14 snprintf (a, 7, "abc\\\123 efg");
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
15 ~~~~~~~~~~~^~
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
16 { dg-end-multiline-output "" }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
17 { dg-begin-multiline-output "note" }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
18 snprintf (a, 7, "abc\\\123 efg");
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
19 ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
20 { dg-end-multiline-output "" } */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
21 d &= 63;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
22 d += 10;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
23 snprintf (b, 7, "a%dbcdefg", d);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
24 /* { dg-warning "'bcdefg' directive output truncated writing 6 bytes into a region of size 4" "" { target *-*-* } .-1 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
25 { dg-message ".snprintf. output 10 bytes into a destination of size 7" "note" { target *-*-* } .-2 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
26 { dg-begin-multiline-output "" }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
27 snprintf (b, 7, "a%dbcdefg", d);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
28 ~~~~^~
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
29 { dg-end-multiline-output "" }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
30 { dg-begin-multiline-output "note" }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
31 snprintf (b, 7, "a%dbcdefg", d);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
32 ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
33 { dg-end-multiline-output "" } */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
34 e &= 127;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
35 snprintf (c, 7, "a%dbcdefgh", e);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
36 /* { dg-warning "'bcdefgh' directive output truncated writing 7 bytes into a region of size between 3 and 5" "" { target *-*-* } .-1 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
37 { dg-message ".snprintf. output between 10 and 12 bytes into a destination of size 7" "note" { target *-*-* } .-2 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
38 { dg-begin-multiline-output "" }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
39 snprintf (c, 7, "a%dbcdefgh", e);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
40 ~~~~~^~
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
41 { dg-end-multiline-output "" }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
42 { dg-begin-multiline-output "note" }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
43 snprintf (c, 7, "a%dbcdefgh", e);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
44 ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
45 { dg-end-multiline-output "" } */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
46 }