Patch ping^3

[Jakub Jelinek]

Hi!

I'd like to ping the following wrong-code 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