[Bug middle-end/78245] missing -Wformat-length on an overflow of a dynamically allocated buffer

[msebor at gcc dot gnu.org]

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

--- Comment #3 from Martin Sebor <msebor at gcc dot gnu.org> ---
Author: msebor
Date: Tue Jan 10 21:54:15 2017
New Revision: 244293

URL: https://gcc.gnu.org/viewcvs?rev=244293&root=gcc&view=rev
Log:
PR middle-end/78245 - missing -Wformat-length on an overflow of a dynamically
allocated buffer

gcc/testsuite/ChangeLog:

        PR middle-end/78245
        * gcc.dg/tree-ssa/builtin-sprintf-warn-3.c: Add tests.

gcc/ChangeLog:

        PR middle-end/78245
        * gimple-ssa-sprintf.c (get_destination_size): Call
        {init,fini}object_sizes.
        * tree-object-size.c (addr_object_size): Adjust.
        (pass_through_call): Adjust.
        (pass_object_sizes::execute): Adjust.
        * tree-object-size.h (fini_object_sizes): Declare.


Modified:
    trunk/gcc/gimple-ssa-sprintf.c
    trunk/gcc/testsuite/gcc.dg/tree-ssa/builtin-sprintf-warn-3.c
    trunk/gcc/tree-object-size.c
    trunk/gcc/tree-object-size.h