# HG changeset patch
# User Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
# Date 1367422084 -7200
# Node ID 225fc546343050b73f32148f228b8d4a425941f0
# Parent  8c37649cbb62c777d9a49eb78656e202e591a784
Make sure if trueSuccessor probability is always <= 1.0.

diff -r 8c37649cbb62 -r 225fc5463430 graal/com.oracle.graal.phases.common/src/com/oracle/graal/phases/common/InliningUtil.java
--- a/graal/com.oracle.graal.phases.common/src/com/oracle/graal/phases/common/InliningUtil.java	Wed May 01 17:05:14 2013 +0200
+++ b/graal/com.oracle.graal.phases.common/src/com/oracle/graal/phases/common/InliningUtil.java	Wed May 01 17:28:04 2013 +0200
@@ -657,7 +657,7 @@
                         if (prevProbability == 1.0) {
                             probability[i] = 1.0;
                         } else {
-                            probability[i] = Math.max(0.0, probability[i] / (1.0 - prevProbability));
+                            probability[i] = Math.min(1.0, Math.max(0.0, probability[i] / (1.0 - prevProbability)));
                         }
                     }
                 }