https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110645
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Ever confirmed|0 |1
Last reconfirmed| |2023-07-13
Version|unknown |13.2.1
Known to work| |10.5.0
Status|UNCONFIRMED |NEW
Known to fail| |11.3.0, 14.0
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Confirmed. Emitted from
#0 warning_at (location=2147483699, opt=507,
gmsgid=0x3360cb8 "%qD forming offset %s is out of the bounds [0, %wu]")
at /space/rguenther/src/gcc/gcc/diagnostic.cc:1903
#1 0x0000000001215eb1 in (anonymous namespace)::maybe_diag_access_bounds (
call=<gimple_call 0x7ffff71f2d10>, func=<function_decl 0x7ffff72e5200
memcpy>, strict=0, ref=...,
wroff=..., do_warn=true) at
/space/rguenther/src/gcc/gcc/gimple-ssa-warn-restrict.cc:1834
#2 0x00000000012168cf in check_bounds_or_overlap (ptrqry=...,
call=<gimple_call 0x7ffff71f2d10>,
dst=<ssa_name 0x7ffff73a1948 13>, src=<ssa_name 0x7ffff73a15a0 3>,
dstsize=<ssa_name 0x7ffff71cfee8 1>, srcsize=<tree 0x0>, bounds_only=false,
do_warn=true)
at /space/rguenther/src/gcc/gcc/gimple-ssa-warn-restrict.cc:2043
#3 0x0000000001216643 in (anonymous namespace)::pass_wrestrict::check_call
(this=0x4432a00,
call=<gimple_call 0x7ffff71f2d10>) at
/space/rguenther/src/gcc/gcc/gimple-ssa-warn-restrict.cc:1989
#4 0x000000000120ef00 in (anonymous namespace)::pass_wrestrict::check_block
(this=0x4432a00,
bb=<basic_block 0x7ffff7375cc0 (4)>) at
/space/rguenther/src/gcc/gcc/gimple-ssa-warn-restrict.cc:100
#5 0x000000000120ef78 in (anonymous namespace)::pass_wrestrict::execute
(this=0x4432a00,
fun=0x7ffff739b0b8) at
/space/rguenther/src/gcc/gcc/gimple-ssa-warn-restrict.cc:112
#6 0x0000000001518413 in execute_one_pass (pass=<opt_pass* 0x4432a00
"wrestrict"(207)>)
at /space/rguenther/src/gcc/gcc/passes.cc:2651
on the path where strlen (inStr) > 254:
<bb 2> [local count: 1073741824]:
_1 = strlen (inStr_3(D));
if (_1 <= 254)
goto <bb 3>; [50.00%]
else
goto <bb 4>; [50.00%]
$2 = <basic_block 0x7ffff7375720 (2)>
(gdb) p debug_bb_n (4)
<bb 4> [local count: 536870913]:
_10 = _1 + 4;
att_11 = palloc (_10);
_12 = (unsigned int) _1;
att_11->len = _12;
_13 = &att_11->data;
memcpy (_13, inStr_3(D), _1);
it looks like we are confused - not sure how though.
