[Bug middle-end/70090] add non-constant variant of __builtin_object_size for _FORTIFY_SOURCE and -fsanitize=object-size

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #6 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Siddhesh Poyarekar
<siddh...@gcc.gnu.org>:

https://gcc.gnu.org/g:1f07810659616221c3bf4177c1fc2ca3607f7728

commit r12-6481-g1f07810659616221c3bf4177c1fc2ca3607f7728
Author: Siddhesh Poyarekar <siddh...@gotplt.org>
Date:   Tue Jan 11 19:52:43 2022 +0530

    tree-object-size: Handle GIMPLE_CALL

    Handle non-constant expressions in GIMPLE_CALL arguments.  Also handle
    alloca.

    gcc/ChangeLog:

            PR middle-end/70090
            * tree-object-size.c (alloc_object_size): Make and return
            non-constant size expression.
            (call_object_size): Return expression or unknown based on
            whether dynamic object size is requested.

    gcc/testsuite/ChangeLog:

            PR middle-end/70090
            * gcc.dg/builtin-dynamic-object-size-0.c: Add new tests.
            * gcc.dg/builtin-object-size-1.c (test1)
            [__builtin_object_size]: Alter expected result for dynamic
            object size.
            * gcc.dg/builtin-object-size-2.c (test1)
            [__builtin_object_size]: Likewise.
            * gcc.dg/builtin-object-size-3.c (test1)
            [__builtin_object_size]: Likewise.
            * gcc.dg/builtin-object-size-4.c (test1)
            [__builtin_object_size]: Likewise.

    Signed-off-by: Siddhesh Poyarekar <siddh...@gotplt.org>