No matches were found for subject:"\[Bug tree\-optimization\/95801\] New\: Optimiser does not exploit the fact that an integer divisor cannot be zero"