diff -r bae5d661dd4b -r feee4a6106bc hotspot/src/share/vm/ci/ciMethod.cpp
--- a/hotspot/src/share/vm/ci/ciMethod.cpp	Wed Oct 08 09:23:18 2014 +0200
+++ b/hotspot/src/share/vm/ci/ciMethod.cpp	Fri Oct 10 14:48:30 2014 +0200
@@ -1116,6 +1116,7 @@
 template bool ciMethod::has_option_value<uintx>(const char* option, uintx& value);
 template bool ciMethod::has_option_value<bool>(const char* option, bool& value);
 template bool ciMethod::has_option_value<ccstr>(const char* option, ccstr& value);
+template bool ciMethod::has_option_value<double>(const char* option, double& value);
 
 // ------------------------------------------------------------------
 // ciMethod::can_be_compiled