# HG changeset patch # User Thomas Wuerthinger # Date 1424732123 -3600 # Node ID 75b09b8b2b7ea11fc271a830f1e0e2bb94fad7ce # Parent 7cdd2ecd5e3aa12f6e5cd9f8f9c9418c5168067f The infer stamps algorithm is not guaranteed to reach a stable state. diff -r 7cdd2ecd5e3a -r 75b09b8b2b7e graal/com.oracle.graal.phases/src/com/oracle/graal/phases/graph/InferStamps.java --- a/graal/com.oracle.graal.phases/src/com/oracle/graal/phases/graph/InferStamps.java Mon Feb 23 23:54:00 2015 +0100 +++ b/graal/com.oracle.graal.phases/src/com/oracle/graal/phases/graph/InferStamps.java Mon Feb 23 23:55:23 2015 +0100 @@ -56,6 +56,8 @@ } boolean stampChanged; + // The algorithm is not guaranteed to reach a stable state. + int z = 0; do { stampChanged = false; /* @@ -72,7 +74,8 @@ } } } - } while (stampChanged); + ++z; + } while (stampChanged && z < 10000); /* * Check that all the illegal stamps we introduced above are correctly replaced with real