[Bug c++/118655] [14 Regression] std::is_bounded_array::value returns true for zero-size arrays

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

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

--- Comment #7 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-14 branch has been updated by Jakub Jelinek
<ja...@gcc.gnu.org>:

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

commit r14-11290-gb7553f76a7aac7ece958ff83661ac7b379f4d073
Author: Jakub Jelinek <ja...@redhat.com>
Date:   Wed Jan 29 09:32:04 2025 +0100

    c++: Return false from __is_bounded_array for zero-sized arrays [PR118655]

    This is basically Marek's PR114479 r14-9759 __is_array fix applied to
    __is_bounded_array as well.  Similarly to that trait, when not using
    the builtin it returned false for zero sized arrays but when using
    the builtin it returns true.

    2025-01-29  Jakub Jelinek  <ja...@redhat.com>

            PR c++/118655
            * semantics.cc (trait_expr_value) <case CPTK_IS_BOUNDED_ARRAY>:
Return
            false for zero-sized arrays.

            * g++.dg/ext/is_bounded_array.C: Extend.

    (cherry picked from commit 3a6ddbf7b241e1cd9f73495ea373b0a12015bb07)