[Bug c/81117] Improve buffer overflow checking in strncpy

["aldyh at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>]

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

--- Comment #6 from Aldy Hernandez <aldyh at gcc dot gnu.org> ---
Author: aldyh
Date: Wed Sep 13 16:58:30 2017
New Revision: 252430

URL: https://gcc.gnu.org/viewcvs?rev=252430&root=gcc&view=rev
Log:
PR c/81117 - Improve buffer overflow checking in strncpy - part 1

gcc/ChangeLog:

        PR c/81117
        * tree-diagnostic.c (default_tree_printer): Handle %G.
        * gimple-pretty-print.h (percent_G_format): Declare new function.
        * gimple-pretty-print.c (percent_G_format): Define.
        * tree-pretty-print.c (percent_K_format): Add argument.

gcc/c/ChangeLog:

        PR c/81117
        * c-objc-common.c (c_objc_common_init): Handle 'G'.

gcc/c-family/ChangeLog:

        PR c/81117
        * c-format.h (T89_G): New macro.
        * c-format.c (local_gcall_ptr_node): New variable.
        (init_dynamic_diag_info): Initialize it.

gcc/cp/ChangeLog:

        PR c/81117
        * error.c (cp_printer): Handle 'G'.

gcc/testsuite/ChangeLog:

        PR c/81117
        * gcc.dg/format/gcc_diag-10.c: Exercise %G.

Modified:
    branches/range-gen2/gcc/ChangeLog
    branches/range-gen2/gcc/c-family/ChangeLog
    branches/range-gen2/gcc/c-family/c-format.c
    branches/range-gen2/gcc/c-family/c-format.h
    branches/range-gen2/gcc/c/ChangeLog
    branches/range-gen2/gcc/c/c-objc-common.c
    branches/range-gen2/gcc/cp/ChangeLog
    branches/range-gen2/gcc/cp/error.c
    branches/range-gen2/gcc/gimple-pretty-print.c
    branches/range-gen2/gcc/gimple-pretty-print.h
    branches/range-gen2/gcc/testsuite/ChangeLog
    branches/range-gen2/gcc/testsuite/gcc.dg/format/gcc_diag-10.c
    branches/range-gen2/gcc/tree-diagnostic.c
    branches/range-gen2/gcc/tree-pretty-print.c
    branches/range-gen2/gcc/tree-pretty-print.h