[Bug tree-optimization/86650] -Warray-bounds missing inlining context

[msebor at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86650

--- Comment #3 from Martin Sebor <msebor at gcc dot gnu.org> ---
Author: msebor
Date: Wed Aug  1 23:39:35 2018
New Revision: 263239

URL: https://gcc.gnu.org/viewcvs?rev=263239&root=gcc&view=rev
Log:
PR tree-optimization/86650 - -Warray-bounds missing inlining context

gcc/c/ChangeLog:

        PR tree-optimization/86650
        * c-objc-common.c (c_tree_printer): Move usage of EXPR_LOCATION (t)
        and TREE_BLOCK (t) from within percent_K_format to this callsite.

gcc/c-family/ChangeLog:

        PR tree-optimization/86650
        * c-family/c-format.c (gcc_tdiag_char_table): Update comment for "%G".
        (gcc_cdiag_char_table, gcc_cxxdiag_char_table): Same.
        (init_dynamic_diag_info): Update from "gcall *" to "gimple *".
        * c-format.h (T89_G): Update to be "gimple *" rather than
        "gcall *".
        (local_gcall_ptr_node): Rename...
        (local_gimple_ptr_node): ...to this.

gcc/cp/ChangeLog:

        PR tree-optimization/86650
        * error.c (cp_printer): Move usage of EXPR_LOCATION (t) and
        TREE_BLOCK (t) from within percent_K_format to this callsite.

gcc/ChangeLog:

        PR tree-optimization/86650
        * gimple-pretty-print.c (percent_G_format): Accept a "gimple *"
        rather than a "gcall *".  Directly pass the data of interest
        to percent_K_format, rather than building a temporary CALL_EXPR
        to hold it.
        * gimple-fold.c (gimple_fold_builtin_strncpy): Adjust.
        (gimple_fold_builtin_strncat): Adjust.
        * gimple-ssa-warn-restrict.h (check_bounds_or_overlap): Replace
        gcall* argument with gimple*.
        * gimple-ssa-warn-restrict.c (check_call): Same.
        (wrestrict_dom_walker::before_dom_children): Same.
        (builtin_access::builtin_access): Same.
        (check_bounds_or_overlap): Same
        (maybe_diag_overlap): Same.
        (maybe_diag_offset_bounds): Same.
        * tree-diagnostic.c (default_tree_printer): Move usage of
        EXPR_LOCATION (t) and TREE_BLOCK (t) from within percent_K_format
        to this callsite.
        * tree-pretty-print.c (percent_K_format): Add argument.
        * tree-pretty-print.h: Add argument.
        * tree-ssa-ccp.c (pass_post_ipa_warn::execute): Adjust.
        * tree-ssa-strlen.c (maybe_diag_stxncpy_trunc): Adjust.
        (maybe_diag_stxncpy_trunc): Same.
        (handle_builtin_stxncpy): Same.
        (handle_builtin_strcat): Same.

gcc/testsuite/ChangeLog:

        PR tree-optimization/86650
        * gcc.dg/format/gcc_diag-10.c: Adjust.


Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/c-family/ChangeLog
    trunk/gcc/c-family/c-format.c
    trunk/gcc/c-family/c-format.h
    trunk/gcc/c/ChangeLog
    trunk/gcc/c/c-objc-common.c
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/error.c
    trunk/gcc/gimple-fold.c
    trunk/gcc/gimple-pretty-print.c
    trunk/gcc/gimple-ssa-warn-restrict.c
    trunk/gcc/gimple-ssa-warn-restrict.h
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gcc.dg/format/gcc_diag-10.c
    trunk/gcc/tree-diagnostic.c
    trunk/gcc/tree-pretty-print.c
    trunk/gcc/tree-pretty-print.h
    trunk/gcc/tree-ssa-ccp.c
    trunk/gcc/tree-ssa-strlen.c