public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c++/106074] New: Spurious Wstringop-overflow for int-to-string with SSE4
@ 2022-06-24 8:59 ed at catmur dot uk
2022-07-07 12:16 ` [Bug c++/106074] " ed at catmur dot uk
2023-05-18 3:58 ` [Bug tree-optimization/106074] " pinskia at gcc dot gnu.org
0 siblings, 2 replies; 3+ messages in thread
From: ed at catmur dot uk @ 2022-06-24 8:59 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106074
Bug ID: 106074
Summary: Spurious Wstringop-overflow for int-to-string with
SSE4
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: ed at catmur dot uk
Target Milestone: ---
Code adapted from
https://github.com/capnproto/capnproto/blob/be7a80b4add706ddaeb41689221146b86c3e0f5f/c%2B%2B/src/kj/string.c%2B%2B#L157-L203
:
auto f(short i) {
struct R { char data[6]; } result;
bool negative = i < 0;
unsigned u = i;
if (negative)
u = -u;
unsigned char reverse[5];
unsigned char* p = reverse;
if (u == 0)
*p++ = 0;
else
for (; u > 0; u /= 10)
*p++ = u % 10;
char* p2 = result.data;
if (negative)
*p2++ = '-';
while (p > reverse) {
#ifdef ASSUME
if (p2 >= (&result.data)[1]) __builtin_unreachable();
#endif
*p2++ = '0' + *--p;
}
if (p2 < (&result.data)[1])
*p2 = '\0';
return result;
}
When compiled with -O3 -msse4, from 12.1.0 through 13.0.0 20220619:
<source>: In function 'auto f(short int)':
<source>:21:11: warning: writing 1 byte into a region of size 0
[-Wstringop-overflow=]
21 | *p2++ = '0' + *--p;
| ~~~~~~^~~~~~~~~~~~
<source>:2:19: note: at offset 6 into destination object 'f(short
int)::R::data' of size 6
2 | struct R { char data[6]; } result;
| ^~~~
<source>:2:30: note: at offset 7 into destination object 'result' of size 6
2 | struct R { char data[6]; } result;
| ^~~~~~
<source>:2:19: note: at offset 6 into destination object 'f(short
int)::R::data' of size 6
2 | struct R { char data[6]; } result;
| ^~~~
<source>:2:19: note: at offset 6 into destination object 'f(short
int)::R::data' of size 6
<source>:2:30: note: at offset 7 into destination object 'result' of size 6
2 | struct R { char data[6]; } result;
| ^~~~~~
<source>:2:19: note: at offset 6 into destination object 'f(short
int)::R::data' of size 6
2 | struct R { char data[6]; } result;
| ^~~~
<source>:2:19: note: at offset 6 into destination object 'f(short
int)::R::data' of size 6
<source>:2:30: note: at offset 7 into destination object 'result' of size 6
2 | struct R { char data[6]; } result;
| ^~~~~~
<source>:2:19: note: at offset 6 into destination object 'f(short
int)::R::data' of size 6
2 | struct R { char data[6]; } result;
| ^~~~
<source>:2:19: note: at offset 6 into destination object 'f(short
int)::R::data' of size 6
<source>:2:30: note: at offset 7 into destination object 'result' of size 6
2 | struct R { char data[6]; } result;
| ^~~~~~
<source>:2:19: note: at offset 6 into destination object 'f(short
int)::R::data' of size 6
2 | struct R { char data[6]; } result;
| ^~~~
Adding the assumption at line 19 (-DASSUME) works around this.
^ permalink raw reply [flat|nested] 3+ messages in thread
* [Bug c++/106074] Spurious Wstringop-overflow for int-to-string with SSE4
2022-06-24 8:59 [Bug c++/106074] New: Spurious Wstringop-overflow for int-to-string with SSE4 ed at catmur dot uk
@ 2022-07-07 12:16 ` ed at catmur dot uk
2023-05-18 3:58 ` [Bug tree-optimization/106074] " pinskia at gcc dot gnu.org
1 sibling, 0 replies; 3+ messages in thread
From: ed at catmur dot uk @ 2022-07-07 12:16 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106074
--- Comment #1 from Ed Catmur <ed at catmur dot uk> ---
Another example, using Date 3.0.1:
#include <date/date.h>
void f(std::istream s) {
std::chrono::system_clock::time_point tp;
date::from_stream(s, "%Y", tp);
}
https://godbolt.org/z/fscqTd947
In file included from
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/stl_pair.h:61,
from
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/stl_algobase.h:64,
from
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/algorithm:60,
from
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:44,
from <source>:1:
In function 'constexpr std::_Require<std::__not_<std::__is_tuple_like<_Tp> >,
std::is_move_constructible<_Tp>, std::is_move_assignable<_Tp> > std::swap(_Tp&,
_Tp&) [with _Tp = char]',
inlined from 'constexpr void std::iter_swap(_ForwardIterator1,
_ForwardIterator2) [with _ForwardIterator1 = char*; _ForwardIterator2 = char*]'
at
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/stl_algobase.h:182:11,
inlined from 'constexpr void std::__reverse(_RandomAccessIterator,
_RandomAccessIterator, random_access_iterator_tag) [with _RandomAccessIterator
= char*]' at
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/stl_algo.h:1107:18,
inlined from 'constexpr void std::reverse(_BIter, _BIter) [with _BIter =
char*]' at
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/stl_algo.h:1134:21,
inlined from 'void date::detail::read(std::basic_istream<_CharT, _Traits>&,
int, Args&& ...) [with CharT = char; Traits = std::char_traits<char>; Args =
{char&, const char&}]' at
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6513:21,
inlined from 'void date::detail::read(std::basic_istream<_CharT, _Traits>&,
CharT, Args&& ...) [with CharT = char; Traits = std::char_traits<char>; Args =
{int&, char&, const char&}]' at
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6474:9:
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/move.h:205:11:
warning: writing 1 byte into a region of size 0 [-Wstringop-overflow=]
205 | __a = _GLIBCXX_MOVE(__b);
| ^
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h: In function 'void
date::detail::read(std::basic_istream<_CharT, _Traits>&, CharT, Args&& ...)
[with CharT = char; Traits = std::char_traits<char>; Args = {int&, char&, const
char&}]':
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6506:15: note: at
offset 19 into destination object 'buf' of size 11
6506 | CharT buf[std::numeric_limits<unsigned>::digits10+2u] = {};
| ^~~
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6506:15: note: at
offset [3, 11] into destination object 'buf' of size 11
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6506:15: note: at
offset 19 into destination object 'buf' of size 11
In function 'constexpr std::_Require<std::__not_<std::__is_tuple_like<_Tp> >,
std::is_move_constructible<_Tp>, std::is_move_assignable<_Tp> > std::swap(_Tp&,
_Tp&) [with _Tp = char]',
inlined from 'constexpr void std::iter_swap(_ForwardIterator1,
_ForwardIterator2) [with _ForwardIterator1 = char*; _ForwardIterator2 = char*]'
at
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/stl_algobase.h:182:11,
inlined from 'constexpr void std::__reverse(_RandomAccessIterator,
_RandomAccessIterator, random_access_iterator_tag) [with _RandomAccessIterator
= char*]' at
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/stl_algo.h:1107:18,
inlined from 'constexpr void std::reverse(_BIter, _BIter) [with _BIter =
char*]' at
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/stl_algo.h:1134:21,
inlined from 'void date::detail::read(std::basic_istream<_CharT, _Traits>&,
int, Args&& ...) [with CharT = char; Traits = std::char_traits<char>; Args =
{char&, const char&}]' at
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6513:21,
inlined from 'void date::detail::read(std::basic_istream<_CharT, _Traits>&,
CharT, Args&& ...) [with CharT = char; Traits = std::char_traits<char>; Args =
{int&, char&, const char&}]' at
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6474:9:
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/move.h:205:11:
warning: writing 1 byte into a region of size 0 [-Wstringop-overflow=]
205 | __a = _GLIBCXX_MOVE(__b);
| ^
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h: In function 'void
date::detail::read(std::basic_istream<_CharT, _Traits>&, CharT, Args&& ...)
[with CharT = char; Traits = std::char_traits<char>; Args = {int&, char&, const
char&}]':
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6506:15: note: at
offset 20 into destination object 'buf' of size 11
6506 | CharT buf[std::numeric_limits<unsigned>::digits10+2u] = {};
| ^~~
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6506:15: note: at
offset [4, 11] into destination object 'buf' of size 11
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6506:15: note: at
offset 20 into destination object 'buf' of size 11
In function 'constexpr std::_Require<std::__not_<std::__is_tuple_like<_Tp> >,
std::is_move_constructible<_Tp>, std::is_move_assignable<_Tp> > std::swap(_Tp&,
_Tp&) [with _Tp = char]',
inlined from 'constexpr void std::iter_swap(_ForwardIterator1,
_ForwardIterator2) [with _ForwardIterator1 = char*; _ForwardIterator2 = char*]'
at
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/stl_algobase.h:182:11,
inlined from 'constexpr void std::__reverse(_RandomAccessIterator,
_RandomAccessIterator, random_access_iterator_tag) [with _RandomAccessIterator
= char*]' at
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/stl_algo.h:1107:18,
inlined from 'constexpr void std::reverse(_BIter, _BIter) [with _BIter =
char*]' at
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/stl_algo.h:1134:21,
inlined from 'void date::detail::read(std::basic_istream<_CharT, _Traits>&,
int, Args&& ...) [with CharT = char; Traits = std::char_traits<char>; Args =
{char&, const char&}]' at
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6513:21,
inlined from 'void date::detail::read(std::basic_istream<_CharT, _Traits>&,
CharT, Args&& ...) [with CharT = char; Traits = std::char_traits<char>; Args =
{int&, char&, const char&}]' at
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6474:9:
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/move.h:205:11:
warning: writing 1 byte into a region of size 0 [-Wstringop-overflow=]
205 | __a = _GLIBCXX_MOVE(__b);
| ^
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h: In function 'void
date::detail::read(std::basic_istream<_CharT, _Traits>&, CharT, Args&& ...)
[with CharT = char; Traits = std::char_traits<char>; Args = {int&, char&, const
char&}]':
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6506:15: note: at
offset 21 into destination object 'buf' of size 11
6506 | CharT buf[std::numeric_limits<unsigned>::digits10+2u] = {};
| ^~~
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6506:15: note: at
offset [5, 11] into destination object 'buf' of size 11
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6506:15: note: at
offset 21 into destination object 'buf' of size 11
In function 'constexpr std::_Require<std::__not_<std::__is_tuple_like<_Tp> >,
std::is_move_constructible<_Tp>, std::is_move_assignable<_Tp> > std::swap(_Tp&,
_Tp&) [with _Tp = char]',
inlined from 'constexpr void std::iter_swap(_ForwardIterator1,
_ForwardIterator2) [with _ForwardIterator1 = char*; _ForwardIterator2 = char*]'
at
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/stl_algobase.h:182:11,
inlined from 'constexpr void std::__reverse(_RandomAccessIterator,
_RandomAccessIterator, random_access_iterator_tag) [with _RandomAccessIterator
= char*]' at
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/stl_algo.h:1107:18,
inlined from 'constexpr void std::reverse(_BIter, _BIter) [with _BIter =
char*]' at
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/stl_algo.h:1134:21,
inlined from 'void date::detail::read(std::basic_istream<_CharT, _Traits>&,
int, Args&& ...) [with CharT = char; Traits = std::char_traits<char>; Args =
{char&, const char&}]' at
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6513:21,
inlined from 'void date::detail::read(std::basic_istream<_CharT, _Traits>&,
CharT, Args&& ...) [with CharT = char; Traits = std::char_traits<char>; Args =
{int&, char&, const char&}]' at
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6474:9:
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/move.h:205:11:
warning: writing 1 byte into a region of size 0 [-Wstringop-overflow=]
205 | __a = _GLIBCXX_MOVE(__b);
| ^
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h: In function 'void
date::detail::read(std::basic_istream<_CharT, _Traits>&, CharT, Args&& ...)
[with CharT = char; Traits = std::char_traits<char>; Args = {int&, char&, const
char&}]':
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6506:15: note: at
offset 22 into destination object 'buf' of size 11
6506 | CharT buf[std::numeric_limits<unsigned>::digits10+2u] = {};
| ^~~
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6506:15: note: at
offset [6, 11] into destination object 'buf' of size 11
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6506:15: note: at
offset 22 into destination object 'buf' of size 11
In function 'constexpr std::_Require<std::__not_<std::__is_tuple_like<_Tp> >,
std::is_move_constructible<_Tp>, std::is_move_assignable<_Tp> > std::swap(_Tp&,
_Tp&) [with _Tp = char]',
inlined from 'constexpr void std::iter_swap(_ForwardIterator1,
_ForwardIterator2) [with _ForwardIterator1 = char*; _ForwardIterator2 = char*]'
at
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/stl_algobase.h:182:11,
inlined from 'constexpr void std::__reverse(_RandomAccessIterator,
_RandomAccessIterator, random_access_iterator_tag) [with _RandomAccessIterator
= char*]' at
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/stl_algo.h:1107:18,
inlined from 'constexpr void std::reverse(_BIter, _BIter) [with _BIter =
char*]' at
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/stl_algo.h:1134:21,
inlined from 'void date::detail::read(std::basic_istream<_CharT, _Traits>&,
int, Args&& ...) [with CharT = char; Traits = std::char_traits<char>; Args =
{}]' at /opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6513:21,
inlined from 'void date::detail::read(std::basic_istream<_CharT, _Traits>&,
int, Args&& ...) [with CharT = char; Traits = std::char_traits<char>; Args =
{}]' at /opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6501:1,
inlined from 'void date::detail::read(std::basic_istream<_CharT, _Traits>&,
CharT, Args&& ...) [with CharT = char; Traits = std::char_traits<char>; Args =
{int&}]' at /opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6474:9:
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/move.h:205:11:
warning: writing 1 byte into a region of size 0 [-Wstringop-overflow=]
205 | __a = _GLIBCXX_MOVE(__b);
| ^
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h: In function 'void
date::detail::read(std::basic_istream<_CharT, _Traits>&, CharT, Args&& ...)
[with CharT = char; Traits = std::char_traits<char>; Args = {int&}]':
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6506:15: note: at
offset 19 into destination object 'buf' of size 11
6506 | CharT buf[std::numeric_limits<unsigned>::digits10+2u] = {};
| ^~~
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6506:15: note: at
offset [3, 11] into destination object 'buf' of size 11
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6506:15: note: at
offset 19 into destination object 'buf' of size 11
In function 'constexpr std::_Require<std::__not_<std::__is_tuple_like<_Tp> >,
std::is_move_constructible<_Tp>, std::is_move_assignable<_Tp> > std::swap(_Tp&,
_Tp&) [with _Tp = char]',
inlined from 'constexpr void std::iter_swap(_ForwardIterator1,
_ForwardIterator2) [with _ForwardIterator1 = char*; _ForwardIterator2 = char*]'
at
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/stl_algobase.h:182:11,
inlined from 'constexpr void std::__reverse(_RandomAccessIterator,
_RandomAccessIterator, random_access_iterator_tag) [with _RandomAccessIterator
= char*]' at
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/stl_algo.h:1107:18,
inlined from 'constexpr void std::reverse(_BIter, _BIter) [with _BIter =
char*]' at
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/stl_algo.h:1134:21,
inlined from 'void date::detail::read(std::basic_istream<_CharT, _Traits>&,
int, Args&& ...) [with CharT = char; Traits = std::char_traits<char>; Args =
{}]' at /opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6513:21,
inlined from 'void date::detail::read(std::basic_istream<_CharT, _Traits>&,
int, Args&& ...) [with CharT = char; Traits = std::char_traits<char>; Args =
{}]' at /opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6501:1,
inlined from 'void date::detail::read(std::basic_istream<_CharT, _Traits>&,
CharT, Args&& ...) [with CharT = char; Traits = std::char_traits<char>; Args =
{int&}]' at /opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6474:9:
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/move.h:205:11:
warning: writing 1 byte into a region of size 0 [-Wstringop-overflow=]
205 | __a = _GLIBCXX_MOVE(__b);
| ^
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h: In function 'void
date::detail::read(std::basic_istream<_CharT, _Traits>&, CharT, Args&& ...)
[with CharT = char; Traits = std::char_traits<char>; Args = {int&}]':
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6506:15: note: at
offset 20 into destination object 'buf' of size 11
6506 | CharT buf[std::numeric_limits<unsigned>::digits10+2u] = {};
| ^~~
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6506:15: note: at
offset [4, 11] into destination object 'buf' of size 11
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6506:15: note: at
offset 20 into destination object 'buf' of size 11
In function 'constexpr std::_Require<std::__not_<std::__is_tuple_like<_Tp> >,
std::is_move_constructible<_Tp>, std::is_move_assignable<_Tp> > std::swap(_Tp&,
_Tp&) [with _Tp = char]',
inlined from 'constexpr void std::iter_swap(_ForwardIterator1,
_ForwardIterator2) [with _ForwardIterator1 = char*; _ForwardIterator2 = char*]'
at
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/stl_algobase.h:182:11,
inlined from 'constexpr void std::__reverse(_RandomAccessIterator,
_RandomAccessIterator, random_access_iterator_tag) [with _RandomAccessIterator
= char*]' at
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/stl_algo.h:1107:18,
inlined from 'constexpr void std::reverse(_BIter, _BIter) [with _BIter =
char*]' at
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/stl_algo.h:1134:21,
inlined from 'void date::detail::read(std::basic_istream<_CharT, _Traits>&,
int, Args&& ...) [with CharT = char; Traits = std::char_traits<char>; Args =
{}]' at /opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6513:21,
inlined from 'void date::detail::read(std::basic_istream<_CharT, _Traits>&,
int, Args&& ...) [with CharT = char; Traits = std::char_traits<char>; Args =
{}]' at /opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6501:1,
inlined from 'void date::detail::read(std::basic_istream<_CharT, _Traits>&,
CharT, Args&& ...) [with CharT = char; Traits = std::char_traits<char>; Args =
{int&}]' at /opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6474:9:
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/move.h:205:11:
warning: writing 1 byte into a region of size 0 [-Wstringop-overflow=]
205 | __a = _GLIBCXX_MOVE(__b);
| ^
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h: In function 'void
date::detail::read(std::basic_istream<_CharT, _Traits>&, CharT, Args&& ...)
[with CharT = char; Traits = std::char_traits<char>; Args = {int&}]':
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6506:15: note: at
offset 21 into destination object 'buf' of size 11
6506 | CharT buf[std::numeric_limits<unsigned>::digits10+2u] = {};
| ^~~
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6506:15: note: at
offset [5, 11] into destination object 'buf' of size 11
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6506:15: note: at
offset 21 into destination object 'buf' of size 11
In function 'constexpr std::_Require<std::__not_<std::__is_tuple_like<_Tp> >,
std::is_move_constructible<_Tp>, std::is_move_assignable<_Tp> > std::swap(_Tp&,
_Tp&) [with _Tp = char]',
inlined from 'constexpr void std::iter_swap(_ForwardIterator1,
_ForwardIterator2) [with _ForwardIterator1 = char*; _ForwardIterator2 = char*]'
at
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/stl_algobase.h:182:11,
inlined from 'constexpr void std::__reverse(_RandomAccessIterator,
_RandomAccessIterator, random_access_iterator_tag) [with _RandomAccessIterator
= char*]' at
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/stl_algo.h:1107:18,
inlined from 'constexpr void std::reverse(_BIter, _BIter) [with _BIter =
char*]' at
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/stl_algo.h:1134:21,
inlined from 'void date::detail::read(std::basic_istream<_CharT, _Traits>&,
int, Args&& ...) [with CharT = char; Traits = std::char_traits<char>; Args =
{}]' at /opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6513:21,
inlined from 'void date::detail::read(std::basic_istream<_CharT, _Traits>&,
int, Args&& ...) [with CharT = char; Traits = std::char_traits<char>; Args =
{}]' at /opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6501:1,
inlined from 'void date::detail::read(std::basic_istream<_CharT, _Traits>&,
CharT, Args&& ...) [with CharT = char; Traits = std::char_traits<char>; Args =
{int&}]' at /opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6474:9:
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/move.h:205:11:
warning: writing 1 byte into a region of size 0 [-Wstringop-overflow=]
205 | __a = _GLIBCXX_MOVE(__b);
| ^
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h: In function 'void
date::detail::read(std::basic_istream<_CharT, _Traits>&, CharT, Args&& ...)
[with CharT = char; Traits = std::char_traits<char>; Args = {int&}]':
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6506:15: note: at
offset 22 into destination object 'buf' of size 11
6506 | CharT buf[std::numeric_limits<unsigned>::digits10+2u] = {};
| ^~~
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6506:15: note: at
offset [6, 11] into destination object 'buf' of size 11
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6506:15: note: at
offset 22 into destination object 'buf' of size 11
In function 'constexpr std::_Require<std::__not_<std::__is_tuple_like<_Tp> >,
std::is_move_constructible<_Tp>, std::is_move_assignable<_Tp> > std::swap(_Tp&,
_Tp&) [with _Tp = char]',
inlined from 'constexpr void std::iter_swap(_ForwardIterator1,
_ForwardIterator2) [with _ForwardIterator1 = char*; _ForwardIterator2 = char*]'
at
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/stl_algobase.h:182:11,
inlined from 'constexpr void std::__reverse(_RandomAccessIterator,
_RandomAccessIterator, random_access_iterator_tag) [with _RandomAccessIterator
= char*]' at
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/stl_algo.h:1107:18,
inlined from 'constexpr void std::reverse(_BIter, _BIter) [with _BIter =
char*]' at
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/stl_algo.h:1134:21,
inlined from 'void date::detail::read(std::basic_istream<_CharT, _Traits>&,
int, Args&& ...) [with CharT = char; Traits = std::char_traits<char>; Args =
{const char&}]' at
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6513:21:
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/move.h:205:11:
warning: writing 1 byte into a region of size 0 [-Wstringop-overflow=]
205 | __a = _GLIBCXX_MOVE(__b);
| ^
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h: In function 'void
date::detail::read(std::basic_istream<_CharT, _Traits>&, int, Args&& ...) [with
CharT = char; Traits = std::char_traits<char>; Args = {const char&}]':
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6506:15: note: at
offset 19 into destination object 'buf' of size 11
6506 | CharT buf[std::numeric_limits<unsigned>::digits10+2u] = {};
| ^~~
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6506:15: note: at
offset [3, 11] into destination object 'buf' of size 11
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6506:15: note: at
offset 19 into destination object 'buf' of size 11
In function 'constexpr std::_Require<std::__not_<std::__is_tuple_like<_Tp> >,
std::is_move_constructible<_Tp>, std::is_move_assignable<_Tp> > std::swap(_Tp&,
_Tp&) [with _Tp = char]',
inlined from 'constexpr void std::iter_swap(_ForwardIterator1,
_ForwardIterator2) [with _ForwardIterator1 = char*; _ForwardIterator2 = char*]'
at
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/stl_algobase.h:182:11,
inlined from 'constexpr void std::__reverse(_RandomAccessIterator,
_RandomAccessIterator, random_access_iterator_tag) [with _RandomAccessIterator
= char*]' at
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/stl_algo.h:1107:18,
inlined from 'constexpr void std::reverse(_BIter, _BIter) [with _BIter =
char*]' at
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/stl_algo.h:1134:21,
inlined from 'void date::detail::read(std::basic_istream<_CharT, _Traits>&,
int, Args&& ...) [with CharT = char; Traits = std::char_traits<char>; Args =
{const char&}]' at
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6513:21:
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/move.h:205:11:
warning: writing 1 byte into a region of size 0 [-Wstringop-overflow=]
205 | __a = _GLIBCXX_MOVE(__b);
| ^
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h: In function 'void
date::detail::read(std::basic_istream<_CharT, _Traits>&, int, Args&& ...) [with
CharT = char; Traits = std::char_traits<char>; Args = {const char&}]':
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6506:15: note: at
offset 20 into destination object 'buf' of size 11
6506 | CharT buf[std::numeric_limits<unsigned>::digits10+2u] = {};
| ^~~
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6506:15: note: at
offset [4, 11] into destination object 'buf' of size 11
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6506:15: note: at
offset 20 into destination object 'buf' of size 11
In function 'constexpr std::_Require<std::__not_<std::__is_tuple_like<_Tp> >,
std::is_move_constructible<_Tp>, std::is_move_assignable<_Tp> > std::swap(_Tp&,
_Tp&) [with _Tp = char]',
inlined from 'constexpr void std::iter_swap(_ForwardIterator1,
_ForwardIterator2) [with _ForwardIterator1 = char*; _ForwardIterator2 = char*]'
at
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/stl_algobase.h:182:11,
inlined from 'constexpr void std::__reverse(_RandomAccessIterator,
_RandomAccessIterator, random_access_iterator_tag) [with _RandomAccessIterator
= char*]' at
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/stl_algo.h:1107:18,
inlined from 'constexpr void std::reverse(_BIter, _BIter) [with _BIter =
char*]' at
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/stl_algo.h:1134:21,
inlined from 'void date::detail::read(std::basic_istream<_CharT, _Traits>&,
int, Args&& ...) [with CharT = char; Traits = std::char_traits<char>; Args =
{const char&}]' at
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6513:21:
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/move.h:205:11:
warning: writing 1 byte into a region of size 0 [-Wstringop-overflow=]
205 | __a = _GLIBCXX_MOVE(__b);
| ^
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h: In function 'void
date::detail::read(std::basic_istream<_CharT, _Traits>&, int, Args&& ...) [with
CharT = char; Traits = std::char_traits<char>; Args = {const char&}]':
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6506:15: note: at
offset 21 into destination object 'buf' of size 11
6506 | CharT buf[std::numeric_limits<unsigned>::digits10+2u] = {};
| ^~~
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6506:15: note: at
offset [5, 11] into destination object 'buf' of size 11
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6506:15: note: at
offset 21 into destination object 'buf' of size 11
In function 'constexpr std::_Require<std::__not_<std::__is_tuple_like<_Tp> >,
std::is_move_constructible<_Tp>, std::is_move_assignable<_Tp> > std::swap(_Tp&,
_Tp&) [with _Tp = char]',
inlined from 'constexpr void std::iter_swap(_ForwardIterator1,
_ForwardIterator2) [with _ForwardIterator1 = char*; _ForwardIterator2 = char*]'
at
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/stl_algobase.h:182:11,
inlined from 'constexpr void std::__reverse(_RandomAccessIterator,
_RandomAccessIterator, random_access_iterator_tag) [with _RandomAccessIterator
= char*]' at
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/stl_algo.h:1107:18,
inlined from 'constexpr void std::reverse(_BIter, _BIter) [with _BIter =
char*]' at
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/stl_algo.h:1134:21,
inlined from 'void date::detail::read(std::basic_istream<_CharT, _Traits>&,
int, Args&& ...) [with CharT = char; Traits = std::char_traits<char>; Args =
{const char&}]' at
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6513:21:
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/move.h:205:11:
warning: writing 1 byte into a region of size 0 [-Wstringop-overflow=]
205 | __a = _GLIBCXX_MOVE(__b);
| ^
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h: In function 'void
date::detail::read(std::basic_istream<_CharT, _Traits>&, int, Args&& ...) [with
CharT = char; Traits = std::char_traits<char>; Args = {const char&}]':
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6506:15: note: at
offset 22 into destination object 'buf' of size 11
6506 | CharT buf[std::numeric_limits<unsigned>::digits10+2u] = {};
| ^~~
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6506:15: note: at
offset [6, 11] into destination object 'buf' of size 11
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6506:15: note: at
offset 22 into destination object 'buf' of size 11
In function 'constexpr std::_Require<std::__not_<std::__is_tuple_like<_Tp> >,
std::is_move_constructible<_Tp>, std::is_move_assignable<_Tp> > std::swap(_Tp&,
_Tp&) [with _Tp = char]',
inlined from 'constexpr void std::iter_swap(_ForwardIterator1,
_ForwardIterator2) [with _ForwardIterator1 = char*; _ForwardIterator2 = char*]'
at
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/stl_algobase.h:182:11,
inlined from 'constexpr void std::__reverse(_RandomAccessIterator,
_RandomAccessIterator, random_access_iterator_tag) [with _RandomAccessIterator
= char*]' at
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/stl_algo.h:1107:18,
inlined from 'constexpr void std::reverse(_BIter, _BIter) [with _BIter =
char*]' at
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/stl_algo.h:1134:21,
inlined from 'void date::detail::read(std::basic_istream<_CharT, _Traits>&,
int, Args&& ...) [with CharT = char; Traits = std::char_traits<char>; Args =
{char&}]' at
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6513:21:
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/move.h:205:11:
warning: writing 1 byte into a region of size 0 [-Wstringop-overflow=]
205 | __a = _GLIBCXX_MOVE(__b);
| ^
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h: In function 'void
date::detail::read(std::basic_istream<_CharT, _Traits>&, int, Args&& ...) [with
CharT = char; Traits = std::char_traits<char>; Args = {char&}]':
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6506:15: note: at
offset 19 into destination object 'buf' of size 11
6506 | CharT buf[std::numeric_limits<unsigned>::digits10+2u] = {};
| ^~~
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6506:15: note: at
offset [3, 11] into destination object 'buf' of size 11
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6506:15: note: at
offset 19 into destination object 'buf' of size 11
In function 'constexpr std::_Require<std::__not_<std::__is_tuple_like<_Tp> >,
std::is_move_constructible<_Tp>, std::is_move_assignable<_Tp> > std::swap(_Tp&,
_Tp&) [with _Tp = char]',
inlined from 'constexpr void std::iter_swap(_ForwardIterator1,
_ForwardIterator2) [with _ForwardIterator1 = char*; _ForwardIterator2 = char*]'
at
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/stl_algobase.h:182:11,
inlined from 'constexpr void std::__reverse(_RandomAccessIterator,
_RandomAccessIterator, random_access_iterator_tag) [with _RandomAccessIterator
= char*]' at
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/stl_algo.h:1107:18,
inlined from 'constexpr void std::reverse(_BIter, _BIter) [with _BIter =
char*]' at
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/stl_algo.h:1134:21,
inlined from 'void date::detail::read(std::basic_istream<_CharT, _Traits>&,
int, Args&& ...) [with CharT = char; Traits = std::char_traits<char>; Args =
{char&}]' at
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6513:21:
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/move.h:205:11:
warning: writing 1 byte into a region of size 0 [-Wstringop-overflow=]
205 | __a = _GLIBCXX_MOVE(__b);
| ^
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h: In function 'void
date::detail::read(std::basic_istream<_CharT, _Traits>&, int, Args&& ...) [with
CharT = char; Traits = std::char_traits<char>; Args = {char&}]':
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6506:15: note: at
offset 20 into destination object 'buf' of size 11
6506 | CharT buf[std::numeric_limits<unsigned>::digits10+2u] = {};
| ^~~
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6506:15: note: at
offset [4, 11] into destination object 'buf' of size 11
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6506:15: note: at
offset 20 into destination object 'buf' of size 11
In function 'constexpr std::_Require<std::__not_<std::__is_tuple_like<_Tp> >,
std::is_move_constructible<_Tp>, std::is_move_assignable<_Tp> > std::swap(_Tp&,
_Tp&) [with _Tp = char]',
inlined from 'constexpr void std::iter_swap(_ForwardIterator1,
_ForwardIterator2) [with _ForwardIterator1 = char*; _ForwardIterator2 = char*]'
at
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/stl_algobase.h:182:11,
inlined from 'constexpr void std::__reverse(_RandomAccessIterator,
_RandomAccessIterator, random_access_iterator_tag) [with _RandomAccessIterator
= char*]' at
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/stl_algo.h:1107:18,
inlined from 'constexpr void std::reverse(_BIter, _BIter) [with _BIter =
char*]' at
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/stl_algo.h:1134:21,
inlined from 'void date::detail::read(std::basic_istream<_CharT, _Traits>&,
int, Args&& ...) [with CharT = char; Traits = std::char_traits<char>; Args =
{char&}]' at
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6513:21:
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/move.h:205:11:
warning: writing 1 byte into a region of size 0 [-Wstringop-overflow=]
205 | __a = _GLIBCXX_MOVE(__b);
| ^
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h: In function 'void
date::detail::read(std::basic_istream<_CharT, _Traits>&, int, Args&& ...) [with
CharT = char; Traits = std::char_traits<char>; Args = {char&}]':
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6506:15: note: at
offset 21 into destination object 'buf' of size 11
6506 | CharT buf[std::numeric_limits<unsigned>::digits10+2u] = {};
| ^~~
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6506:15: note: at
offset [5, 11] into destination object 'buf' of size 11
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6506:15: note: at
offset 21 into destination object 'buf' of size 11
In function 'constexpr std::_Require<std::__not_<std::__is_tuple_like<_Tp> >,
std::is_move_constructible<_Tp>, std::is_move_assignable<_Tp> > std::swap(_Tp&,
_Tp&) [with _Tp = char]',
inlined from 'constexpr void std::iter_swap(_ForwardIterator1,
_ForwardIterator2) [with _ForwardIterator1 = char*; _ForwardIterator2 = char*]'
at
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/stl_algobase.h:182:11,
inlined from 'constexpr void std::__reverse(_RandomAccessIterator,
_RandomAccessIterator, random_access_iterator_tag) [with _RandomAccessIterator
= char*]' at
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/stl_algo.h:1107:18,
inlined from 'constexpr void std::reverse(_BIter, _BIter) [with _BIter =
char*]' at
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/stl_algo.h:1134:21,
inlined from 'void date::detail::read(std::basic_istream<_CharT, _Traits>&,
int, Args&& ...) [with CharT = char; Traits = std::char_traits<char>; Args =
{char&}]' at
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6513:21:
/opt/compiler-explorer/gcc-12.1.0/include/c++/12.1.0/bits/move.h:205:11:
warning: writing 1 byte into a region of size 0 [-Wstringop-overflow=]
205 | __a = _GLIBCXX_MOVE(__b);
| ^
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h: In function 'void
date::detail::read(std::basic_istream<_CharT, _Traits>&, int, Args&& ...) [with
CharT = char; Traits = std::char_traits<char>; Args = {char&}]':
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6506:15: note: at
offset 22 into destination object 'buf' of size 11
6506 | CharT buf[std::numeric_limits<unsigned>::digits10+2u] = {};
| ^~~
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6506:15: note: at
offset [6, 11] into destination object 'buf' of size 11
/opt/compiler-explorer/libs/date/v3.0.1/include/date/date.h:6506:15: note: at
offset 22 into destination object 'buf' of size 11
^ permalink raw reply [flat|nested] 3+ messages in thread
* [Bug tree-optimization/106074] Spurious Wstringop-overflow for int-to-string with SSE4
2022-06-24 8:59 [Bug c++/106074] New: Spurious Wstringop-overflow for int-to-string with SSE4 ed at catmur dot uk
2022-07-07 12:16 ` [Bug c++/106074] " ed at catmur dot uk
@ 2023-05-18 3:58 ` pinskia at gcc dot gnu.org
1 sibling, 0 replies; 3+ messages in thread
From: pinskia at gcc dot gnu.org @ 2023-05-18 3:58 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106074
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
See Also| |https://gcc.gnu.org/bugzill
| |a/show_bug.cgi?id=106020
Resolution|--- |DUPLICATE
--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
I just reduced a very similar testcase for PR 106020. Marking this as a dup.
The Date is exactly what I reduced really.
*** This bug has been marked as a duplicate of bug 106020 ***
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2023-05-18 3:58 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-06-24 8:59 [Bug c++/106074] New: Spurious Wstringop-overflow for int-to-string with SSE4 ed at catmur dot uk
2022-07-07 12:16 ` [Bug c++/106074] " ed at catmur dot uk
2023-05-18 3:58 ` [Bug tree-optimization/106074] " pinskia at gcc dot gnu.org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).