https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115536
Gaius Mulley <gaius at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Last reconfirmed| |2024-06-18 Status|UNCONFIRMED |ASSIGNED Ever confirmed|0 |1 --- Comment #1 from Gaius Mulley <gaius at gcc dot gnu.org> --- Confirmed - it appears that the gcc/m2/gm2-compiler/M2Quads.mod:BuildRelOp procedure is generating incorrect quadruples. During processing of the inequality it detects the two boolean sub expressions and manipulates them to deduce the result. However the manipulation has ignored the operands c and d require de-referencing.