changeset 9903:b621e2a690dd

assert that -G: options are unique
author Doug Simon <doug.simon@oracle.com>
date Thu, 06 Jun 2013 12:07:14 +0200
parents 6dfd53575553
children 77c4b6c9d6e2
files graal/com.oracle.graal.hotspot/src/com/oracle/graal/hotspot/HotSpotOptions.java
diffstat 1 files changed, 2 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/graal/com.oracle.graal.hotspot/src/com/oracle/graal/hotspot/HotSpotOptions.java	Thu Jun 06 10:10:46 2013 +0200
+++ b/graal/com.oracle.graal.hotspot/src/com/oracle/graal/hotspot/HotSpotOptions.java	Thu Jun 06 12:07:14 2013 +0200
@@ -37,7 +37,8 @@
         for (OptionProvider provider : sl) {
             if (provider.getClass().getName().startsWith("com.oracle.graal")) {
                 String name = provider.getName();
-                options.put(name, provider);
+                OptionProvider existing = options.put(name, provider);
+                assert existing == null : name + " option has multiple definitions: " + existing.getClass() + " and " + provider.getClass();
             }
         }
     }