[Bug tree-optimization/101832] __builtin_object_size(P->M, 1) where M ends with a flex-array behaves like sizeof()

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

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

--- Comment #12 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Qing Zhao <qinz...@gcc.gnu.org>:

https://gcc.gnu.org/g:e050ce7c3adf71eedd5482c29cf54b827e026642

commit r14-2225-ge050ce7c3adf71eedd5482c29cf54b827e026642
Author: Qing Zhao <qing.z...@oracle.com>
Date:   Fri Jun 30 18:24:34 2023 +0000

    Use TYPE_INCLUDES_FLEXARRAY in __builtin_object_size [PR
tree-optimization/101832]

    __builtin_object_size should treat struct with TYPE_INCLUDES_FLEXARRAY as
    flexible size.

    gcc/ChangeLog:

            PR tree-optimization/101832
            * tree-object-size.cc (addr_object_size): Handle structure/union
type
            when it has flexible size.

    gcc/testsuite/ChangeLog:

            PR tree-optimization/101832
            * gcc.dg/builtin-object-size-pr101832.c: New test.