[Bug tree-optimization/113287] wrong code with __builtin_mul_overflow_p() and _BitInt() with -O3 -msse4

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

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

--- Comment #5 from Tamar Christina <tnfchris at gcc dot gnu.org> ---
Created attachment 57023
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=57023&action=edit
branch_check.patch

Patch undergoing testing