https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116865
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |ASSIGNED
Last reconfirmed|2024-09-27 00:00:00 |2026-1-28
--- Comment #8 from Richard Biener <rguenth at gcc dot gnu.org> ---
Reconfirmed. So this is still
5852 return path_var (build2 (binop_sval->get_op (),
5853 sval->get_type (),
5854 lhs_pv.m_tree, rhs_pv.m_tree),
5855 lhs_pv.m_stack_depth);
5856
(gdb) p *binop_sval
$3 = {<ana::svalue> = {<ana::symbol> = {m_complexity = {m_num_nodes = 8,
m_max_depth = 7}, m_id = 50},
_vptr.svalue = 0x3d85d30 <vtable for ana::binop_svalue+16>,
m_type = <pointer_type 0x7ffff6828f18>}, m_op = PLUS_EXPR,
m_arg0 = 0x502d6b0, m_arg1 = 0x5029490}
where POINTER_TYPE PLUS_EXPR should have been POINTER_PLUS_EXPR
(and arg1 being effectively sizetype).
While easy to fixup in this particular place I wonder if binop_sval
shouldn't have had m_op == POINTER_PLUS_EXPR in the first place.
Re-confirmed. Leaving to David.
