On 8/12/19 4:09 PM, Martin Sebor wrote: > > gcc-83431.diff > > PR tree-optimization/83431 - -Wformat-truncation may incorrectly report > truncation > > gcc/ChangeLog: > > PR c++/83431 > * gimple-ssa-sprintf.c (pass_data_sprintf_length): Remove object. > (sprintf_dom_walker): Remove class. > (get_int_range): Make argument const. > (directive::fmtfunc, directive::set_precision): Same. > (format_none): Same. > (build_intmax_type_nodes): Same. > (adjust_range_for_overflow): Same. > (format_floating): Same. > (format_character): Same. > (format_string): Same. > (format_plain): Same. > (get_int_range): Cast away constness. > (format_integer): Same. > (get_string_length): Call get_range_strlen_dynamic. Handle > null lendata.maxbound. > (should_warn_p): Adjust argument scope qualifier. > (maybe_warn): Same. > (format_directive): Same. > (parse_directive): Same. > (is_call_safe): Same. > (try_substitute_return_value): Same. > (sprintf_dom_walker::handle_printf_call): Rename... > (handle_printf_call): ...to this. Initialize target to host charmap > here instead of in pass_sprintf_length::execute. > (struct call_info): Make global. > (sprintf_dom_walker::compute_format_length): Make global. > (sprintf_dom_walker::handle_gimple_call): Same. > * passes.def (pass_sprintf_length): Replace with pass_strlen. > * print-rtl.c (print_pattern): Reduce the number of spaces to > avoid -Wformat-truncation. > * tree-pass.h (make_pass_warn_printf): New function. > * tree-ssa-strlen.c (strlen_optimize): New variable. > (get_string_length): Add comments. > (get_range_strlen_dynamic): New function. > (check_and_optimize_call): New function. > (handle_integral_assign): New function. > (strlen_check_and_optimize_stmt): Factor code out into > strlen_check_and_optimize_call and handle_integral_assign. > (strlen_dom_walker::evrp): New member. > (strlen_dom_walker::before_dom_children): Use evrp member. > (strlen_dom_walker::after_dom_children): Use evrp member. > (printf_strlen_execute): New function. > (pass_strlen::gate): Update to handle printf calls. > (dump_strlen_info): New function. > (pass_data_warn_printf): New variable. > (pass_warn_printf): New class. > * tree-ssa-strlen.h (get_range_strlen_dynamic): Declare. > (handle_printf_call): Same. > > gcc/testsuite/ChangeLog: > > PR c++/83431 > * gcc.dg/strlenopt-63.c: New test. > * gcc.dg/pr79538.c: Adjust text of expected warning. > * gcc.dg/pr81292-1.c: Adjust pass name. > * gcc.dg/pr81292-2.c: Same. > * gcc.dg/pr81703.c: Same. > * gcc.dg/strcmpopt_2.c: Same. > * gcc.dg/strcmpopt_3.c: Same. > * gcc.dg/strcmpopt_4.c: Same. > * gcc.dg/strlenopt-1.c: Same. > * gcc.dg/strlenopt-10.c: Same. > * gcc.dg/strlenopt-11.c: Same. > * gcc.dg/strlenopt-13.c: Same. > * gcc.dg/strlenopt-14g.c: Same. > * gcc.dg/strlenopt-14gf.c: Same. > * gcc.dg/strlenopt-15.c: Same. > * gcc.dg/strlenopt-16g.c: Same. > * gcc.dg/strlenopt-17g.c: Same. > * gcc.dg/strlenopt-18g.c: Same. > * gcc.dg/strlenopt-19.c: Same. > * gcc.dg/strlenopt-1f.c: Same. > * gcc.dg/strlenopt-2.c: Same. > * gcc.dg/strlenopt-20.c: Same. > * gcc.dg/strlenopt-21.c: Same. > * gcc.dg/strlenopt-22.c: Same. > * gcc.dg/strlenopt-22g.c: Same. > * gcc.dg/strlenopt-24.c: Same. > * gcc.dg/strlenopt-25.c: Same. > * gcc.dg/strlenopt-26.c: Same. > * gcc.dg/strlenopt-27.c: Same. > * gcc.dg/strlenopt-28.c: Same. > * gcc.dg/strlenopt-29.c: Same. > * gcc.dg/strlenopt-2f.c: Same. > * gcc.dg/strlenopt-3.c: Same. > * gcc.dg/strlenopt-30.c: Same. > * gcc.dg/strlenopt-31g.c: Same. > * gcc.dg/strlenopt-32.c: Same. > * gcc.dg/strlenopt-33.c: Same. > * gcc.dg/strlenopt-33g.c: Same. > * gcc.dg/strlenopt-34.c: Same. > * gcc.dg/strlenopt-35.c: Same. > * gcc.dg/strlenopt-4.c: Same. > * gcc.dg/strlenopt-48.c: Same. > * gcc.dg/strlenopt-49.c: Same. > * gcc.dg/strlenopt-4g.c: Same. > * gcc.dg/strlenopt-4gf.c: Same. > * gcc.dg/strlenopt-5.c: Same. > * gcc.dg/strlenopt-50.c: Same. > * gcc.dg/strlenopt-51.c: Same. > * gcc.dg/strlenopt-52.c: Same. > * gcc.dg/strlenopt-53.c: Same. > * gcc.dg/strlenopt-54.c: Same. > * gcc.dg/strlenopt-55.c: Same. > * gcc.dg/strlenopt-56.c: Same. > * gcc.dg/strlenopt-6.c: Same. > * gcc.dg/strlenopt-61.c: Same. > * gcc.dg/strlenopt-7.c: Same. > * gcc.dg/strlenopt-8.c: Same. > * gcc.dg/strlenopt-9.c: Same. > * gcc.dg/strlenopt.h (snprintf, snprintf): Declare. > * gcc.dg/tree-ssa/builtin-snprintf-6.c: New test. > * gcc.dg/tree-ssa/builtin-snprintf-7.c: New test. > * gcc.dg/tree-ssa/builtin-snprintf-8.c: New test. > * gcc.dg/tree-ssa/builtin-snprintf-9.c: New test. > * gcc.dg/tree-ssa/builtin-sprintf-warn-21.c: New test. > * gcc.dg/tree-ssa/dump-4.c: New test. > * gcc.dg/tree-ssa/pr83501.c: Adjust pass name. > > OK for the trunk. Sorry this took so long.
Jeff