[Bug tree-optimization/113716] Missed optimization: (2/a)*b*(!b) => 0

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

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

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Or what we could get in reassociation:
  _2 = b_6(D) == 0;
  _3 = (int) _2;
  _4 = _3 * b_6(D);

WHich is just:
(simplify
 (mult:c @0 (convert (eq:c@2 @0 integer_zerop@1)))
 @0)

We already handle the non-zero case later on ...