[Bug tree-optimization/107004] [12 Regression] GCC12 warning in OOB access: array subscript is partly outside array bounds
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107004 Richard Biener changed: What|Removed |Added Target Milestone|12.4|12.5 --- Comment #8 from Richard Biener --- GCC 12.4 is being released, retargeting bugs to GCC 12.5.
[Bug tree-optimization/107004] [12 Regression] GCC12 warning in OOB access: array subscript is partly outside array bounds
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107004 --- Comment #7 from sbouchex --- (In reply to sbouchex from comment #6) > The same testcase is failing on : > > [...] > g++ --version > g++ (GCC) 13.1.1 20230614 (Red Hat 13.1.1-4) > [...] > > [...] > [root@dev-sbo-eva-ol8 CorrCommon]# g++ -std=c++20 -Wall -Wextra -Werror > -pedantic -Warray-bounds -O3 -o /tmp/toto /tmp/toto.cpp > In file included from /usr/include/c++/13/bits/stl_iterator.h:85, > from /usr/include/c++/13/bits/stl_algobase.h:67, > from /usr/include/c++/13/vector:62, > from /tmp/toto.cpp:1: > In function 'constexpr void std::_Construct(_Tp*, _Args&& ...) [with _Tp = > int*; _Args = {}]', > inlined from 'static constexpr _ForwardIterator > std::__uninitialized_default_n_1::__uninit_default_n(_ForwardIterator, > _Size) [with _ForwardIterator = int**; _Size = long unsigned int]' at > /usr/include/c++/13/bits/stl_uninitialized.h:666:23, > inlined from 'static constexpr _ForwardIterator > std::__uninitialized_default_n_1::__uninit_default_n(_ForwardIterator, > _Size) [with _ForwardIterator = int**; _Size = long unsigned int]' at > /usr/include/c++/13/bits/stl_uninitialized.h:660:9, > inlined from 'constexpr _ForwardIterator > std::__uninitialized_default_n(_ForwardIterator, _Size) [with > _ForwardIterator = int**; _Size = long unsigned int]' at > /usr/include/c++/13/bits/stl_uninitialized.h:706:20, > inlined from 'constexpr _ForwardIterator > std::__uninitialized_default_n_a(_ForwardIterator, _Size, allocator<_Tp>&) > [with _ForwardIterator = int**; _Size = long unsigned int; _Tp = int*]' at > /usr/include/c++/13/bits/stl_uninitialized.h:773:44, > inlined from 'constexpr void std::vector<_Tp, > _Alloc>::_M_default_append(size_type) [with _Tp = int*; _Alloc = > std::allocator]' at /usr/include/c++/13/bits/vector.tcc:668:41, > inlined from 'constexpr void std::vector<_Tp, _Alloc>::resize(size_type) > [with _Tp = int*; _Alloc = std::allocator]' at > /usr/include/c++/13/bits/stl_vector.h:1013:21, > inlined from 'void foo(std::vector&)' at /tmp/toto.cpp:7:13: > /usr/include/c++/13/bits/stl_construct.h:119:7: error: array subscript > 'int*[0]' is partly outside array bounds of 'unsigned char [8]' > [-Werror=array-bounds=] > 119 | ::new((void*)__p) _Tp(std::forward<_Args>(__args)...); > | ^ > In file included from > /usr/include/c++/13/x86_64-redhat-linux/bits/c++allocator.h:33, > from /usr/include/c++/13/bits/allocator.h:46, > from /usr/include/c++/13/vector:63: > In member function '_Tp* std::__new_allocator<_Tp>::allocate(size_type, > const void*) [with _Tp = int*]', > inlined from 'constexpr _Tp* std::allocator< > >::allocate(std::size_t) [with _Tp = int*]' at > /usr/include/c++/13/bits/allocator.h:198:40, > inlined from 'static constexpr _Tp* > std::allocator_traits >::allocate(allocator_type&, > size_type) [with _Tp = int*]' at > /usr/include/c++/13/bits/alloc_traits.h:482:28, > inlined from 'constexpr std::_Vector_base<_Tp, _Alloc>::pointer > std::_Vector_base<_Tp, _Alloc>::_M_allocate(std::size_t) [with _Tp = int*; > _Alloc = std::allocator]' at > /usr/include/c++/13/bits/stl_vector.h:378:33, > inlined from 'constexpr void std::vector<_Tp, > _Alloc>::_M_default_append(size_type) [with _Tp = int*; _Alloc = > std::allocator]' at /usr/include/c++/13/bits/vector.tcc:663:45, > inlined from 'constexpr void std::vector<_Tp, _Alloc>::resize(size_type) > [with _Tp = int*; _Alloc = std::allocator]' at > /usr/include/c++/13/bits/stl_vector.h:1013:21, > inlined from 'void foo(std::vector&)' at /tmp/toto.cpp:7:13: > /usr/include/c++/13/bits/new_allocator.h:147:55: note: at offset [1, 8] into > object of size 8 allocated by 'operator new' > 147 | return static_cast<_Tp*>(_GLIBCXX_OPERATOR_NEW(__n * > sizeof(_Tp))); > | ^ > cc1plus: all warnings being treated as errors > [...] But no warning with -O2
[Bug tree-optimization/107004] [12 Regression] GCC12 warning in OOB access: array subscript is partly outside array bounds
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107004 sbouchex changed: What|Removed |Added CC||sbouchex at infovista dot com --- Comment #6 from sbouchex --- The same testcase is failing on : [...] g++ --version g++ (GCC) 13.1.1 20230614 (Red Hat 13.1.1-4) [...] [...] [root@dev-sbo-eva-ol8 CorrCommon]# g++ -std=c++20 -Wall -Wextra -Werror -pedantic -Warray-bounds -O3 -o /tmp/toto /tmp/toto.cpp In file included from /usr/include/c++/13/bits/stl_iterator.h:85, from /usr/include/c++/13/bits/stl_algobase.h:67, from /usr/include/c++/13/vector:62, from /tmp/toto.cpp:1: In function 'constexpr void std::_Construct(_Tp*, _Args&& ...) [with _Tp = int*; _Args = {}]', inlined from 'static constexpr _ForwardIterator std::__uninitialized_default_n_1::__uninit_default_n(_ForwardIterator, _Size) [with _ForwardIterator = int**; _Size = long unsigned int]' at /usr/include/c++/13/bits/stl_uninitialized.h:666:23, inlined from 'static constexpr _ForwardIterator std::__uninitialized_default_n_1::__uninit_default_n(_ForwardIterator, _Size) [with _ForwardIterator = int**; _Size = long unsigned int]' at /usr/include/c++/13/bits/stl_uninitialized.h:660:9, inlined from 'constexpr _ForwardIterator std::__uninitialized_default_n(_ForwardIterator, _Size) [with _ForwardIterator = int**; _Size = long unsigned int]' at /usr/include/c++/13/bits/stl_uninitialized.h:706:20, inlined from 'constexpr _ForwardIterator std::__uninitialized_default_n_a(_ForwardIterator, _Size, allocator<_Tp>&) [with _ForwardIterator = int**; _Size = long unsigned int; _Tp = int*]' at /usr/include/c++/13/bits/stl_uninitialized.h:773:44, inlined from 'constexpr void std::vector<_Tp, _Alloc>::_M_default_append(size_type) [with _Tp = int*; _Alloc = std::allocator]' at /usr/include/c++/13/bits/vector.tcc:668:41, inlined from 'constexpr void std::vector<_Tp, _Alloc>::resize(size_type) [with _Tp = int*; _Alloc = std::allocator]' at /usr/include/c++/13/bits/stl_vector.h:1013:21, inlined from 'void foo(std::vector&)' at /tmp/toto.cpp:7:13: /usr/include/c++/13/bits/stl_construct.h:119:7: error: array subscript 'int*[0]' is partly outside array bounds of 'unsigned char [8]' [-Werror=array-bounds=] 119 | ::new((void*)__p) _Tp(std::forward<_Args>(__args)...); | ^ In file included from /usr/include/c++/13/x86_64-redhat-linux/bits/c++allocator.h:33, from /usr/include/c++/13/bits/allocator.h:46, from /usr/include/c++/13/vector:63: In member function '_Tp* std::__new_allocator<_Tp>::allocate(size_type, const void*) [with _Tp = int*]', inlined from 'constexpr _Tp* std::allocator< >::allocate(std::size_t) [with _Tp = int*]' at /usr/include/c++/13/bits/allocator.h:198:40, inlined from 'static constexpr _Tp* std::allocator_traits >::allocate(allocator_type&, size_type) [with _Tp = int*]' at /usr/include/c++/13/bits/alloc_traits.h:482:28, inlined from 'constexpr std::_Vector_base<_Tp, _Alloc>::pointer std::_Vector_base<_Tp, _Alloc>::_M_allocate(std::size_t) [with _Tp = int*; _Alloc = std::allocator]' at /usr/include/c++/13/bits/stl_vector.h:378:33, inlined from 'constexpr void std::vector<_Tp, _Alloc>::_M_default_append(size_type) [with _Tp = int*; _Alloc = std::allocator]' at /usr/include/c++/13/bits/vector.tcc:663:45, inlined from 'constexpr void std::vector<_Tp, _Alloc>::resize(size_type) [with _Tp = int*; _Alloc = std::allocator]' at /usr/include/c++/13/bits/stl_vector.h:1013:21, inlined from 'void foo(std::vector&)' at /tmp/toto.cpp:7:13: /usr/include/c++/13/bits/new_allocator.h:147:55: note: at offset [1, 8] into object of size 8 allocated by 'operator new' 147 | return static_cast<_Tp*>(_GLIBCXX_OPERATOR_NEW(__n * sizeof(_Tp))); | ^ cc1plus: all warnings being treated as errors [...]
[Bug tree-optimization/107004] [12 Regression] GCC12 warning in OOB access: array subscript is partly outside array bounds
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107004 --- Comment #5 from Rogério de Souza Moraes --- I tried to apply the patch r13-3596-ge7310e24b1c0ca67, but it has not fixed the issue. Although, the issue is not reproducible on GCC 13.1.0.
[Bug tree-optimization/107004] [12 Regression] GCC12 warning in OOB access: array subscript is partly outside array bounds
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107004 Richard Biener changed: What|Removed |Added Target Milestone|12.3|12.4 --- Comment #4 from Richard Biener --- GCC 12.3 is being released, retargeting bugs to GCC 12.4.
[Bug tree-optimization/107004] [12 Regression] GCC12 warning in OOB access: array subscript is partly outside array bounds
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107004 Martin Liška changed: What|Removed |Added Keywords|needs-bisection | --- Comment #3 from Martin Liška --- Fixed with r13-3596-ge7310e24b1c0ca67.
[Bug tree-optimization/107004] [12 Regression] GCC12 warning in OOB access: array subscript is partly outside array bounds
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107004 Richard Biener changed: What|Removed |Added Known to fail|13.0| Summary|[12/13 Regression] GCC12|[12 Regression] GCC12 |warning in OOB access: |warning in OOB access: |array subscript is partly |array subscript is partly |outside array bounds|outside array bounds CC||marxin at gcc dot gnu.org Known to work||13.0 Keywords||needs-bisection --- Comment #2 from Richard Biener --- This seems to be fixed since a while, not sure by what.