[Bug tree-optimization/71831] __builtin_object_size poor results with no optimization

[msebor at gcc dot gnu.org]

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

--- Comment #9 from Martin Sebor <msebor at gcc dot gnu.org> ---
Author: msebor
Date: Fri Sep  2 02:14:50 2016
New Revision: 239953

URL: https://gcc.gnu.org/viewcvs?rev=239953&root=gcc&view=rev
Log:
PR tree-optimization/71831 - __builtin_object_size poor results with no
        optimization

gcc/testsuite/ChangeLog:

        PR tree-optimization/71831
        * gcc.dg/builtin-object-size-16.c: New test.
        * gcc.dg/builtin-object-size-17.c: New test.

gcc/ChangeLog:

        PR tree-optimization/71831
        * tree-object-size.h: Return bool instead of the size and add
        argument for the size.
        * tree-object-size.c (compute_object_offset): Update signature.
        (addr_object_size): Same.
        (compute_builtin_object_size): Return bool instead of the size
        and add argument for the size.  Handle POINTER_PLUS_EXPR when
        optimization is disabled.
        (expr_object_size): Adjust.
        (plus_stmt_object_size): Adjust.
        (pass_object_sizes::execute): Adjust.
        * builtins.c (fold_builtin_object_size): Adjust.
        * doc/extend.texi (Object Size Checking): Update.
        * ubsan.c (instrument_object_size): Adjust.


Added:
    trunk/gcc/testsuite/gcc.dg/builtin-object-size-16.c
    trunk/gcc/testsuite/gcc.dg/builtin-object-size-17.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/builtins.c
    trunk/gcc/doc/extend.texi
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-object-size.c
    trunk/gcc/tree-object-size.h
    trunk/gcc/ubsan.c