[Bug tree-optimization/106126] tree check fail in useless_type_conversion_p, at gimple-expr.cc:87

[dcb314 at hotmail dot com via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106126

--- Comment #8 from David Binderman  ---
I seem strangely unable to add email address xionghu...@tencent.com to this
email,
for their opinion on this bug report.

[Bug tree-optimization/106126] tree check fail in useless_type_conversion_p, at gimple-expr.cc:87

[dcb314 at hotmail dot com via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106126

--- Comment #7 from David Binderman  ---
(In reply to David Binderman from comment #5)
> Seems good. Current range appears to be [607118dfa47a1865, f1fcd6e3ad911945].

Tried 57424087e82db140 and that looked bad, so current range is
[607118dfa47a1865, 57424087e82db140].

Trying 70454c50b4592fe6.

A hot candidate for troublesome patch is 57424087e82db140.

[Bug tree-optimization/106126] tree check fail in useless_type_conversion_p, at gimple-expr.cc:87

[rguenth at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106126

Richard Biener  changed:

   What|Removed |Added

 CC||marxin at gcc dot gnu.org
   Last reconfirmed||2022-06-29
 Status|UNCONFIRMED |NEW
   Keywords||needs-bisection
 Ever confirmed|0   |1

--- Comment #6 from Richard Biener  ---
a released SSA name in the IL after if-to-switch

[Bug tree-optimization/106126] tree check fail in useless_type_conversion_p, at gimple-expr.cc:87

[dcb314 at hotmail dot com via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106126

--- Comment #5 from David Binderman  ---
Seems good. Current range appears to be [607118dfa47a1865, f1fcd6e3ad911945].

[Bug tree-optimization/106126] tree check fail in useless_type_conversion_p, at gimple-expr.cc:87

[dcb314 at hotmail dot com via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106126

--- Comment #4 from David Binderman  ---
(In reply to David Binderman from comment #3)
> I am trying a git bisect. Trying git f1fcd6e3ad911945.

Goes wrong with that. Trying 607118dfa47a1865.

[Bug tree-optimization/106126] tree check fail in useless_type_conversion_p, at gimple-expr.cc:87

[dcb314 at hotmail dot com via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106126

--- Comment #3 from David Binderman  ---
I am trying a git bisect. Trying git f1fcd6e3ad911945.

[Bug tree-optimization/106126] tree check fail in useless_type_conversion_p, at gimple-expr.cc:87

[dcb314 at hotmail dot com via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106126

--- Comment #2 from David Binderman  ---
Reduced C code seems to be

char *var_1;
void pool_conda_matchspec() {
  for (; var_1 && *var_1 &&
 *var_1 != '<' && *var_1 != '>' &&
 *var_1 != '!' && *var_1 != '~';)
if (*var_1 >= 'A' && *var_1 <= 'Z')
  *var_1 += 'A';
}

[Bug tree-optimization/106126] tree check fail in useless_type_conversion_p, at gimple-expr.cc:87

[dcb314 at hotmail dot com via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106126

--- Comment #1 from David Binderman  ---
Problem first seems to occur sometime between git hash 713f2fd923442b1b
and 98b6e62cf5e7d477, a couple of days later.

cvise reduction running in other window.