diff options
author | Jonathan Wakely <jwakely@redhat.com> | 2023-06-06 11:38:42 +0100 |
---|---|---|
committer | Jonathan Wakely <jwakely@redhat.com> | 2023-06-06 12:43:47 +0100 |
commit | 56001fad4ecc32396beead6644906e3846244b67 (patch) | |
tree | 3f5fc92417f76f7e45107c683afd8d0a204ac8df /gcc | |
parent | 3d9b3ddb5fc9087c17645d53e6bcb1881e1955a4 (diff) | |
download | gcc-56001fad4ecc32396beead6644906e3846244b67.zip gcc-56001fad4ecc32396beead6644906e3846244b67.tar.gz gcc-56001fad4ecc32396beead6644906e3846244b67.tar.bz2 |
libstdc++: Fix ambiguous expression in std::array<T, 0>::front() [PR110139]
For 32-bit targets using -pedantic (or using Clang) makes the expression
_M_elems[0] ambiguous. The overloaded operator[] that we want to call
has a size_t parameter, but 0 is type ptrdiff_t for many ILP32 targets,
so using the implicit conversion from _M_elems to T* and then
subscripting that is also viable.
Change the 0 to (size_type)0 and also make the conversion to T*
explicit, so that's it's not viable here. The latter change requires a
static_cast in data() where we really do want to convert _M_elems to a
pointer.
libstdc++-v3/ChangeLog:
PR libstdc++/110139
* include/std/array (__array_traits<T, 0>::operator T*()): Make
conversion operator explicit.
(array::front): Use size_type as subscript operand.
(array::data): Use static_cast to make conversion explicit.
* testsuite/23_containers/array/element_access/110139.cc: New
test.
Diffstat (limited to 'gcc')
0 files changed, 0 insertions, 0 deletions