--- a/hotspot/src/share/vm/opto/parse1.cpp	Tue Oct 02 12:25:13 2012 -0700
+++ b/hotspot/src/share/vm/opto/parse1.cpp	Tue Oct 02 14:49:21 2012 -0700
@@ -372,7 +372,8 @@
     // in the CFG, which typeflow had previously ignored.
     // E.g., Object x = coldAtFirst() && notReached()? "str": new Integer(123).
     // This x will be typed as Integer if notReached is not yet linked.
-    uncommon_trap(Deoptimization::Reason_unreached,
+    // It could also happen due to a problem in ciTypeFlow analysis.
+    uncommon_trap(Deoptimization::Reason_constraint,
                   Deoptimization::Action_reinterpret);
     set_map(types_are_good);
   }