Hi! I'd like to ping the following patch:
http://gcc.gnu.org/ml/gcc-patches/2017-09/msg01540.html libgcc __mulvDI3 fix - missed detection of overflow for 0xffffffff00000000 * 0xffffffff00000000 __builtin_mul_overflow{,_p} fix for the same Thanks Jakub