annotate gcc/testsuite/gcc.dg/tree-ssa/pr79275.c @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 /* PR middle-end/79275 - -Wformat-overflow false positive exceeding INT_MAX
kono
parents:
diff changeset
2 in glibc sysdeps/posix/tempname.c
kono
parents:
diff changeset
3 { dg-do compile }
kono
parents:
diff changeset
4 { dg-options "-O2 -Wall -Wformat-overflow=1 -ftrack-macro-expansion=0" } */
kono
parents:
diff changeset
5
kono
parents:
diff changeset
6 typedef __SIZE_TYPE__ size_t;
kono
parents:
diff changeset
7
kono
parents:
diff changeset
8 void f (char *dst, size_t n, const char *s)
kono
parents:
diff changeset
9 {
kono
parents:
diff changeset
10 if (n < 2 || __INT_MAX__ - 2 < n)
kono
parents:
diff changeset
11 n = 2;
kono
parents:
diff changeset
12
kono
parents:
diff changeset
13 __builtin_sprintf (dst, "%.*s %.*s", (int)n, s, (int)n, s); /* { dg-bogus "INT_MAX" } */
kono
parents:
diff changeset
14 }