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

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

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |14.3
             Status|UNCONFIRMED                 |NEW
            Summary|__is_bounded_array returns  |[14/15 Regression]
                   |true for zero-size arrays   |std::is_bounded_array::valu
                   |                            |e returns true for
                   |                            |zero-size arrays
      Known to fail|                            |14.1.0
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2025-01-25
      Known to work|                            |13.1.0

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Confirmed.

GCC 13 produced the correct result for:
```
#include <type_traits>

static_assert(!std::is_bounded_array_v<int[0]>);
```

So this is an user visible regression.