diff options
| author | Martin Sebor <msebor@redhat.com> | 2021-05-05 11:07:39 -0600 |
|---|---|---|
| committer | Martin Sebor <msebor@redhat.com> | 2021-05-05 11:07:39 -0600 |
| commit | 2254b3233b5bfa690e8c6e6fa923e4626a6a93d3 (patch) | |
| tree | 5e30e5532144cc52eb66e60a87ab1d8b0d021821 | |
| parent | 2b71ca688b0ae14d3a35dab12f1f11a2a6292b7d (diff) | |
| download | gcc-2254b3233b5bfa690e8c6e6fa923e4626a6a93d3.zip gcc-2254b3233b5bfa690e8c6e6fa923e4626a6a93d3.tar.gz gcc-2254b3233b5bfa690e8c6e6fa923e4626a6a93d3.tar.bz2 | |
PR middle-end/100325 - missing warning with -O0 on sprintf overflow with pointer plus offset
gcc/ChangeLog:
* passes.def (pass_warn_printf): Run after SSA.
gcc/testsuite/ChangeLog:
* gcc.dg/tree-ssa/builtin-sprintf-warn-26.c: New test.
| -rw-r--r-- | gcc/passes.def | 2 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/tree-ssa/builtin-sprintf-warn-26.c | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/gcc/passes.def b/gcc/passes.def index 55e8164..de39fa4 100644 --- a/gcc/passes.def +++ b/gcc/passes.def @@ -45,7 +45,6 @@ along with GCC; see the file COPYING3. If not see NEXT_PASS (pass_warn_function_return); NEXT_PASS (pass_coroutine_early_expand_ifns); NEXT_PASS (pass_expand_omp); - NEXT_PASS (pass_warn_printf); NEXT_PASS (pass_walloca, /*strict_mode_p=*/true); NEXT_PASS (pass_build_cgraph_edges); TERMINATE_PASS_LIST (all_lowering_passes) @@ -58,6 +57,7 @@ along with GCC; see the file COPYING3. If not see PUSH_INSERT_PASSES_WITHIN (pass_build_ssa_passes) NEXT_PASS (pass_fixup_cfg); NEXT_PASS (pass_build_ssa); + NEXT_PASS (pass_warn_printf); NEXT_PASS (pass_warn_nonnull_compare); NEXT_PASS (pass_early_warn_uninitialized); NEXT_PASS (pass_ubsan); diff --git a/gcc/testsuite/gcc.dg/tree-ssa/builtin-sprintf-warn-26.c b/gcc/testsuite/gcc.dg/tree-ssa/builtin-sprintf-warn-26.c index 16a551d..677b634 100644 --- a/gcc/testsuite/gcc.dg/tree-ssa/builtin-sprintf-warn-26.c +++ b/gcc/testsuite/gcc.dg/tree-ssa/builtin-sprintf-warn-26.c @@ -22,17 +22,17 @@ void nowarn_4m3 () void warn_2m1 () { char *p = a + 2; - sprintf (p - 1, "%i", 123); // { dg-warning "-Wformat-overflow" "pr100325" { xfail *-*-* } } + sprintf (p - 1, "%i", 123); // { dg-warning "-Wformat-overflow" "pr100325" } } void warn_3m1 () { char *p = a + 3; - sprintf (p - 1, "%i", 12); // { dg-warning "-Wformat-overflow" "pr100325" { xfail *-*-* } } + sprintf (p - 1, "%i", 12); // { dg-warning "-Wformat-overflow" "pr100325" } } void warn_4m1 () { char *p = a + 4; - sprintf (p - 1, "%i", 1); // { dg-warning "-Wformat-overflow" "pr100325" { xfail *-*-* } } + sprintf (p - 1, "%i", 1); // { dg-warning "-Wformat-overflow" "pr100325" } } |