[Bug tree-optimization/127103] code from std::vector::push_back can be optimized away

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

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

--- Comment #6 from Drea Pinski <pinskia at gcc dot gnu.org> ---
Wait a minute:
  b_4 = a_2(D) * 2;
  a_5 = MIN_EXPR <b_4, 2147483647>;

Is a saturated signed multiply by 2.

  _8 = MAX_EXPR <a_5, 1>;

as a_2(D) is known to be positive.  Let me file that as a different bug.