# HG changeset patch
# User Christian Wimmer <christian.wimmer@oracle.com>
# Date 1418677307 28800
# Node ID 18d0f83cd290707e9728146700e7a5eced98c61e
# Parent  137773e5250c0577c9fe51b5ce7ad40d496ae268
Add code missing in initial value handling for options

diff -r 137773e5250c -r 18d0f83cd290 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	Mon Dec 15 11:33:31 2014 -0800
+++ b/graal/com.oracle.graal.options/src/com/oracle/graal/options/OptionValue.java	Mon Dec 15 13:01:47 2014 -0800
@@ -277,7 +277,11 @@
                 overrideScope.getOverrides(this, (Collection<Object>) values);
             }
         }
-        values.add(value);
+        if (value != UNINITIALIZED) {
+            values.add(value);
+        } else {
+            values.add(getInitialValue());
+        }
         return values;
     }