No matches were found for subject:"\[Bug tree\-optimization\/96392\] Optimize x\+0.0 if x is an integer"