aboutsummaryrefslogtreecommitdiff
path: root/gcc/expr.cc
diff options
context:
space:
mode:
authorJonathan Wakely <jwakely@redhat.com>2023-06-06 11:38:42 +0100
committerJonathan Wakely <jwakely@redhat.com>2023-06-06 12:43:47 +0100
commit56001fad4ecc32396beead6644906e3846244b67 (patch)
tree3f5fc92417f76f7e45107c683afd8d0a204ac8df /gcc/expr.cc
parent3d9b3ddb5fc9087c17645d53e6bcb1881e1955a4 (diff)
downloadgcc-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/expr.cc')
0 files changed, 0 insertions, 0 deletions