PR tree-optimization/79691 - -Wformat-truncation suppressed by (and only by) -Og

gcc/ChangeLog:

	PR tree-optimization/79691
	* passes.def (pass_all_optimizations_g): Enable pass_sprintf_length.

gcc/testsuite/ChangeLog:

	PR tree-optimization/79691
	* gcc.dg/tree-ssa/pr79691.c: New test.

From-SVN: r245782
This commit is contained in:
Martin Sebor 2017-02-28 16:59:16 +00:00 committed by Martin Sebor
parent 8a915b876a
commit 203ced0a77
4 changed files with 48 additions and 0 deletions

View File

@ -1,3 +1,8 @@
2017-02-28 Martin Sebor <msebor@redhat.com>
PR tree-optimization/79691
* passes.def (pass_all_optimizations_g): Enable pass_sprintf_length.
2017-02-28 Jakub Jelinek <jakub@redhat.com>
PR target/79729

View File

@ -364,6 +364,7 @@ along with GCC; see the file COPYING3. If not see
NEXT_PASS (pass_object_sizes);
/* Fold remaining builtins. */
NEXT_PASS (pass_fold_builtins);
NEXT_PASS (pass_sprintf_length, true);
/* Copy propagation also copy-propagates constants, this is necessary
to forward object-size and builtin folding results properly. */
NEXT_PASS (pass_copy_prop);

View File

@ -1,3 +1,8 @@
2017-02-28 Martin Sebor <msebor@redhat.com>
PR tree-optimization/79691
* gcc.dg/tree-ssa/pr79691.c: New test.
2017-02-28 Jakub Jelinek <jakub@redhat.com>
PR target/79729

View File

@ -0,0 +1,37 @@
/* PR tree-optimization/79691 - -Wformat-truncation suppressed by
(and only by) -Og
{ dg-compile }
{ dg-options "-Og -Wall -fdump-tree-optimized" } */
char d[2];
/* Verify -Wformat-overflow works. */
void f1 (void)
{
__builtin_sprintf (d, "%i", 123); /* { dg-warning "directive writing 3 bytes" } */
}
/* Verify -Wformat-truncation works. */
void f2 (void)
{
__builtin_snprintf (d, sizeof d, "%i", 1234); /* { dg-warning "output truncated writing 4 bytes" } */
}
/* Verify -fprintf-return-value works. */
int f3 (void)
{
return __builtin_snprintf (0, 0, "%i", 12345);
}
/* Verify -fprintf-return-value results used for constant propagation. */
int f4 (int i)
{
int n1 = __builtin_snprintf (0, 0, "%i", 1234);
int n2 = __builtin_snprintf (0, 0, "%i", 12345);
return n1 + n2;
}
/* { dg-final { scan-tree-dump-times "sprintf" 1 "optimized" } }
{ dg-final { scan-tree-dump-times "snprintf" 1 "optimized" } }
{ dg-final { scan-tree-dump " = 9;" "optimized" } } */