# HG changeset patch
# User Doug Simon <doug.simon@oracle.com>
# Date 1383656160 -3600
# Node ID ecd519b39f10aa5e5f00a01e60fd485854cdff00
# Parent  df42ff42279f2d4718802b74abfd714dbdf7cc3c
don't try and get override for StableOptionValues

diff -r df42ff42279f -r ecd519b39f10 graal/com.oracle.graal.options/src/com/oracle/graal/options/OptionValue.java
--- a/graal/com.oracle.graal.options/src/com/oracle/graal/options/OptionValue.java	Tue Nov 05 12:48:56 2013 +0100
+++ b/graal/com.oracle.graal.options/src/com/oracle/graal/options/OptionValue.java	Tue Nov 05 13:56:00 2013 +0100
@@ -182,11 +182,13 @@
      * Gets the value of this option.
      */
     public T getValue() {
-        OverrideScope overrideScope = overrideScopes.get();
-        if (overrideScope != null) {
-            T override = overrideScope.getOverride(this);
-            if (override != null) {
-                return override;
+        if (!(this instanceof StableOptionValue)) {
+            OverrideScope overrideScope = overrideScopes.get();
+            if (overrideScope != null) {
+                T override = overrideScope.getOverride(this);
+                if (override != null) {
+                    return override;
+                }
             }
         }
         if (value == UNINITIALIZED) {